Relative Serializability

An Approach for Relaxing the Atomicity of Transactions

V. Krishnaswamy, D. Agrawal, J. L. Bruno, A. El Abbadi

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

Serializability is too strong a correctness criterion and unnecessarily restricts concurrency. We use the semantic information of a transaction to provide different atomicity views of the transaction to other transactions. The proposed approach improves concurrency and allows interleavings among transactions which are nonserializable, but which nonetheless preserve the consistency of the database and are acceptable to the users. We develop a graph-based tool whose acyclicity is both a necessary and sufficient condition for the correctness of an execution. Our theory encompasses earlier proposals that incorporate semantic information of transactions. Furthermore, it is the first approach that provides an efficient graph-based tool for recognizing correct schedules without imposing any restrictions on the application domain. Our approach is widely applicable to many advanced database applications such as systems with long-lived transactions and collaborative environments.

Original languageEnglish
Pages (from-to)344-354
Number of pages11
JournalJournal of Computer and System Sciences
Volume55
Issue number2
Publication statusPublished - 1 Oct 1997
Externally publishedYes

Fingerprint

Atomicity
Transactions
Semantics
Concurrency
Correctness
Acyclicity
Collaborative Environments
Interleaving
Graph in graph theory
Schedule
Restriction
Necessary Conditions
Sufficient Conditions

ASJC Scopus subject areas

  • Computational Theory and Mathematics

Cite this

Krishnaswamy, V., Agrawal, D., Bruno, J. L., & El Abbadi, A. (1997). Relative Serializability: An Approach for Relaxing the Atomicity of Transactions. Journal of Computer and System Sciences, 55(2), 344-354.

Relative Serializability : An Approach for Relaxing the Atomicity of Transactions. / Krishnaswamy, V.; Agrawal, D.; Bruno, J. L.; El Abbadi, A.

In: Journal of Computer and System Sciences, Vol. 55, No. 2, 01.10.1997, p. 344-354.

Research output: Contribution to journalArticle

Krishnaswamy, V, Agrawal, D, Bruno, JL & El Abbadi, A 1997, 'Relative Serializability: An Approach for Relaxing the Atomicity of Transactions', Journal of Computer and System Sciences, vol. 55, no. 2, pp. 344-354.
Krishnaswamy, V. ; Agrawal, D. ; Bruno, J. L. ; El Abbadi, A. / Relative Serializability : An Approach for Relaxing the Atomicity of Transactions. In: Journal of Computer and System Sciences. 1997 ; Vol. 55, No. 2. pp. 344-354.
@article{5f4daaf3d117426c934a930eed579cfb,
title = "Relative Serializability: An Approach for Relaxing the Atomicity of Transactions",
abstract = "Serializability is too strong a correctness criterion and unnecessarily restricts concurrency. We use the semantic information of a transaction to provide different atomicity views of the transaction to other transactions. The proposed approach improves concurrency and allows interleavings among transactions which are nonserializable, but which nonetheless preserve the consistency of the database and are acceptable to the users. We develop a graph-based tool whose acyclicity is both a necessary and sufficient condition for the correctness of an execution. Our theory encompasses earlier proposals that incorporate semantic information of transactions. Furthermore, it is the first approach that provides an efficient graph-based tool for recognizing correct schedules without imposing any restrictions on the application domain. Our approach is widely applicable to many advanced database applications such as systems with long-lived transactions and collaborative environments.",
author = "V. Krishnaswamy and D. Agrawal and Bruno, {J. L.} and {El Abbadi}, A.",
year = "1997",
month = "10",
day = "1",
language = "English",
volume = "55",
pages = "344--354",
journal = "Journal of Computer and System Sciences",
issn = "0022-0000",
publisher = "Academic Press Inc.",
number = "2",

}

TY - JOUR

T1 - Relative Serializability

T2 - An Approach for Relaxing the Atomicity of Transactions

AU - Krishnaswamy, V.

AU - Agrawal, D.

AU - Bruno, J. L.

AU - El Abbadi, A.

PY - 1997/10/1

Y1 - 1997/10/1

N2 - Serializability is too strong a correctness criterion and unnecessarily restricts concurrency. We use the semantic information of a transaction to provide different atomicity views of the transaction to other transactions. The proposed approach improves concurrency and allows interleavings among transactions which are nonserializable, but which nonetheless preserve the consistency of the database and are acceptable to the users. We develop a graph-based tool whose acyclicity is both a necessary and sufficient condition for the correctness of an execution. Our theory encompasses earlier proposals that incorporate semantic information of transactions. Furthermore, it is the first approach that provides an efficient graph-based tool for recognizing correct schedules without imposing any restrictions on the application domain. Our approach is widely applicable to many advanced database applications such as systems with long-lived transactions and collaborative environments.

AB - Serializability is too strong a correctness criterion and unnecessarily restricts concurrency. We use the semantic information of a transaction to provide different atomicity views of the transaction to other transactions. The proposed approach improves concurrency and allows interleavings among transactions which are nonserializable, but which nonetheless preserve the consistency of the database and are acceptable to the users. We develop a graph-based tool whose acyclicity is both a necessary and sufficient condition for the correctness of an execution. Our theory encompasses earlier proposals that incorporate semantic information of transactions. Furthermore, it is the first approach that provides an efficient graph-based tool for recognizing correct schedules without imposing any restrictions on the application domain. Our approach is widely applicable to many advanced database applications such as systems with long-lived transactions and collaborative environments.

UR - http://www.scopus.com/inward/record.url?scp=0031247924&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031247924&partnerID=8YFLogxK

M3 - Article

VL - 55

SP - 344

EP - 354

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

SN - 0022-0000

IS - 2

ER -