Correctness criteria for replicated database systems with snapshot isolation replicas

  • Authors:
  • José Enrique Armendáriz-Iñigo;José Ramón Juárez-Rodríguez;José Ramón González de Mendívil;Francesc D. Muñoz-Escoí

  • Affiliations:
  • Universidad Pública de Navarra, Pamplona, Spain;Universidad Pública de Navarra, Pamplona, Spain;Universidad Pública de Navarra, Pamplona, Spain;Instituto Tecnológico de Informática, Valencia, Spain

  • Venue:
  • Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.