A formal characterization of SI-based ROWA replication protocols

  • Authors:

  • J. E. Armendáriz-Iñigo;J. R. Juárez-Rodríguez;J. R. González de Mendívil;J. R. Garitagoitia;L. Irún-Briz;F. D. Muñoz-Escoí

  • Affiliations:

  • Departamento de Ingeniería Matemática e Informática, Universidad Pública de Navarra, Campus Arrosadía s/n, 31006 Pamplona, Spain;Departamento de Ingeniería Matemática e Informática, Universidad Pública de Navarra, Campus Arrosadía s/n, 31006 Pamplona, Spain;Departamento de Ingeniería Matemática e Informática, Universidad Pública de Navarra, Campus Arrosadía s/n, 31006 Pamplona, Spain;Departamento de Ingeniería Matemática e Informática, Universidad Pública de Navarra, Campus Arrosadía s/n, 31006 Pamplona, Spain;Instituto Tecnológico de Informática, Universidad Politécnica de Valencia, Camino de Vera s/n, 46022 Valencia, Spain;Instituto Tecnológico de Informática, Universidad Politécnica de Valencia, Camino de Vera s/n, 46022 Valencia, Spain

  • Venue:
  • Data & Knowledge Engineering
  • Year:
  • 2011

Quantified Score

Hi-index 0.01

Visualization

Abstract

Snapshot isolation (SI) is commonly used in some commercial DBMSs with a multiversion concurrency control mechanism since it never blocks read-only transactions. Recent database replication protocols have been designed using SI replicas where transactions are firstly executed in a delegate replica and their updates (if any) are propagated to the rest of the replicas at commit time; i.e. they follow the Read One Write All (ROWA) approach. This paper provides a formalization that shows the correctness of abstract protocols which cover these replication proposals. These abstract protocols differ in the properties demanded for achieving a global SI level and those needed for its generalized SI (GSI) variant - allowing reads from old snapshots. Additionally, we propose two more relaxed properties that also ensure a global GSI level. Thus, some applications can further optimize their performance in a replicated system while obtaining GSI.