On Correctness of Nonserializable Executions

In a number of application environments (e.g., computer aided design),serializability, the traditionally accepted notion of correctness has been found to be too restrictive, and a number of alternate criteria have been proposed in the literature. One such criterion ispredicate-wise serializability(PWSR) which requires only restrictions of schedules that access subsets of the database over which integrity constraints are defined to be serializable. In this paper, we identify restrictions on the structure of transaction programs, their concurrent execution, and their access characteristics under which PWSR schedules preserve database consistency.

[1]  M. Tamer Özsu,et al.  Using semantic knowledge of transactions to increase concurrency , 1989, TODS.

[2]  Henry F. Korth,et al.  Locking Primitives in a Database System , 1983, JACM.

[3]  Panos K. Chrysanthis,et al.  Extracting concurrency from objects: a methodology , 1991, SIGMOD '91.

[4]  B. R. Badrinath,et al.  Semantics-Based Concurrency Control: Beyond Commutativity , 1987, ICDE.

[5]  Lui Sha,et al.  Modular Concurrency Control and Failure Recovery , 1988, IEEE Trans. Computers.

[6]  Christos H. Papadimitriou,et al.  The Theory of Database Concurrency Control , 1986 .

[7]  Krzysztof R. Apt,et al.  Introduction to Logic Programming , 1988 .

[8]  William E. Weihl,et al.  Commutativity-based concurrency control for abstract data types , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.

[9]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

[10]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[11]  Maurice Herlihy,et al.  Apologizing versus asking permission: optimistic concurrency control for abstract data types , 1990, TODS.

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

[13]  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.