Analysis of Update Synchronization for Multiple Copy Data Bases
- 1 October 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-28 (10) , 737-747
- https://doi.org/10.1109/tc.1979.1675241
Abstract
A formal model allowing a precise definition of coherence and promptness in a multiple copy information system is presented and used to analyze a class of update synchronization techniques.Keywords
This publication has 6 references indexed in Scilit:
- On the Optimum Checkpoint IntervalJournal of the ACM, 1979
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976
- Probabilistic models of computer systems?Part I (exact results)Acta Informatica, 1976
- Maintenance of duplicate databasesPublished by RFC Editor ,1975
- Multiple concurrent updatesPublished by Association for Computing Machinery (ACM) ,1975
- Avoiding deadlock in distributed data basesPublished by Association for Computing Machinery (ACM) ,1974