Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Revising 1-Copy Equivalence in Replicated Databases with Snapshot Isolation

Francesc D. Muñoz-Escoí19 Contact Information, Josep M. Bernabé-Gisbert19 Contact Information, Ruben de Juan-Marín19 Contact Information, Jose Enrique Armendáriz-Íñigo20 Contact Information and Jose Ramon González De Mendívil20 Contact Information

(19)  Instituto Tecnológico de Informática, Univ. Politécnica de Valencia, Camino de Vera, s/n, 46022 Valencia, Spain
(20)  Depto. de Ing. Matemática e Informática, Univ. Pública de Navarra, Campus de Arrosadía, s/n, 31006 Pamplona, Spain
Abstract
Multiple database replication protocols have used replicas supporting the snapshot isolation level. They have provided some kind of one-copy equivalence, but such concept was initially conceived for serializable databases. In the snapshot isolation case, due to its reliance on multi-versioned concurrency control that never blocks read accesses, such one-copy equivalence admits two different variants. The first one consists in relying on sequential replica consistency, but it does not guarantee that the snapshot used by each transaction holds the updates of the last committed transactions in the whole replicated system, but only those of the last locally committed transaction. Thus, a single user might see inconsistent results when two of her transactions have been served by different delegate replicas: the updates of the first one might not be in the snapshot of the second. The second variant avoids such problem, but demands atomic replica consistency, blocking the start (i.e., in many cases, read accesses) of new transactions. Several protocols of each kind exist nowadays, and most of them have given different names to their intended correctness criterion. We survey such previous works and propose uniform names to these criteria, justifying some of their properties.
This work has been partially supported by EU FEDER and the Spanish MEC under grant TIN2006-14738-C02, by EU FEDER and the Spanish MICINN under grant TIN2009-14460-C03 and by IMPIVA under grant IMIDIC/2007/68.

Contact Information Francesc D. Muñoz-Escoí
Email: fmunyoz@iti.upv.es

Contact Information Josep M. Bernabé-Gisbert
Email: jbgisber@iti.upv.es

Contact Information Ruben de Juan-Marín
Email: rjuan@iti.upv.es

Contact Information Jose Enrique Armendáriz-Íñigo
Email: enrique.armendariz@unavarra.es

Contact Information Jose Ramon González De Mendívil
Email: mendivil@unavarra.es
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.113 • Server: mpweb20
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)