Consistency and correctness of duplicate database systems
- 1 November 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGOPS Operating Systems Review
- Vol. 11 (5), 67-84
- https://doi.org/10.1145/1067625.806548
Abstract
Solutions to the duplicate database update problem are considered, and a formal validation technique using the theory of L systems is developed and applied to the problem. The paper shows some particular solutions but is primarily concerned with general properties of the problem, convenient representational techniques, and formal proof procedures which are general enough to apply to this and to a number of other problems in parallel processing and synchronization.Keywords
This publication has 8 references indexed in Scilit:
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976
- Formal verification of parallel programsCommunications of the ACM, 1976
- EthernetCommunications of the ACM, 1976
- Maintenance of duplicate databasesPublished by RFC Editor ,1975
- Interference between communicating parallel processesCommunications of the ACM, 1972
- Synchronization of communicating processesCommunications of the ACM, 1972
- Developmental systems and languagesPublished by Association for Computing Machinery (ACM) ,1972
- System DeadlocksACM Computing Surveys, 1971