Intermediate Value Linearizability: A Quantitative Correctness Criterion.

Arik Rinberg Idit Keidar

Published in: CoRR (2020)

Keyphrases

correctness criterion
concurrency control
integrity constraints
linear logic
transaction management
multidatabase systems
qualitative and quantitative
concurrency control protocols
replicated databases
distributed databases
database
query optimization