Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B.
Divakar YadavMichael J. ButlerPublished in: RODIN Book (2006)
Keyphrases
- fault tolerant
- fault tolerance
- database systems
- distributed systems
- load balancing
- safety critical
- high assurance
- database
- high availability
- fault isolation
- databases
- transaction processing
- state machine
- fine grained
- design process
- transaction management
- knowledge based systems
- database operations
- multimedia
- evolvable hardware