G. Alonso, Partial database replication and group communication primitives in 2nd European Research Seminar on Advances in Distributed Systems, 1997.

P. A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems, 1987.

J. Busca, F. Picconi, and P. Sens, Pastis: A Highly-Scalable Multi-user Peer-to-Peer File System, Euro-Par, 2005.
DOI : 10.1007/11549468_128
URL : https://hal.archives-ouvertes.fr/inria-00070712

L. Camargos, F. Pedone, and M. Wieloch, Sprint: a middleware for high-performance transaction processing, SIGOPS Oper. Syst. Rev, 2007.

X. Defago, A. Schiper, and P. Urban, Totally ordered broadcast and multicast algorithms: a comprehensive survey, 2000.

R. Michael, D. S. Garey, and . Johnson, Computers and Intractability; A Guide to the Theory of NP-Completeness, 1990.

J. Gray, P. Helland, P. O. Neil, and D. Shasha, The dangers of replication and a solution, Proceedings of the 1996 ACM SIGMOD international conference on Management of data, 1996.

K. Haller, H. Schuldt, and C. Türker, Decentralized coordination of transactional processes in peer-topeer environments, CIKM '05: Proceedings of the 14th ACM international conference on Information and knowledge management, 2005.

J. Holliday, D. Agrawal, and A. Abbadi, Partial database replication using epidemic communication, Proceedings 22nd International Conference on Distributed Computing Systems, 2002.
DOI : 10.1109/ICDCS.2002.1022298
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.9428

F. Jr and P. Ingels, Transactions on partially replicated data based on reliable and atomic multicasts, Proceedings of the The 21st International Conference on Distributed Computing Systems, p.284, 2001.

B. Kemme and G. Alonso, Don't be lazy, be consistent: Postgres-r, a new way to implement database replication, The VLDB Journal, pp.134-143, 2000.

J. Kubiatowicz, D. Bindel, Y. Chen, P. Eaton, D. Geels et al., Oceanstore: An architecture for global-scale persistent storage, Proceedings of ACM ASPLOS, 2000.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

A. Muthitacharoen, R. Morris, T. M. Gil, and B. Chen, Ivy, Proceedings of 5th Symposium on Operating Systems Design and Implementation, 2002.
DOI : 10.1145/844128.844132

E. Pacitti, C. Coulon, P. Valduriez, and M. T. Tamer¨ozsu, Preventive Replication in a Database Cluster, Distributed and Parallel Databases, vol.18, issue.3, pp.223-251, 2005.
DOI : 10.1007/s10619-005-4257-4
URL : https://hal.archives-ouvertes.fr/hal-00442709

F. Pedone, A. Guerraoui, and . Schiper, The database state machine approach, Distributed and Parallel Databases, vol.14, issue.1, pp.71-98, 2003.
DOI : 10.1023/A:1022887812188

M. Raynal, Eventual Leader Service in Unreliable Asynchronous Systems: Why? How?, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), pp.11-24, 2007.
DOI : 10.1109/NCA.2007.19
URL : https://hal.archives-ouvertes.fr/inria-00145471

N. Schiper, R. Schmidt, and F. Pedone, Optimistic Algorithms for Partial Database Replication, 10th International Conference on Principles of Distributed Systems (OPODIS'2006), 2006.
DOI : 10.1007/11945529_7

C. Shih and J. A. Stankovic, Survey of deadlock detection in distributed concurrent programming environments and its application to real-time systems, 1990.

M. Wiesmann and A. Schiper, Comparison of database replication techniques based on total order broadcast, IEEE Transactions on Knowledge and Data Engineering, vol.17, issue.4, 2005.
DOI : 10.1109/TKDE.2005.54

T. Let, ,. .. , and ?. G. Such-that-t-1, T m?1 forms a cycle in G u , and recall that by definition T 1 , . . . , T m ? committed(r) According to proposition P9

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche, 2004.