Login / Signup

A Proof Technique for Concurrency Control and Recovery Algorithms for Replicated Databases.

Philip A. BernsteinNathan Goodman
Published in: Distributed Comput. (1987)
Keyphrases
  • replicated databases
  • concurrency control and recovery
  • data structure
  • database
  • data model