Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
Snapshot Isolation and Integrity Constraints in Replicated Databases.
Year:2009
Research Areas
  • Programming language
Information
Abstract
Database replication is widely used for fault tolerance and performance. However, it requires replica control to keep data copies consistent despite updates. The traditional correctness criterion for the concurrent execution of transactions in a replicated database is 1-copy-serializability. It is based on serializability, the strongest isolation level in a nonreplicated system. In recent years, however, Snapshot Isolation (SI), a slightly weaker isolation level, has become popular in commercial database systems. There exist already several replica control protocols that provide SI in a replicated system. However, most of the correctness reasoning for these protocols has been rather informal. Additionally, most of the work so far ignores the issue of integrity constraints. In this article, we provide a formal definition of 1-copy-SI using and extending a well-established definition of SI in a nonreplicated system. Our definition considers integrity constraints in a way that conforms to the way integrity constraints are handled in commercial systems. We discuss a set of necessary and sufficient conditions for a replicated history to be producible under 1-copy-SI. This makes our formalism a convenient tool to prove the correctness of replica control algorithms.
International
Si
JCR
Si
Title
ACM TRANSACTIONS ON DATABASE SYSTEMS
ISBN
0362-5915
Impact factor JCR
1,613
Impact info
Volume
34
doi.acm.org/10.1145/1538909.1538913
Journal number
2
From page
1
To page
49
Month
JUNIO
Ranking
Participants
  • Autor: Ricardo Jimenez Peris (UPM)
  • Autor: Marta Patiño Martinez (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Distributed Systems Labs (LSD) Laboratorio de sistemas distribuidos
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)