ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions.

Divyakant Agrawal, John L. Bruno, Amr El Abbadi, Vashudha Krishnaswamy: Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions. PODS 1994: 139-149
@inproceedings{DBLP:conf/pods/AgrawalBAK94,
  author    = {Divyakant Agrawal and
               John L. Bruno and
               Amr El Abbadi and
               Vashudha Krishnaswamy},
  title     = {Relative Serializbility: An Approach for Relaxing the Atomicity
               of Transactions},
  booktitle = {Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, May 24-26, 1994, Minneapolis,
               Minnesota},
  publisher = {ACM Press},
  year      = {1994},
  isbn      = {0-89791-642-5},
  pages     = {139-149},
  ee        = {http://doi.acm.org/10.1145/182591.182607, db/conf/pods/pods94-139.html},
  crossref  = {DBLP:conf/pods/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

In the presence of semantic information, 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 non-serializable, 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.

Copyright © 1994 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.


Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98. and ... Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. and ...

Printed Edition

Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota. ACM Press 1994, ISBN 0-89791-642-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Online Edition: ACM Digital Library

[Abstract, Index Terms and Review]
[Full Text in PDF Format, 979 KB]

Journal Edition

Vashudha Krishnaswamy, Divyakant Agrawal, John L. Bruno, Amr El Abbadi: Relative Serializability: An Approach for Relaxing the Atomicity of Transactions. J. Comput. Syst. Sci. 55(2): 344-354(1997) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[Bad79]
...
[BK91]
Naser S. Barghouti, Gail E. Kaiser: Concurrency Control in Advanced Database Applications. ACM Comput. Surv. 23(3): 269-317(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BL93]
...
[BR92]
B. R. Badrinath, Krithi Ramamritham: Semantics-Based Concurrency Control: Beyond Commutativity. ACM Trans. Database Syst. 17(1): 163-199(1992) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BSW79]
Philip A. Bernstein, David W. Shipman, Wing S. Wong: Formal Aspects of Serializability in Database Concurrency Control. IEEE Trans. Software Eng. 5(3): 203-216(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Cas81]
...
[EGLP76]
Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[FÖ89]
Abdel Aziz Farrag, M. Tamer Özsu: Using Semantic Knowledge of Transactions to Increase Concurrency. ACM Trans. Database Syst. 14(4): 503-525(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gar83]
Hector Garcia-Molina: Using Semantic Knowledge for Transaction Processing in Distributed Database. ACM Trans. Database Syst. 8(2): 186-213(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Her86]
Maurice Herlihy: A Quorum-Consensus Replication Method for Abstract Data Types. ACM Trans. Comput. Syst. 4(1): 32-53(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KB92]
...
[Kor83]
Henry F. Korth: Locking Primitives in a Database System. J. ACM 30(1): 55-79(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Kri93]
...
[Lyn83]
Nancy A. Lynch: Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. ACM Trans. Database Syst. 8(4): 484-502(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Pap79]
Christos H. Papadimitriou: The serializability of concurrent database updates. J. ACM 26(4): 631-653(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[RSL78]
Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: System Level Concurrency Control for Distributed Database Systems. ACM Trans. Database Syst. 3(2): 178-198(1978) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SGMA87]
...
[SS84]
Peter M. Schwarz, Alfred Z. Spector: Synchronizing Shared Abstract Types. ACM Trans. Comput. Syst. 2(3): 223-250(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SSV92]
Dennis Shasha, Eric Simon, Patrick Valduriez: Simple Rational Guidance for Chopping Up Transactions. SIGMOD Conference 1992: 298-307 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Wei89]
William E. Weihl: Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. ACM Trans. Program. Lang. Syst. 11(2): 249-283(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Wol86]
Ouri Wolfson: An Algorithm for Early Unlocking of Entities in Database Transactions. J. Algorithms 7(1): 146-156(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Wol87]
Ouri Wolfson: The Virtues of Locking by Symbolic Names. J. Algorithms 8(4): 536-556(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Referenced by

  1. George T. Heineman, Gail E. Kaiser: The CORD Appraoch to Extensible Concurrency Control. ICDE 1997: 562-571
  2. Hardeep Singh, Jun Han: Increasing Concurrency in Object-Oriented Databases for Software Engineering Environments. DASFAA 1997: 175-184
  3. Dennis Shasha, François Llirbat, Eric Simon, Patrick Valduriez: Transaction Chopping: Algorithms and Performance Studies. ACM Trans. Database Syst. 20(3): 325-363(1995)

Copyright © Mon Nov 2 21:04:25 2009 by Michael Ley (ley@uni-trier.de)