Serializability preserving extensions of concurrency control protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1755, Issue , 2000, Pages 180-193

  Chkliaev, Dmitri ^a   Hooman, Jozef ^b   van der Stok, Peter ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONCURRENCY CONTROL PROTOCOLS; CONTROL INFORMATION; CORRECTNESS CONDITIONS; DATABASE APPLICATIONS; FORMAL SPECIFICATION AND VERIFICATION; INTERACTIVE PROOFS; SOUND AND COMPLETE; VERIFICATION SYSTEMS;

CONCURRENCY CONTROL;

EID: 84943302714     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46562-6_15     Document Type: Conference Paper

References (6)

1. C. H. Papadimitriou. The serializability of concurrent database updates. Journal of the ACM, 26(4):631-653, 1979.
2. PVS Specification and Verification System, http://pvs. csl. sri. com/.
3. A. Silberschatz, H. F. Korth, and S. Sudarshan. Database System Concepts. The McGraw-Hill Companies, Inc., 1997.
4. A. Thomasian. Two-phase locking performance and its thrashing behavior. ACM Transactions on Database Systems, 18(4):579-625, 1993.
5. J. D. Ullman. Principles of Database and Knowledge-Base Systems, Volume 1. Computer Science Press, 1988.
6. K. Vidyasankar. Uniffed theory of database serializability. Fundamenta In-formaticae, 14:147-183, 1991.