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

Safety of Non-Well-Locked Trasnaction Systems.

Jianwen Su: Safety of Non-Well-Locked Trasnaction Systems. PODS 1986: 47-52
@inproceedings{DBLP:conf/pods/Su86,
  author    = {Jianwen Su},
  title     = {Safety of Non-Well-Locked Trasnaction Systems},
  booktitle = {Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles
               of Database Systems, March 24-26, 1986, Cambridge, Massachusetts},
  publisher = {ACM},
  year      = {1986},
  isbn      = {0-89791-179-2},
  pages     = {47-52},
  ee        = {http://doi.acm.org/10.1145/6012.15403, db/conf/pods/Su86.html},
  crossref  = {DBLP:conf/pods/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

When databases are larger and larger, concurrency control becomes more and more important. Locking is widely used in database concurrency control. Almost all researches in the locking field are focused on well-locking. In this paper, the safety of non-well-locked transaction systems is characterized. We give here the necessary and sufficient conditions of safety for both two- and multi-transaction systems and apply them to 2PL transaction systems. Also, we give an example showing that the conjecture in [Y2] is not true. A restricted. class of non-well-locked systems for which the conjecture holds is described.

Copyright © 1986 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 ... BibTeX

Printed Edition

Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24-26, 1986, Cambridge, Massachusetts. ACM 1986, ISBN 0-89791-179-2
Contents BibTeX

Online Edition: ACM Digital Library


References

[BG1]
...
[BG2]
Philip A. Bernstein, Nathan Goodman: Concurrency Control in Distributed Database Systems. ACM Comput. Surv. 13(2): 185-221(1981) BibTeX
[BSW]
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) BibTeX
[EGLP]
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
[FKS]
Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz: A Theory of Correct Locking Protocols for Database Systems. VLDB 1981: 112-124 BibTeX
[KS1]
Zvi M. Kedem, Abraham Silberschatz: A Characterization of Database Graphs Admitting a Simple Locking Protocol. Acta Inf. 16: 1-13(1981) BibTeX
[KS2]
Zvi M. Kedem, Abraham Silberschatz: Locking Protocols: From Exclusive to Shared Locks. J. ACM 30(4): 787-804(1983) BibTeX
[P1]
Christos H. Papadimitriou: The serializability of concurrent database updates. J. ACM 26(4): 631-653(1979) BibTeX
[P2]
Christos H. Papadimitriou: Concurrency Control by Locking. SIAM J. Comput. 12(2): 215-226(1983) BibTeX
[P3]
...
[PBR]
...
[S1]
...
[S2]
...
[SK]
Abraham Silberschatz, Zvi M. Kedem: Consistency in Hierarchical Database Systems. J. ACM 27(1): 72-80(1980) BibTeX
[W]
Ouri Wolfson: Locking Policies in Distributed Databases. ICDE 1984: 315-322 BibTeX
[Y1]
Mihalis Yannakakis: Freedom from Deadlock of Safe Locking Policies. SIAM J. Comput. 11(2): 391-408(1982) BibTeX
[Y2]
Mihalis Yannakakis: A Theory of Safe Locking Policies in Database Systems. J. ACM 29(3): 718-740(1982) BibTeX
[Y3]
Mihalis Yannakakis: Serializability by Locking. J. ACM 31(2): 227-244(1984) BibTeX
[YKP]
Mihalis Yannakakis, Christos H. Papadimitriou, H. T. Kung: Locking Policies: Safety and Freedom from Deadlock. FOCS 1979: 286-297 BibTeX

Referenced by

  1. 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]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:33:48 2009