A proof technique for concurrency control and recovery algorithms for replicated databases

This publication has 17 references indexed in Scilit:

• Serializability theory for replicated databases
  Journal of Computer and System Sciences, 1985
• Consistency in a partitioned network: a survey
  ACM Computing Surveys, 1985
• An efficient, fault-tolerant protocol for replicated data management
  Published by Association for Computing Machinery (ACM) ,1985
• An algorithm for concurrency control and recovery in replicated distributed databases
  ACM Transactions on Database Systems, 1984
• Achieving robustness in distributed database systems
  ACM Transactions on Database Systems, 1983
• A recovery algorithm for a distributed database system
  Published by Association for Computing Machinery (ACM) ,1983
• Concurrency Control in Distributed Database Systems
  ACM Computing Surveys, 1981
• Formal Aspects of Serializability in Database Concurrency Control
  IEEE Transactions on Software Engineering, 1979
• Weighted voting for replicated data
  Published by Association for Computing Machinery (ACM) ,1979
• The notions of consistency and predicate locks in a database system
  Communications of the ACM, 1976