The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept.
Henry F. Korth:
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept.
VLDB 1995: 2-6@inproceedings{DBLP:conf/vldb/Korth95,
author = {Henry F. Korth},
editor = {Umeshwar Dayal and
Peter M. D. Gray and
Shojiro Nishio},
title = {The Double Life of the Transaction Abstraction: Fundamental Principle
and Evolving System Concept},
booktitle = {VLDB'95, Proceedings of 21th International Conference on Very
Large Data Bases, September 11-15, 1995, Zurich, Switzerland},
publisher = {Morgan Kaufmann},
year = {1995},
isbn = {1-55860-379-4},
pages = {2-6},
ee = {db/conf/vldb/Korth95.html},
crossref = {DBLP:conf/vldb/95},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Abstract
The transaction concept in computing goes back to the early days of computerized data processing.
It has developed and evolved over the years both in terms of formal theoryand practical application.
This evolutionary process has been driven in large part by applications that require transaction-like properties.
Newly emerging applications include several that involve people in a time-dependent role.
The new forms of human involvement in transaction processing required by these applications are generating new systems-level challenges.
Likewise, these needs present challenges and opportunities from a theoretical standpoint.
This talk reviews the history of synergy between theory and practice in the area of transaction processing, and considers currently emerging needs from that perspective.
Copyright © 1995 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
Umeshwar Dayal, Peter M. D. Gray, Shojiro Nishio (Eds.):
VLDB'95, Proceedings of 21th International Conference on Very Large Data Bases, September 11-15, 1995, Zurich, Switzerland.
Morgan Kaufmann 1995, ISBN 1-55860-379-4
Contents
References
- [BBG89]
- Catriel Beeri, Philip A. Bernstein, Nathan Goodman:
A model for concurrency in nested transactions systems.
J. ACM 36(2): 230-269(1989)
- [BDG+94]
- Alexandros Biliris, Shaul Dar, Narain H. Gehani, H. V. Jagadish, Krithi Ramamritham:
ASSET: A System for Supporting Extended Transactions.
SIGMOD Conference 1994: 44-54
- [BG80]
- Philip A. Bernstein, Nathan Goodman:
Timestamp-Based Algorithms for Concurrency Control in Distributed Database Systems.
VLDB 1980: 285-300
- [BGMS92]
- Yuri Breitbart, Hector Garcia-Molina, Abraham Silberschatz:
Overview of Multidatabase Transaction Management.
VLDB J. 1(2): 181-239(1992)
- [BHG87]
- Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman:
Concurrency Control and Recovery in Database Systems.
Addison-Wesley 1987, ISBN 0-201-10715-5
Contents - [Bjo73]
- ...
- [BKK85]
- François Bancilhon, Won Kim, Henry F. Korth:
A Model of CAD Transactions.
VLDB 1985: 25-33
- [BR92]
- B. R. Badrinath, Krithi Ramamritham:
Semantics-Based Concurrency Control: Beyond Commutativity.
ACM Trans. Database Syst. 17(1): 163-199(1992)
- [BSJ80]
- Philip A. Bernstein, David W. Shipman, James B. Rothnie Jr.:
Concurrency Control in a System for Distributed Databases (SDD-1).
ACM Trans. Database Syst. 5(1): 18-51(1980)
- [CAB+81]
- Donald D. Chamberlin, Morton M. Astrahan, Mike W. Blasgen, Jim Gray, W. Frank King III, Bruce G. Lindsay, Raymond A. Lorie, James W. Mehl, Thomas G. Price, Gianfranco R. Putzolu, Patricia G. Selinger, Mario Schkolnick, Donald R. Slutz, Irving L. Traiger, Bradford W. Wade, Robert A. Yost:
A History and Evaluation of System R.
Commun. ACM 24(10): 632-646(1981)
- [Dav73]
- ...
- [EGLT76]
- 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)
- [Elm92]
- Ahmed K. Elmagarmid (Ed.):
Database Transaction Models for Advanced Applications.
Morgan Kaufmann 1992, ISBN 1-55860-214-3
Contents - [EMS91]
- ...
- [GLPT75]
- ...
- [GM83]
- Hector Garcia-Molina:
Using Semantic Knowledge for Transaction Processing in Distributed Database.
ACM Trans. Database Syst. 8(2): 186-213(1983)
- [GMS87]
- Hector Garcia-Molina, Kenneth Salem:
Sagas.
SIGMOD Conference 1987: 249-259
- [GR93]
- Jim Gray, Andreas Reuter:
Transaction Processing: Concepts and Techniques.
Morgan Kaufmann 1993, ISBN 1-55860-190-2
Contents - [Gra78]
- Jim Gray:
Notes on Data Base Operating Systems.
Advanced Course: Operating Systems 1978: 393-481
- [Gra81]
- Jim Gray:
The Transaction Concept: Virtues and Limitations (Invited Paper).
VLDB 1981: 144-154
- [IK95]
- ...
- [KKB88]
- ...
- [KLMP84]
- Won Kim, Raymond A. Lorie, Dan McNabb, Wil Plouffe:
A Transaction Mechanism for Engineering Design Databases.
VLDB 1984: 355-362
- [Kor83]
- Henry F. Korth:
Locking Primitives in a Database System.
J. ACM 30(1): 55-79(1983)
- [KR81]
- H. T. Kung, John T. Robinson:
On Optimistic Methods for Concurrency Control.
ACM Trans. Database Syst. 6(2): 213-226(1981)
- [KS94]
- Henry F. Korth, Gregory D. Speegle:
Formal Aspects of Concurrency Control in Long-Duration Transaction Systems Using the NT/PV Model.
ACM Trans. Database Syst. 19(3): 492-535(1994)
- [LKS91]
- Eliezer Levy, Henry F. Korth, Abraham Silberschatz:
A Theory of Relaxed Atomicity (Extended Abstract).
PODC 1991: 95-109
- [LMWF94]
- ...
- [MHL+92]
- C. Mohan, Donald J. Haderle, Bruce G. Lindsay, Hamid Pirahesh, Peter M. Schwarz:
ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging.
ACM Trans. Database Syst. 17(1): 94-162(1992)
- [Mos87]
- ...
- [ÖzsuV91]
- M. Tamer Özsu, Patrick Valduriez:
Principles of Distributed Database Systems.
Prentice-Hall 1991, ISBN 0-13-715681-2
- [Pap79]
- Christos H. Papadimitriou:
The serializability of concurrent database updates.
J. ACM 26(4): 631-653(1979)
- [Pap83]
- ...
- [Pap86]
- ...
- [Ree83]
- David P. Reed:
Implementing Atomic Actions on Decentralized Data.
ACM Trans. Comput. Syst. 1(1): 3-23(1983)
- [SK80]
- Abraham Silberschatz, Zvi M. Kedem:
Consistency in Hierarchical Database Systems.
J. ACM 27(1): 72-80(1980)
- [Sto86]
- ...
- [Wei88]
- William E. Weihl:
Commutativity-Based Concurrency Control for Abstract Data Types.
IEEE Trans. Computers 37(12): 1488-1505(1988)
- [Yan82]
- Mihalis Yannakakis:
A Theory of Safe Locking Policies in Database Systems.
J. ACM 29(3): 718-740(1982)
Copyright © Tue Mar 16 02:22:04 2010
by Michael Ley (ley@uni-trier.de)