Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts
Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts
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.
Database, Transactions, Event B, Fault Tolerance
33-42
Yadav, Divakar
cd3f35a3-3642-41cb-ba06-96b8c8c542a3
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
2007
Yadav, Divakar
cd3f35a3-3642-41cb-ba06-96b8c8c542a3
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Yadav, Divakar and Butler, Michael
(2007)
Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts.
Methods, Models and Tools for Fault Tolerance (MeMoT 2007), Oxford.
.
Record type:
Conference or Workshop Item
(Paper)
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.
Text
memottrans2007.pdf
- Other
More information
Published date: 2007
Additional Information:
Event Dates: July 3, 2007
Venue - Dates:
Methods, Models and Tools for Fault Tolerance (MeMoT 2007), Oxford, 2007-07-03
Keywords:
Database, Transactions, Event B, Fault Tolerance
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 264273
URI: http://eprints.soton.ac.uk/id/eprint/264273
PURE UUID: 20c000cd-9e0a-4d1a-840e-25118551217f
Catalogue record
Date deposited: 05 Jul 2007
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Divakar Yadav
Author:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics