On Correctness of Nonserializable Executions

Journal of Computer and System Sciences

Volumn 56, Issue 1, 1998, Pages 68-82

  Rastogi, Rajeev ^a   Mehrotra, Sharad ^b   Breitbart, Yuri ^c   Korth, Henry F ^a   Silberschatz, Avi ^a  

^a LUCENT TECHNOLOGIES   (United States)

^b University of Illinois at Urbana Champaign   (United States)

^c UNIVERSITY OF KENTUCKY   (United States)

Author keywords

Concurrency control; Database states; Integrity constraints; Schedules; Transactions

Indexed keywords

COMPUTER SOFTWARE; CONCURRENCY CONTROL; CONSTRAINT THEORY; DATA STRUCTURES;

PREDICATE WISE SERIALIZABILITY (PWSR);

DISTRIBUTED DATABASE SYSTEMS;

EID: 0031992473     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcss.1997.1536     Document Type: Article

References (15)

1. K. R. Apt, Introduction to logic programming, in "Handbook of Theoretical Computer Science" (J. van Leeuwen, Ed.), North-Holland, Amsterdam, 1990.
2. B. R. Badrinath and K. Ramamritham, Semantics-based concurrency control: Beyond commutatitivity, in "Proceedings of the Third International Conference on Data Engineering, Los Angeles, February 1987," pp. 304-311.
3. P. A. Bernstein, V. Hadzilacos, and N. Goodman, "Concurrency Control and Recovery in Database Systems," Addison-Wesley, Reading, MA, 1987.
4. Y. Breitbart, H. Garcia-Molina, and A. Silberschatz, Overview of multidatabase transaction management, VLDB J. 1, No. 2 (1992), 181-239.
5. P. K. Crysanthis, S. Raghuram, and K. Ramamritham, Extracting concurrency from objects: A methodology, in "Proceedings of ACM-SIGMOD 1991 International Conference on Management of Data, Denver, Colorado, May 1991," pp. 118-127.
6. A. A. Farrag and M. T. Oszu, Using semantic knowledge of transactions to increase concurrency, ACM Trans. Database Systems 14, No. 4 (1989), 503-525.
7. H. Garcia-Molina, Using semantic knowledge for transaction processing in a distributed database, ACM Transactions on Database Systems 8, No. 2 (June 1983), 186-213.
8. H. Garcia-Molina and K. Salem, Sagas, in "Proceedings of ACM-SIGMOD 1987 International Conference on Management of Data, San Francisco, 1987," pp. 249-259.
9. M. Herlihy, Apologizing versus asking permission: Optimistic concurrency control for abstract data types, ACM Transactions on Database Systems 15, No. 1 (March 1990), 96-124.
10. H. F. Korth, Locking primitives in a database system, J. Assoc. Comput. Mach. 30, No. 1 (1983), 55-79.
11. H. F. Korth, W. Kim, and F. Bancilhon, On long duration CAD transactions, Inform. Sci. 46 (1988), 73-107.
12. S. Mehrotra, R. Rastogi, H. F. Korth, and A. Silberschatz, Non-serializable executions in heterogeneous distributed database systems, in "Proceedings of the First International Conference on Parallel and Distributed Information Systems, Miami Beach, Florida, 1991," pp. 245-252.
13. C. Papadimitrou, "The Theory of Database Concurrency Control," Comput. Sci., Rockville, MD, 1986.
14. L. Sha, J. P. Lehoczky, and E. D. Jensen, Modular concurrency control and failure recovery, IEEE Trans. Comput. C-37, No. 2 (1988), 146-159.
15. W. E. Weihl, Commutativity-based concurrency control for abstract data types, IEEE Trans. Comput. 37, No. 12 (1988), 1488-1505.