Yadav, Divakar and Butler, Michael
Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts
At Methods, Models and Tools for Fault Tolerance (MeMoT 2007).
Data replication across several sites improves fault tolerance as available sites can take over the load of failed sites. Data is usually accessed within a transactional framework. However, updating replicated data within a transactional framework is a complex affair due to failures and conflicting transactions. Group communication primitives have been proposed to support transactions in a asynchronous distributed system. In this paper we outline how a refinement based approach with Event B can be used for the development of a reliable replicated database system that ensure atomic commitment of update transactions using group communication primitives.
Conference or Workshop Item
||Event Dates: July 3, 2007
|Venue - Dates:
||Methods, Models and Tools for Fault Tolerance (MeMoT 2007), 2007-07-03
||Database, Transactions, Event B, Fault Tolerance
||Electronic & Software Systems
||05 Jul 2007
||23 Feb 2017 11:12
|Further Information:||Google Scholar|
Actions (login required)