Correctness criteria for replicated database systems with snapshot isolation replicas

In this work, we present the correctness criteria that ensures a replicated database behaves like a single copy where trans-actions see a weaker form of SI, called Generalized-SI, with deferred update protocols in a crash failure scenario.

[1]  Gustavo Alonso,et al.  Extending DBMSs with satellite databases , 2008, The VLDB Journal.

[2]  Jim Gray,et al.  A critique of ANSI SQL isolation levels , 1995, SIGMOD '95.

[3]  J. R. Garitagoitia,et al.  Certification-Based Database Replication Protocols under the Perspective of the I / O Automaton Model , 2008 .

[4]  Ricardo Jiménez-Peris,et al.  Lightweight Reflection for Middleware-based Database Replication , 2006, 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06).

[5]  Fernando Pedone,et al.  Database replication using generalized snapshot isolation , 2005, 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05).

[6]  Francesc D. Muñoz-Escoí,et al.  A Deterministic Database Replication Protocol Where Multicast Writesets Never Get Aborted , 2007, OTM Workshops.

[7]  Fernando Pedone,et al.  A Formal Analysis of the Deferred Update Technique , 2007, DISC.

[8]  Dennis Shasha,et al.  Making snapshot isolation serializable , 2005, TODS.

[9]  Fernando Pedone.  The database state machine and group communication issues , 1999 .

[10]  Ricardo Jiménez-Peris,et al.  Middleware based data replication providing snapshot isolation , 2005, SIGMOD '05.

[11]  Bettina Kemme,et al.  Online recovery in cluster databases , 2008, EDBT '08.

[12]  Luís E. T. Rodrigues,et al.  On the Use of a Reflective Architecture to Augment Database Management Systems , 2007, J. Univers. Comput. Sci..

[13]  Sape Mullender,et al.  Distributed systems , 1989 .

[14]  A. Fleischmann.  Distributed Systems , 1994, Springer Berlin Heidelberg.

[15]  Francesc D. Muñoz-Escoí,et al.  A Weak Voting Database Replication Protocol Providing Different Isolation Levels , 2007 .

[16]  Fernando Pedone,et al.  Tashkent: uniting durability with transaction ordering for high-performance scalable database replication , 2006, EuroSys.

[17]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[18]  Leslie Lamport,et al.  Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.

[19]  Kenneth Salem,et al.  Lazy database replication with snapshot isolation , 2006, VLDB.

[20]  Gustavo Alonso,et al.  A new approach to developing and implementing eager database replication protocols , 2000, TODS.

[21]  Fernando Pedone,et al.  Generalized Snapshot Isolation and a Prefix-Consistent Implementation , 2004 .

[22]  Introduction to I/O , 2009 .

[23]  Luis Irún-Briz,et al.  Managing Transaction Conflicts in Middleware-based Database Replication Architectures , 2006, 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06).

[24]  Idit Keidar,et al.  Group communication specifications: a comprehensive study , 2001, CSUR.

[25]  Liang-sheng Lu,et al.  [Expression of fusion proteins in beta(2)GP I gene-transfected HEp-2 cells and its clinical application]. , 2002, Zhonghua yi xue za zhi.