correctness criteria for replicated database systems with snapshot isolation replicas
In this work, we present the correctness criteria that ensures a replicated database behaves like a single copy where trans-actions see a weaker form of SI, called Generalized-SI, with deferred update protocols in a crash failure scenario.
snapshot isolation crash failure replica control formal proofs i/o automaton model database replication