Safe Locking Policies for Dynamic Databases.

Vinay K. Chaudhri, Vassos Hadzilacos: Safe Locking Policies for Dynamic Databases. PODS 1995: 233-244

@inproceedings{DBLP:conf/pods/ChaudhriH95,
  author    = {Vinay K. Chaudhri and
               Vassos Hadzilacos},
  title     = {Safe Locking Policies for Dynamic Databases},
  booktitle = {Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, May 22-25, 1995, San Jose,
               California},
  publisher = {ACM Press},
  year      = {1995},
  isbn      = {0-89791-730-8},
  pages     = {233-244},
  ee        = {http://doi.acm.org/10.1145/212433.212464, db/conf/pods/ChaudhriH95.html},
  crossref  = {DBLP:conf/pods/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

It was shown by Yannakakis that a locking policy is not safe if and only if there exists a canonical non-serializable schedule of transactions running according to the rules of the policy in which all the transactions except one are executed serially [Yan82]. In the present paper, we study the generalization of this result to a dynamic database, that is, a database that may undergo insertions and deletions of entities. We illustrate the utility of this generalization by applying it to obtain correctness proofs of three locking policies that handle dynamic databases.

Copyright © 1995 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 ...

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
UNIX/LINUX/Mac: use mount point /pods8298/... or /cdrom/...

Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. 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
UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

Printed Edition

Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 22-25, 1995, San Jose, California. ACM Press 1995, ISBN 0-89791-730-8
Contents

Online Edition: ACM Digital Library

[Index Terms]
[Full Text in PDF Format, 1245 KB]

References

[AA90]: Divyakant Agrawal, Amr El Abbadi: Locks with Constrained Sharing. PODS 1990: 85-93
[Cha95]: ...
[CHM92]: Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos: Concurrency Control for Knowledge Bases. KR 1992: 762-773
[CHMS94]: Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos, Kenneth C. Sevcik: Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System. CIKM 1994: 122-131
[CM86]: Albert Croker, David Maier: A Dynamic Tree-Locking Protocol. ICDE 1986: 49-56
[dFRH94]: Fernando de Ferreira Rezende, Theo Härder: A Lock Method for KBMSs Using Abstraction Relationships' Semantics. CIKM 1994: 112-121
[EGLT76]: 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)
[KS83]: Zvi M. Kedem, Abraham Silberschatz: Locking Protocols: From Exclusive to Shared Locks. J. ACM 30(4): 787-804(1983)
[PaP79]: Christos H. Papadimitriou: The serializability of concurrent database updates. J. ACM 26(4): 631-653(1979)
[SGMS94]: Kenneth Salem, Hector Garcia-Molina, Jeannie Shands: Altruistic Locking. ACM Trans. Database Syst. 19(1): 117-165(1994)
[SK80]: Abraham Silberschatz, Zvi M. Kedem: Consistency in Hierarchical Database Systems. J. ACM 27(1): 72-80(1980)
[SWY93]: Hans-Jörg Schek, Gerhard Weikum, Haiyan Ye: Towards a Unified Theory of Concurrency Control and Recovery. PODS 1993: 300-311
[Yan82]: Mihalis Yannakakis: A Theory of Safe Locking Policies in Database Systems. J. ACM 29(3): 718-740(1982)