Correctness proof of a database replication protocol under the perspective of the I/O automaton model.
José Enrique Armendáriz-IñigoJosé Ramón González de MendívilJosé Ramón GaritagoitiaFrancesc D. Muñoz-EscoíPublished in: Acta Informatica (2009)
Keyphrases
- database replication
- group communication
- correctness criterion
- replicated databases
- transaction management
- snapshot isolation
- fault tolerance
- key distribution
- database management systems
- main memory
- concurrency control protocols
- fault tolerant
- linear logic
- platform independent
- distributed database systems
- database systems
- concurrency control
- integrity constraints
- lightweight
- data replication
- authentication protocol
- key management
- transaction processing
- fine grained
- high scalability
- database