A formal analysis of database replication protocols with SI replicas and crash failures.
José Ramón González de MendívilJosé Enrique Armendáriz-IñigoJosé Ramón GaritagoitiaFrancesc D. Muñoz-EscoíPublished in: J. Supercomput. (2009)
Keyphrases
- database replication
- formal analysis
- fault tolerance
- fault tolerant
- replicated databases
- data replication
- load balancing
- distributed systems
- data availability
- response time
- peer to peer
- group communication
- formal methods
- transaction management
- databases
- agent model
- platform independent
- lightweight
- snapshot isolation
- wireless sensor networks