Transaction Restarts in Prolog Database Systems.

Shridhar Acharya, Gael N. Buckley: Transaction Restarts in Prolog Database Systems. SIGMOD Conference 1985: 364-373

@inproceedings{DBLP:conf/sigmod/AcharyaB85,
  author    = {Shridhar Acharya and
               Gael N. Buckley},
  editor    = {Shamkant B. Navathe},
  title     = {Transaction Restarts in Prolog Database Systems},
  booktitle = {Proceedings of the 1985 ACM SIGMOD International Conference on
               Management of Data, Austin, Texas, May 28-31, 1985},
  publisher = {ACM Press},
  year      = {1985},
  pages     = {364-373},
  ee        = {http://doi.acm.org/10.1145/318898.318986, db/conf/sigmod/AcharyaB85.html},
  crossref  = {DBLP:conf/sigmod/85},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Abstract

This paper considers the problem of transaction restarts in a database system. When a transaction cannot be completed, most concurrency control mechanisms abort the transaction and reexecute the entire transaction. We propose an alternate scheme that allows a transaction to restart from an intermediate state. Restarting a failed transaction from an intermediate state can result in substantial reduction of unnecessary computation which would be done if the entire transaction were reexecuted. We introduce a notion of state and consistent state of a transaction, and present a scheme that restarts transactions from consistent intermediate states. A implementation of the scheme using Prolog as the query language is presented.

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.

ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/smod7592 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

BibTeX

Printed Edition

Shamkant B. Navathe (Ed.): Proceedings of the 1985 ACM SIGMOD International Conference on Management of Data, Austin, Texas, May 28-31, 1985. ACM Press 1985 BibTeX , SIGMOD Record 14(4)
Contents

Online Edition: ACM Digital Library

References

[1]: ...
[2]: Arthur J. Bernstein, Nathan Goodman: Concurrency Control Algorithms for Multiversion Database Systems. PODC 1982: 209-215 BibTeX
[3]: 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) BibTeX
[4]: Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
[5]: ...
[6]: H. T. Kung, John T. Robinson: On Optimistic Methods for Concurrency Control. ACM Trans. Database Syst. 6(2): 213-226(1981) BibTeX
[7]: Barbara Liskov, Robert Scheifler: Guardians and Actions: Linguistic Support for Robust, Distributed Programs. POPL 1982: 7-19 BibTeX
[8]: ...
[9]: ...
[10]: Edward Sciore, David Scott Warren: Towards an Integrated Database-Prolog System. Expert Database Workshop 1984: 293-305 BibTeX
[11]: Abraham Silberschatz, Zvi M. Kedem: Consistency in Hierarchical Database Systems. J. ACM 27(1): 72-80(1980) BibTeX
[12]: ...
[13]: David Scott Warren: Database Updates in Pure Prolog. FGCS 1984: 244-253 BibTeX
[14]: Mihalis Yannakakis: A Theory of Safe Locking Policies in Database Systems. J. ACM 29(3): 718-740(1982) BibTeX

Referenced by

Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents

BibTeX

ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]