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.