Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase.
Weimin Du, Ahmed K. Elmagarmid:
Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase.
VLDB 1989: 347-355@inproceedings{DBLP:conf/vldb/DuE89,
author = {Weimin Du and
Ahmed K. Elmagarmid},
editor = {Peter M. G. Apers and
Gio Wiederhold},
title = {Quasi Serializability: a Correctness Criterion for Global Concurrency
Control in InterBase},
booktitle = {Proceedings of the Fifteenth International Conference on Very
Large Data Bases, August 22-25, 1989, Amsterdam, The Netherlands},
publisher = {Morgan Kaufmann},
year = {1989},
isbn = {1-55860-101-5},
pages = {347-355},
ee = {db/conf/vldb/DuE89.html},
crossref = {DBLP:conf/vldb/89},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Abstract
In this paper, we introduce Quasi Serializability, a correctness criterion for concurrency control in heterogeneous distributed database environments.
A global history is quasi serializable if it is (conflict) equivalent to a quasi serial history in which global transactions are submitted serially.
Quasi serializability theory is an extension of serializability.
We study the relationships between serializability and quasi serializability and the reasons quasi serializability can be used as a correctness criterion in heterogeneous distributed database environments.
We also use quasi serializability theory to give a correctness proof for an altruistic locking algorithm.
Copyright © 1989 by the VLDB Endowment.
Permission to copy without fee all or part of this material is granted provided that the copies are not made or
distributed for direct commercial advantage, the VLDB
copyright notice and the title of the publication and
its date appear, and notice is given that copying
is by the permission of the Very Large Data Base
Endowment. To copy otherwise, or to republish, requires
a fee and/or special permission from the Endowment.
Online Paper
CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
Printed Edition
Peter M. G. Apers, Gio Wiederhold (Eds.):
Proceedings of the Fifteenth International Conference on Very Large Data Bases, August 22-25, 1989, Amsterdam, The Netherlands.
Morgan Kaufmann 1989, ISBN 1-55860-101-5
References
- [AGS87]
- Rafael Alonso, Hector Garcia-Molina, Kenneth Salem:
Concurrency Control and Recovery for Global Procedures in Federated Database Systems.
IEEE Data Eng. Bull. 10(3): 5-11(1987)
- [BHG87]
- Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman:
Concurrency Control and Recovery in Database Systems.
Addison-Wesley 1987, ISBN 0-201-10715-5
Contents - [BS88]
- Yuri Breitbart, Abraham Silberschatz:
Multidatabase Update Issues.
SIGMOD Conference 1988: 135-142
- [BSW88]
- Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum:
Multi-Level Transaction Management, Theoretical Art or Practical Need ?
EDBT 1988: 134-154
- [DELO88]
- ...
- [ED89]
- ...
- [EH88]
- Ahmed K. Elmagarmid, Abdelsalam Helal:
Supporting Updates in Heterogeneous Distributed Database Systems.
ICDE 1988: 564-569
- [EV87]
- ...
- [GL84]
- ...
- [GP86]
- Virgil D. Gligor, Radu Popescu-Zeletin:
Transaction management in distributed heterogeneous database management systems.
Inf. Syst. 11(4): 287-297(1986)
- [KS88]
- Henry F. Korth, Gregory D. Speegle:
Formal Model of Correctness Without Serializability.
SIGMOD Conference 1988: 379-386
- [LEM88]
- ...
- [Pu86]
- Calton Pu:
Superdatabases for Composition of Heterogeneous Databases.
ICDE 1988: 548-555
- [SLR76]
- Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz:
Concurrency Control for Database Systems.
FOCS 1976: 19-32
- [Sug87]
- Kazuo Sugihara:
Concurrency Control Based on Distributed Cycle Detection.
ICDE 1987: 267-274
Copyright © Tue Mar 16 02:22:00 2010
by Michael Ley (ley@uni-trier.de)