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

On the Correctness of a Local Storage Subsystem.

Marco A. Casanova, Arnaldo V. Moura, Luiz Tucherman: On the Correctness of a Local Storage Subsystem. PODS 1985: 123-134
@inproceedings{DBLP:conf/pods/CasanovaMT85,
  author    = {Marco A. Casanova and
               Arnaldo V. Moura and
               Luiz Tucherman},
  title     = {On the Correctness of a Local Storage Subsystem},
  booktitle = {Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles
               of Database Systems, March 25-27, 1985, Portland, Oregon, USA},
  publisher = {ACM},
  year      = {1985},
  isbn      = {0-89791-153-9},
  pages     = {123-134},
  ee        = {http://doi.acm.org/10.1145/325405.325420, db/conf/pods/CasanovaMT85.html},
  crossref  = {DBLP:conf/pods/85},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

The design of a provably correct local storage subsystem that integrates local reliability and concurrency control is analysed. The description of the reliability and concurrency control strategies, as well as the correctness proof, is divided into successive layers of abstraction. The reliability correctness criterion adopted requires that the last certified version and all saved versions of each page always be safely kept by the subsystem. The concurrency correctness criterion is an adaptation of multi-version serializability that reflects reliability requirements.

Copyright © 1985 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 Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 25-27, 1985, Portland, Oregon, USA. ACM 1985, ISBN 0-89791-153-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Online Edition: ACM Digital Library


References

[ABG]
Rony Attar, Philip A. Bernstein, Nathan Goodman: Site Initialization, Recovery, and Back-Up in a Distributed Database System. Berkeley Workshop 1982: 185-202 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BBGLS]
Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Concurrency Control Theory for Nested Transactions. PODC 1983: 45-62 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Be]
...
[BG1]
Philip A. Bernstein, Nathan Goodman: Multiversion Concurrency Control - Theory and Algorithms. ACM Trans. Database Syst. 8(4): 465-483(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BG2]
Philip A. Bernstein, Nathan Goodman: The Failure and Recovery Problem for Replicated Databases. PODC 1983: 114-122 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BGH]
...
[BHR]
Rudolf Bayer, Hans Heller, Angelika Reiser: Parallelism and Recovery in Database Systems. ACM Trans. Database Syst. 5(2): 139-156(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ca]
...
[CFLNR]
Arvola Chan, Stephen Fox, Wen-Te K. Lin, Anil Nori, Daniel R. Ries: The Implementation of an Integrated Concurrency Control and Recovery Scheme. SIGMOD Conference 1982: 184-191 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gr]
Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[GMBL]
Jim Gray, Paul R. McJones, Mike W. Blasgen, Bruce G. Lindsay, Raymond A. Lorie, Thomas G. Price, Gianfranco R. Putzolu, Irving L. Traiger: The Recovery Manager of the System R Database Manager. ACM Comput. Surv. 13(2): 223-243(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[GCDFRS]
Nathan Goodman, Dale Skeen, Arvola Chan, Umeshwar Dayal, Stephen Fox, Daniel R. Ries: A Recovery Algorithm for a Distributed Database System. PODS 1983: 8-15 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ha1]
Vassos Hadzilacos: An Operational Model for Database System Reliability. PODS 1983: 244-257 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ha2]
Vassos Hadzilacos: An Algorithm for Minimizing Roll Back Cost. PODS 1982: 93-97 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HR]
...
[HS]
Michael Hammer, David W. Shipman: Reliability Mechanisms for SDD-1: A System for Distributed Databases. ACM Trans. Database Syst. 5(4): 431-466(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ke]
Robert M. Keller: Formal Verification of Parallel Programs. Commun. ACM 19(7): 371-384(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ko]
Walter H. Kohler: A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems. ACM Comput. Surv. 13(2): 149-183(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[La]
Leslie Lamport: Proving the Correctness of Multiprocess Programs. IEEE Trans. Software Eng. 3(2): 125-143(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Li]
...
[Lo]
Raymond A. Lorie: Physical Integrity in a Large Segmented Database. ACM Trans. Database Syst. 2(1): 91-104(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ly]
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
[Ow]
...
[PK]
Christos H. Papadimitriou, Paris C. Kanellakis: On Concurrency Control by Multiple Versions. ACM Trans. Database Syst. 9(1): 89-99(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[PPRS]
Douglas Stott Parker Jr., Gerald J. Popek, Gerard Rudisin, Allen Stoughton, Bruce J. Walker, Evelyn Walton, Johanna M. Chow, David A. Edwards, Stephen Kiser, Charles S. Kline: Detection of Mutual Inconsistency in Distributed Systems. IEEE Trans. Software Eng. 9(3): 240-247(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Re]
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
[RH]
Theo Härder, Andreas Reuter: Principles of Transaction-Oriented Database Recovery. ACM Comput. Surv. 15(4): 287-317(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SR]
Richard Edwin Stearns, Daniel J. Rosenkrantz: Distributed Database Concurrency Controls Using Before-Values. SIGMOD Conference 1981: 74-83 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[TGGL]
Irving L. Traiger, Jim Gray, Cesare A. Galtieri, Bruce G. Lindsay: Transactions and Consistency in Distributed Database Systems. ACM Trans. Database Syst. 7(3): 323-342(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ve]
Joost Verhofstad: Recovery Techniques for Database Systems. ACM Comput. Surv. 10(2): 167-195(1978) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Fri Sep 14 17:28:25 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