Correctness criteria for replicated database systems with snapshot isolation replicas
暂无分享,去创建一个
Francesc D. Muñoz-Escoí | José Ramón González de Mendívil | José Enrique Armendáriz-Iñigo | José Ramón Juárez-Rodríguez | F. D. Muñoz-Escoí | J. R. G. D. Mendívil | J. Juárez-Rodríguez | J. E. Armendáriz-Iñigo
[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.