The University of Southampton
University of Southampton Institutional Repository

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.

Record type: Conference or Workshop Item (Paper)


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.

PDF memottrans2007.pdf - Other
Download (205kB)

More information

Published date: 2007
Additional Information: Event Dates: July 3, 2007
Venue - Dates: Methods, Models and Tools for Fault Tolerance (MeMoT 2007), 2007-07-03
Keywords: Database, Transactions, Event B, Fault Tolerance
Organisations: Electronic & Software Systems


Local EPrints ID: 264273
PURE UUID: 20c000cd-9e0a-4d1a-840e-25118551217f
ORCID for Michael Butler: ORCID iD

Catalogue record

Date deposited: 05 Jul 2007
Last modified: 18 Jul 2017 07:37

Export record


Author: Divakar Yadav
Author: Michael Butler ORCID iD

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.