Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Snapshot Isolation and Integrity Constraints in Replicated Databases.
Año:2009
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
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.
Internacional
Si
JCR del ISI
Si
Título de la revista
ACM TRANSACTIONS ON DATABASE SYSTEMS
ISSN
0362-5915
Factor de impacto JCR
1,613
Información de impacto
Volumen
34
DOI
doi.acm.org/10.1145/1538909.1538913
Número de revista
2
Desde la página
1
Hasta la página
49
Mes
JUNIO
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Ricardo Jimenez Peris (UPM)
  • Autor: Marta Patiño Martinez (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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 2021 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)