dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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        = {http://www.vldb.org/conf/1989/P347.PDF},
  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.


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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BHG87]
Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BS88]
Yuri Breitbart, Abraham Silberschatz: Multidatabase Update Issues. SIGMOD Conference 1988: 135-142 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BSW88]
Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum: Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[DELO88]
...
[ED89]
...
[EH88]
Ahmed K. Elmagarmid, Abdelsalam Helal: Supporting Updates in Heterogeneous Distributed Database Systems. ICDE 1988: 564-569 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[EV87]
...
[GL84]
...
[GP86]
Virgil D. Gligor, Radu Popescu-Zeletin: Transaction management in distributed heterogeneous database management systems. Inf. Syst. 11(4): 287-297(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KS88]
Henry F. Korth, Gregory D. Speegle: Formal Model of Correctness Without Serializability. SIGMOD Conference 1988: 379-386 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LEM88]
...
[Pu86]
Calton Pu: Superdatabases for Composition of Heterogeneous Databases. ICDE 1988: 548-555 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SLR76]
Richard Edwin Stearns, Philip M. Lewis II, Daniel J. Rosenkrantz: Concurrency Control for Database Systems. FOCS 1976: 19-32 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sug87]
Kazuo Sugihara: Concurrency Control Based on Distributed Cycle Detection. ICDE 1987: 267-274 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Mon Sep 17 22:00:46 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page