The correctness of concurrency control mechanisms in a system for distributed databases (SDD-1)
- 1 March 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 5 (1) , 52-68
- https://doi.org/10.1145/320128.320133
Abstract
This paper presents a formal analysis of the concurrency control strategy of SDD-1. SDD-1, a System for Distributed Databases, is a prototype distributed database system being developed by Computer Corporation of America. In SDD-1, portions of data distributed throughout a network may be replicated at multiple sites. The SDD-1 concurrency control guarantees database consistency in the face of such distribution and replication. This paper is one of a series of companion papers on SDD-1 [2, 8].Keywords
This publication has 3 references indexed in Scilit:
- Concurrency control in a system for distributed databases (SDD-1)ACM Transactions on Database Systems, 1980
- Introduction to a system for distributed databases (SDD-1)ACM Transactions on Database Systems, 1980
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976