Design and Performance of an Assertional Concurrency Control System.
Arthur J. Bernstein, David Scott Gerstl, Wai-Hong Leung, Philip M. Lewis:
Design and Performance of an Assertional Concurrency Control System.
ICDE 1998: 436-445@inproceedings{DBLP:conf/icde/BernsteinGLL98,
author = {Arthur J. Bernstein and
David Scott Gerstl and
Wai-Hong Leung and
Philip M. Lewis},
title = {Design and Performance of an Assertional Concurrency Control
System},
booktitle = {Proceedings of the Fourteenth International Conference on Data
Engineering, February 23-27, 1998, Orlando, Florida, USA},
publisher = {IEEE Computer Society},
year = {1998},
isbn = {0-8186-8289-2},
pages = {436-445},
ee = {db/conf/icde/BernsteinGLL98.html},
crossref = {DBLP:conf/icde/98},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1998 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 2 Issue 7, ICDE 1996-1998, PDIS, Hypertext, ACL DL" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Proceedings of the Fourteenth International Conference on Data Engineering, February 23-27, 1998, Orlando, Florida, USA.
IEEE Computer Society 1998, ISBN 0-8186-8289-2
Contents BibTeX
References
- [1]
- Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh:
Consistency and Orderability: Semantics-Based Correctness Criteria for Databases.
ACM Trans. Database Syst. 18(3): 460-486(1993) BibTeX
- [2]
- Paul Ammann, Sushil Jajodia, Indrakshi Ray:
Applying Formal Methods to Semantic-Based Decomposition of Transactions.
ACM Trans. Database Syst. 22(2): 215-254(1997) BibTeX
- [3]
- B. R. Badrinath, Krithi Ramamritham:
Semantics-Based Concurrency Control: Beyond Commutativity.
ACM Trans. Database Syst. 17(1): 163-199(1992) BibTeX
- [4]
- ...
- [5]
- Arthur J. Bernstein, Philip M. Lewis:
Transaction Decomposition Using Transaction Semantics.
Distributed and Parallel Databases 4(1): 25-47(1996) BibTeX
- [6]
- Ahmed K. Elmagarmid (Ed.):
Database Transaction Models for Advanced Applications.
Morgan Kaufmann 1992, ISBN 1-55860-214-3
Contents BibTeX
- [7]
- 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) BibTeX
- [8]
- Abdel Aziz Farrag, M. Tamer Özsu:
Using Semantic Knowledge of Transactions to Increase Concurrency.
ACM Trans. Database Syst. 14(4): 503-525(1989) BibTeX
- [9]
- Hector Garcia-Molina:
Using Semantic Knowledge for Transaction Processing in Distributed Database.
ACM Trans. Database Syst. 8(2): 186-213(1983) BibTeX
- [10]
- Hector Garcia-Molina, Kenneth Salem:
Sagas.
SIGMOD Conference 1987: 249-259 BibTeX
- [11]
- ...
- [12]
- George T. Heineman, Gail E. Kaiser:
The CORD Appraoch to Extensible Concurrency Control.
ICDE 1997: 562-571 BibTeX
- [13]
- Maurice Herlihy:
Apologizing Versus Asking Permission: Optimistic Concurrency Control for Abstract Data Types.
ACM Trans. Database Syst. 15(1): 96-124(1990) BibTeX
- [14]
- C. A. R. Hoare:
An Axiomatic Basis for Computer Programming.
Commun. ACM 12(10): 576-580(1969) BibTeX
- [15]
- Henry F. Korth, Won Kim, François Bancilhon:
On Long-Duration CAD Transactions.
Inf. Sci. 46(1-2): 73-107(1988) BibTeX
- [16]
- Nancy A. Lynch:
Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control.
ACM Trans. Database Syst. 8(4): 484-502(1983) BibTeX
- [17]
- ...
- [18]
- Susan S. Owicki, David Gries:
An Axiomatic Proof Technique for Parallel Programs I.
Acta Inf. 6: 319-340(1976) BibTeX
- [19]
- Rajeev Rastogi, Sharad Mehrotra, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz:
On Correctness of Non-serializable Executions.
PODS 1993: 97-108 BibTeX
- [20]
- ...
- [21]
- Lui Sha, John P. Lehoczky, E. Douglas Jensen:
Modular Concurrency Control and Failure Recovery.
IEEE Trans. Computers 37(2): 146-159(1988) BibTeX
- [22]
- Dennis Shasha, François Llirbat, Eric Simon, Patrick Valduriez:
Transaction Chopping: Algorithms and Performance Studies.
ACM Trans. Database Syst. 20(3): 325-363(1995) BibTeX
- [23]
- ...
- [24]
- Helmut Wächter, Andreas Reuter:
The ConTract Model.
Database Transaction Models for Advanced Applications 1992: 219-263 BibTeX
- [25]
- William E. Weihl:
Commutativity-Based Concurrency Control for Abstract Data Types.
IEEE Trans. Computers 37(12): 1488-1505(1988) BibTeX
- [26]
- Gerhard Weikum:
Principles and Realization Strategies of Multilevel Transaction Management.
ACM Trans. Database Syst. 16(1): 132-180(1991) BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
ICDE Proceedings: Copyright © by IEEE,
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:18:39 2009