We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
A formal analysis of database replication protocols with SI replicas and crash failures.
- Authors
González de Mendívil, José; Armendáriz-Iñigo, José; Garitagoitia, José; Muñoz-Escoí, Francesc
- Abstract
This paper provides a formal specification and proof of correctness of a basic Generalized Snapshot Isolation certification-based data replication protocol for database middleware architectures. It has been modeled using a state transition system, as well as the main system components, allowing a perfect match with the usual deployment in a middleware system. The proof encompasses both safety and liveness properties, as it is commonly done for a distributed algorithm. Furthermore, a crash failure model has been assumed for the correctness proof, although recovery analysis is not the aim of this paper. This allows an easy extension toward a crash-recovery model support in future works. The liveness proof focuses in the uniform commit: if a site has committed a transaction, the rest of sites will either commit it or it would have crashed.
- Subjects
DATABASES; CERTIFICATION; DATA replication; BACKUP processing alternatives in electronic data processing; MIDDLEWARE
- Publication
Journal of Supercomputing, 2009, Vol 50, Issue 2, p121
- ISSN
0920-8542
- Publication type
Article
- DOI
10.1007/s11227-008-0255-4