Intermediate Value Linearizability: A Quantitative Correctness Criterion.

Arik Rinberg Idit Keidar

Published in: DISC (2020)

Keyphrases

correctness criterion
integrity constraints
transaction management
concurrency control
linear logic
multidatabase systems
correctness criteria
qualitative and quantitative
database
data replication
replicated databases
data mining
intelligent agents