dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

A Theory of Timestamp-Based Concurrency Control for Nested Transactions.

James Aspnes, Alan Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl: A Theory of Timestamp-Based Concurrency Control for Nested Transactions. VLDB 1988: 431-444
@inproceedings{DBLP:conf/vldb/AspnesFLMW88,
  author    = {James Aspnes and
               Alan Fekete and
               Nancy A. Lynch and
               Michael Merritt and
               William E. Weihl},
  editor    = {Fran\c{c}ois Bancilhon and
               David J. DeWitt},
  title     = {A Theory of Timestamp-Based Concurrency Control for Nested Transactions},
  booktitle = {Fourteenth International Conference on Very Large Data Bases,
               August 29 - September 1, 1988, Los Angeles, California, USA,
               Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  isbn      = {0-934613-75-3},
  pages     = {431-444},
  ee        = {db/conf/vldb/AspnesFLMW88.html},
  crossref  = {DBLP:conf/vldb/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

We present a rigorous framework for analyzing timestampbased concurrency control and recovery algorithms for nested transactions. We define a local correctness property, local static atomicy, that affords useful modularity. We show that local static atomicity of each object is sufficient to ensure global serializability. We present generalizations of algorithms due to Reed and Herlihy, and show that each ensures local static atomicity.

Copyright © 1988 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

François Bancilhon, David J. DeWitt (Eds.): Fourteenth International Conference on Very Large Data Bases, August 29 - September 1, 1988, Los Angeles, California, USA, Proceedings. Morgan Kaufmann 1988, ISBN 0-934613-75-3
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
Maurice Herlihy: Extending Multiversion Time-Stamping Protocols to Exploit Type Information. IEEE Trans. Computers 36(4): 443-448(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Barbara Liskov, Robert Scheifler: Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Trans. Program. Lang. Syst. 5(3): 381-404(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Nancy A. Lynch, Michael Merritt: Introduction to the Theory of Nested Transactions. Theor. Comput. Sci. 62(1-2): 123-185(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan Fekete: A Theory of Atomic Transactions. ICDT 1988: 41-71 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Nancy A. Lynch, Mark R. Tuttle: Hierarchical Correctness Proofs for Distributed Algorithms. PODC 1987: 137-151 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
...
[7]
...
[8]
David P. Reed: Implementing Atomic Actions on Decentralized Data. ACM Trans. Comput. Syst. 1(1): 3-23(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
...
[10]
...
[11]
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

Referenced by

  1. Kenneth J. Goldman, Nancy A. Lynch: Quorum Consensus in Nested Transaction Systems. ACM Trans. Database Syst. 19(4): 537-585(1994)
  2. Alan Fekete, Nancy A. Lynch, William E. Weihl: Hybrid Atomicity for Nested Transactions. ICDT 1992: 216-230
  3. John K. Lee, Alan Fekete: Multi-Granularity Locking for Nested Transaction Systems. MFDBS 1991: 160-172
  4. Alan Fekete, Nancy A. Lynch, William E. Weihl: A Serialization Graph Construction for Nested Transactions. PODS 1990: 94-108
  5. Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan Fekete: A Theory of Atomic Transactions. ICDT 1988: 41-71

Last update Fri Sep 14 17:38:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page