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
Referenced by
- Sharad Mehrotra, Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz:
Ensuring Consistency in Multidatabases by Preserving Two-Level Serializability.
ACM Trans. Database Syst. 23(2): 199-230(1998)
- Sharad Mehrotra, Henry F. Korth, Abraham Silberschatz:
Concurrency Control in Hierarchical Multidatabase Systems.
VLDB J. 6(2): 152-172(1997)
- Paul Ammann, Sushil Jajodia, Indrakshi Ray:
Applying Formal Methods to Semantic-Based Decomposition of Transactions.
ACM Trans. Database Syst. 22(2): 215-254(1997)
- Kun-Lung Wu, Philip S. Yu, Calton Pu:
Divergence Control Algorithms for Epsilon Serializability.
IEEE Trans. Knowl. Data Eng. 9(2): 262-274(1997)
- Silvia Nittel, Richard R. Muntz, Edmond Mesrobian:
geoPOM: A Heterogeneous Geoscientific Persistent Object System.
SSDBM 1997: 252-263
- Gustavo Alonso, Stephen Blott, Armin Fessler, Hans-Jörg Schek:
Correctness and Parallelism of Composite Systems.
PODS 1997: 197-208
- Kyungcheol Sohn, Songchun Moon:
Achieving High Degree of Concurrency in Multidatabase Transaction Scheduling.
DASFAA 1997: 531-540
- Krithi Ramamritham, Panos K. Chrysanthis:
A Taxonomy of Correctness Criteria in Database Applications.
VLDB J. 5(1): 85-97(1996)
- Dimitrios Georgakopoulos, Mark F. Hornick, Frank Manola:
Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation.
IEEE Trans. Knowl. Data Eng. 8(4): 630-649(1996)
- Claire Morpain, Michèle Cart, Jean Ferrié, Jean-François Pons:
Maintaining Database Consistency in Presence of Value Dependencies in Multidatabase Systems.
SIGMOD Conference 1996: 459-468
- Vadim V. Doubrovski:
Key Integrity for Cooperative Database Environments with Stationary and Mobile Hosts.
ADBIS 1996: 134-140
- Krithi Ramamritham, Calton Pu:
A Formal Characterization of Epsilon Serializability.
IEEE Trans. Knowl. Data Eng. 7(6): 997-1007(1995)
- Weiyi Meng, Clement T. Yu, Won Kim:
A Theory of Translation From Relational Queries to Hierarchical Queries.
IEEE Trans. Knowl. Data Eng. 7(2): 228-245(1995)
- Evaggelia Pitoura, Omran A. Bukhres, Ahmed K. Elmagarmid:
Object Orientation in Multidatabase Systems.
ACM Comput. Surv. 27(2): 141-195(1995)
- Paul Ammann, Sushil Jajodia, Indrakshi Ray:
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions.
VLDB 1995: 218-227
- Silvio Salza, Giovanni Barone, Tadeusz Morzy:
Distributed Query Optimization in Loosly Coupled Multidatabase Systems.
ICDT 1995: 40-53
- Dimitrios Georgakopoulos, Marek Rusinkiewicz, Witold Litwin:
Chronological Scheduling of Transactions with Temporal Dependencies.
VLDB J. 3(1): 1-28(1994)
- Daniel Barbará, Hector Garcia-Molina:
The Demarcation Protocol: A Technique for Maintaining Constraints in Distributed Database Systems.
VLDB J. 3(3): 325-353(1994)
- Panos K. Chrysanthis, Krithi Ramamritham:
Synthesis of Extended Transaction Models Using ACTA.
ACM Trans. Database Syst. 19(3): 450-491(1994)
- Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth:
Using Tickets to Enforce the Serializability of Multidatabase Transactions.
IEEE Trans. Knowl. Data Eng. 6(1): 166-180(1994)
- Mourad Ouzzani, M. A. Atroun, N. L. Belkhodja:
A Top-Down Approach for Two Level Serializability.
VLDB 1994: 226-237
- Aidong Zhang, Ahmed K. Elmagarmid:
A Theory of Global Concurrency Control in Multidatabase Systems.
VLDB J. 2(3): 331-360(1993)
- Weimin Du, Ahmed K. Elmagarmid, Won Kim, Omran A. Bukhres:
Support Consistent Updates in Replicated Multidatabase Systems.
VLDB J. 2(2): 215-241(1993)
- Omran A. Bukhres, eva Kühn, Franz Puntigam:
A Language Multidatabase System Communication Protocol.
ICDE 1993: 633-640
- David K. Hsiao:
Federated Databases and Systems: Part I - A Tutorial on Their Data Sharing.
VLDB J. 1(1): 127-179(1992)
- Pamela Drew, Roger King, Dennis Heimbigner:
A Toolkit for the Incremental Implementation of Heterogeneous Database Management Systems.
VLDB J. 1(2): 241-284(1992)
- Yuri Breitbart, Abraham Silberschatz, Glenn R. Thompson:
Transaction Management Issues in a Failure-Prone Multidatabase System Environment.
VLDB J. 1(1): 1-39(1992)
- Yuri Breitbart, Hector Garcia-Molina, Abraham Silberschatz:
Overview of Multidatabase Transaction Management.
VLDB J. 1(2): 181-239(1992)
- Mansoor Ansari, Linda Ness, Marek Rusinkiewicz, Amit P. Sheth:
Using Flexible Transactions to Support Multi-System Telecommunication Applications.
VLDB 1992: 65-76
- Sharad Mehrotra, Rajeev Rastogi, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz:
Ensuring Transaction Atomicity in Multidatabase Systems.
PODS 1992: 164-175
- Kun-Lung Wu, Philip S. Yu, Calton Pu:
Divergence Control for Epsilon-Serializability.
ICDE 1992: 506-515
- Jari Veijalainen, Antoni Wolski:
Prepare and Commit Certification for Decentralized Transaction Management in Rigorous Heterogeneous Multidatabases.
ICDE 1992: 470-479
- P. C. Aristides, Amr El Abbadi:
Fast Read-Only Transactions in Replicated Databases.
ICDE 1992: 246-253
- Daniel Barbará, Hector Garcia-Molina:
The Demarcation Protocol: A Technique for Maintaining Linear Arithmetic Constraints in Distributed Database Systems.
EDBT 1992: 373-388
- Eliezer Levy, Henry F. Korth, Abraham Silberschatz:
An Optimistic Commit Protocol for Distributed Transaction Management.
SIGMOD Conference 1991: 88-97
- Peter Muth, Thomas C. Rakow:
Atomic Commitment for Integrated Database Systems.
ICDE 1991: 296-304
- Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth:
On Serializability of Multidatabase Transactions Through Forced Local Conflicts.
ICDE 1991: 314-323
- Weimin Du, Ahmed K. Elmagarmid, Won Kim:
Maintaining Quasi Serializability in Multidatabase Systems.
ICDE 1991: 360-367
- Amit P. Sheth, James A. Larson:
Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases.
ACM Comput. Surv. 22(3): 183-236(1990)
- Yuri Breitbart, Abraham Silberschatz, Glenn R. Thompson:
Reliable Transaction Management in a Multidatabase System.
SIGMOD Conference 1990: 215-224
- Ahmed K. Elmagarmid, Weimin Du:
A Paradigm for Concurrency Control in Heterogeneous Distributed Database Systems.
ICDE 1990: 37-46
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: Sat May 16 23:45:41 2009