Correctness Criteria for Replicated Database Systems with Snapshot Isolation Replicas

PODC'08-BA

In this work, we present the correctness criteria that ensures a replicated database behaves like a single copy where transactions see a weaker form of SI, called Generalized-SI, with deferred update protocols in a crash failure scenario.