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}
}
BibTeX
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 ...
BibTeX
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
BibTeX
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) BibTeX
- [BHG87]
- Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman:
Concurrency Control and Recovery in Database Systems.
Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX
- [BS88]
- Yuri Breitbart, Abraham Silberschatz:
Multidatabase Update Issues.
SIGMOD Conference 1988: 135-142 BibTeX
- [BSW88]
- Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum:
Multi-Level Transaction Management, Theoretical Art or Practical Need ?
EDBT 1988: 134-154 BibTeX
- [DELO88]
- ...
- [ED89]
- ...
- [EH88]
- Ahmed K. Elmagarmid, Abdelsalam Helal:
Supporting Updates in Heterogeneous Distributed Database Systems.
ICDE 1988: 564-569 BibTeX
- [EV87]
- ...
- [GL84]
- ...
- [GP86]
- Virgil D. Gligor, Radu Popescu-Zeletin:
Transaction management in distributed heterogeneous database management systems.
Inf. Syst. 11(4): 287-297(1986) BibTeX
- [KS88]
- Henry F. Korth, Gregory D. Speegle:
Formal Model of Correctness Without Serializability.
SIGMOD Conference 1988: 379-386 BibTeX
- [LEM88]
- ...
- [Pu86]
- Calton Pu:
Superdatabases for Composition of Heterogeneous Databases.
ICDE 1988: 548-555 BibTeX
- [SLR76]
- Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz:
Concurrency Control for Database Systems.
FOCS 1976: 19-32 BibTeX
- [Sug87]
- Kazuo Sugihara:
Concurrency Control Based on Distributed Cycle Detection.
ICDE 1987: 267-274 BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Fri Oct 3 22:47:03 2008