Authors:
J. E. Armendáriz-´Iñigo
1
;
J. R. González de Mendívil
1
;
J. R. Garitagoitia
1
;
J. R. Juárez-Rodríguez
1
;
F. D. Muñoz-Escoí
2
and
L. Irún-Briz
2
Affiliations:
1
Universidad Pública de Navarra, Spain
;
2
Instituto Tecnológico de Informática, Spain
Keyword(s):
Database replication, distributed databases, snapshot isolation, read one write all, correctness criteria, formal proofs.
Related
Ontology
Subjects/Areas/Topics:
Business Analytics
;
Communication and Software Technologies and Architectures
;
Data Engineering
;
Data Warehouses and Data Mining
;
Distributed and Mobile Software Systems
;
e-Business
;
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Internet Information Systems
;
Management Information Systems
;
Software Engineering
Abstract:
The concept of Generalized Snapshot Isolation (GSI) has been recently proposed as a suitable extension of conventional Snapshot Isolation (SI) for replicated databases. In GSI, transactions may use older snapshots instead of the latest snapshot required in SI, being able to provide better performance without significantly increasing the abortion rate when write/write conflicts among transactions are low. We study and formally proof a sufficient condition that replication protocols with SI replicas following the deferred update technique must obey to achieve GSI. They must provide global atomicity and commit update transactions in the very same order at all sites. However, as this is a sufficient condition, it is possible to obtain GSI by relaxing certain assumptions about the commit ordering of certain update transactions.