On the Semantics of Snapshot Isolation.

Azalea Raad Ori Lahav Viktor Vafeiadis

Published in: CoRR (2018)

Keyphrases

snapshot isolation
database replication
integrity constraints
concurrency control
transaction management
database
database systems
multi dimensional
logic programming
correctness criterion