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},
editor = {Avi Silberschatz},
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,
USA},
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}
}
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 ...
Printed Edition
Avi Silberschatz (Ed.):
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24-26, 1986, Cambridge, Massachusetts, USA.
ACM 1986, ISBN 0-89791-179-2
Contents 
References
- [BG1]
- ...
- [BG2]
- Philip A. Bernstein, Nathan Goodman:
Concurrency Control in Distributed Database Systems.
ACM Comput. Surv. 13(2): 185-221(1981)
- [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)
- [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)
- [FKS]
- Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz:
A Theory of Correct Locking Protocols for Database Systems.
VLDB 1981: 112-124
- [KS1]
- Zvi M. Kedem, Abraham Silberschatz:
A Characterization of Database Graphs Admitting a Simple Locking Protocol.
Acta Inf. 16: 1-13(1981)
- [KS2]
- Zvi M. Kedem, Abraham Silberschatz:
Locking Protocols: From Exclusive to Shared Locks.
J. ACM 30(4): 787-804(1983)
- [P1]
- Christos H. Papadimitriou:
The serializability of concurrent database updates.
J. ACM 26(4): 631-653(1979)
- [P2]
- Christos H. Papadimitriou:
Concurrency Control by Locking.
SIAM J. Comput. 12(2): 215-226(1983)
- [P3]
- ...
- [PBR]
- ...
- [S1]
- ...
- [S2]
- ...
- [SK]
- Abraham Silberschatz, Zvi M. Kedem:
Consistency in Hierarchical Database Systems.
J. ACM 27(1): 72-80(1980)
- [W]
- Ouri Wolfson:
Locking Policies in Distributed Databases.
ICDE 1984: 315-322
- [Y1]
- Mihalis Yannakakis:
Freedom from Deadlock of Safe Locking Policies.
SIAM J. Comput. 11(2): 391-408(1982)
- [Y2]
- Mihalis Yannakakis:
A Theory of Safe Locking Policies in Database Systems.
J. ACM 29(3): 718-740(1982)
- [Y3]
- Mihalis Yannakakis:
Serializability by Locking.
J. ACM 31(2): 227-244(1984)
- [YKP]
- Mihalis Yannakakis, Christos H. Papadimitriou, H. T. Kung:
Locking Policies: Safety and Freedom from Deadlock.
FOCS 1979: 286-297
Last update Thu May 24 04:40:23 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
