Correctness of a distributed transaction system

Ramamritham, Krithivasan (1983) Correctness of a distributed transaction system Information Systems, 8 (4). pp. 309-324. ISSN 0306-4379

Full text not available from this repository.

Official URL:

Related URL:


A distributed transaction system manages information that is dispersed over a number of storage devices. This paper deals with an experimental transaction system designed to satisfy real-time constraints through distributed control of the executions of transactions. Of interest is the correctness of the algorithm for distributed control. Demonstrating the correctness involves showing that the algorithm guarantees the consistency of distributed data, and equally importantly, that every transaction will eventually terminate. Proof of consistency is based on the notion of serializability of transactions while proof of termination is based on the conflict resolution and failure recovery strategies employed by the transaction system.

Item Type:Article
Source:Copyright of this article belongs to Elsevier Science.
ID Code:62888
Deposited On:24 Sep 2011 05:07
Last Modified:24 Sep 2011 05:07

Repository Staff Only: item control page