Long-duration transactions in software design projects

An example of a software development application is considered, and the formal model of H. Korth and G. Speegle (1988) is applied to show how this example could be represented as a set of database transactions. It is shown that, although the standard notion of correctness (serializability) is too strict, the notion of correctness in the Korth and Speegle model allows sufficient concurrency with acceptable overhead. An extrapolation is made from this example to draw some conclusions regarding the potential usefulness of a formal approach to the management of long-duration design transactions.<<ETX>>

[1]  Won Kim,et al.  A Model of CAD Transactions , 1985, VLDB.

[2]  David Hung-Chang Du,et al.  A framework for efficient IC/VLSI CAD databases , 1987, 1987 IEEE Third International Conference on Data Engineering.

[3]  Roger L. Haskin,et al.  On extending the functions of a relational database system , 1982, SIGMOD '82.

[4]  F KorthHenry.  Locking Primitives in a Database System , 1983 .

[5]  Randy H. Katz.  A Database Approach for Managing VLSI Design Data , 1982, DAC 1982.

[6]  Won Kim,et al.  A Transaction Mechanism for Engineering Design Databases , 1984, VLDB.

[7]  Abraham Silberschatz,et al.  An optimistic commit protocol for distributed transaction management , 1991, SIGMOD '91.

[8]  Henry F. Korth.  Optimization of Object-Retrieval Queries , 1988, OODBS.

[9]  Henry F. Korth,et al.  Formal model of correctness without serializabilty , 1988, SIGMOD '88.

[10]  Mihalis Yannakakis.  Issues of correctness in database concurrency control by locking , 1981, STOC '81.

[11]  Rajeev Rastogi,et al.  The concurrency control problem in multidatabases: characteristics and solutions , 1992, SIGMOD '92.

[12]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[13]  Henry F. Korth,et al.  Oonix: an object-oriented Unix shell , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

[14]  R. Guindon,et al.  Control of cognitive processes during software design: what tools are needed? , 1988, CHI '88.

[15]  Henry F. Korth.  Locking protocols: general lock classes and deadlock freedom , 1981 .

[16]  Mihalis Yannakakis,et al.  A Theory of Safe Locking Policies in Database Systems , 1982, JACM.

[17]  Won Kim,et al.  On Long-Duration CAD Transactions , 1989, Inf. Sci..

[18]  Abraham Silberschatz,et al.  A Formal Approach to Recovery by Compensating Transactions , 1990, VLDB.

[19]  Rajeev Rastogi,et al.  Non-serializable executions in heterogeneous distributed database systems , 1991, [1991] Proceedings of the First International Conference on Parallel and Distributed Information Systems.

[20]  J. T. Robinson,et al.  A framework for understanding distributed (deadlock detection) algorithms , 1983, PODS '83.

[21]  Henry F. Korth,et al.  Design of a Document Filing and Retrieval Service , 1983, Databases for Business and Office Applications.

[22]  Jacques LaFrance,et al.  Computer science for liberal arts colleges , 1972, SGCS.

[23]  Michael L. Begeman,et al.  gIBIS: a hypertext tool for exploratory policy discussion , 1988, CSCW '88.

[24]  Henry F. Korth,et al.  The design of ¬ 1NF relational databases into nested normal form , 1987, SIGMOD '87.

[25]  Michael L. Begeman,et al.  gIBIS: a hypertext tool for team design deliberation , 1987, Hypertext.

[26]  Abraham Silberschatz,et al.  Triggered Real-Time Databases with Consistency Constraints , 1990, VLDB.

[27]  Catriel Beeri,et al.  Compatible attributes in a universal relation , 1982, PODS '82.

[28]  Henry F. Korth.  Deadlock freedom using edge locks , 1982, TODS.

[29]  Stanley B. Zdonik,et al.  A query algebra for object-oriented databases , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[30]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[31]  Henry F. Korth.  Extending the Scope of Relational Languages , 1986, IEEE Software.

[32]  Jay Banerjee,et al.  Schema Evolution in Object-Oriented Persistent Databases , 1986, XP7.52 Workshop on Database Theory.