Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts


Yadav, Divakar and Butler, Michael (2007) Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts At Methods, Models and Tools for Fault Tolerance (MeMoT 2007). , pp. 33-42.

Download

[img] PDF memottrans2007.pdf - Other
Download (205kB)

Description/Abstract

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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: July 3, 2007
Venue - Dates: Methods, Models and Tools for Fault Tolerance (MeMoT 2007), 2007-07-03
Related URLs:
Keywords: Database, Transactions, Event B, Fault Tolerance
Organisations: Electronic & Software Systems
ePrint ID: 264273
Date :
Date Event
2007Published
Date Deposited: 05 Jul 2007
Last Modified: 23 Feb 2017 11:12
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/264273

Actions (login required)

View Item View Item