Multiversion concurrency control—theory and algorithms
- 1 December 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 8 (4), 465-483
- https://doi.org/10.1145/319996.319998
Abstract
Concurrency control is the activity of synchronizing operations issued by concurrently executing programs on a shared database. The goal is to produce an execution that has the same effect as a serial (noninterleaved) one. In a multiversion database system, each write on a data item produces a new copy (or version ) of that data item. This paper presents a theory for analyzing the correctness of concurrency control algorithms for multiversion database systems. We use the theory to analyze some new algorithms and some previously published ones.Keywords
This publication has 14 references indexed in Scilit:
- The implementation of an integrated concurrency control and recovery schemePublished by Association for Computing Machinery (ACM) ,1982
- Concurrency Control in Distributed Database SystemsACM Computing Surveys, 1981
- Parallelism and recovery in database systemsACM Transactions on Database Systems, 1980
- The serializability of concurrent database updatesJournal of the ACM, 1979
- Formal Aspects of Serializability in Database Concurrency ControlIEEE Transactions on Software Engineering, 1979
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- System level concurrency control for distributed database systemsACM Transactions on Database Systems, 1978
- Notes on data base operating systemsPublished by Springer Science and Business Media LLC ,1978
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976
- Some Deadlock Properties of Computer SystemsACM Computing Surveys, 1972