Login / Signup
Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases.
Nicolien J. Drost
Jan van Leeuwen
Published in:
Concurrency (1988)
Keyphrases
</>
concurrency control
databases
distributed databases
concurrency control algorithms
database systems
database
data mining
similarity measure
database management systems
distributed database systems
transaction processing