The Transaction Concept: Virtues and Limitations (Invited Paper).
Jim Gray:
The Transaction Concept: Virtues and Limitations (Invited Paper).
VLDB 1981: 144-154@inproceedings{DBLP:conf/vldb/Gray81,
author = {Jim Gray},
title = {The Transaction Concept: Virtues and Limitations (Invited Paper)},
booktitle = {Very Large Data Bases, 7th International Conference, September
9-11, 1981, Cannes, France, Proceedings},
publisher = {IEEE Computer Society},
year = {1981},
pages = {144-154},
ee = {db/conf/vldb/Gray81.html},
crossref = {DBLP:conf/vldb/81},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
A transaction is a transformation
of state which has the properties of
atomicity (all or nothing), durability
(effects survive failures) and consistency
(a correct transformation). The
transaction concept is key to the
structuring of data management
applications. The concept seems to have
applicability to programming systems in
general. This paper restates the
transaction concepts and attempts to put
several implementation approaches in
perspective. It then describes some areas
which require further study: (1) the
integration of the transaction concept with
the notion of abstract data type, (2) some
techniques to allow transactions to be
composed of sub-transactions, and (3)
handling transactions which last for
extremely long times (days or months).
Copyright © 1981 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings.
IEEE Computer Society 1981
Contents BibTeX
References
- [Alsberg]
- Peter Alsberg, J. D. Day:
A Principle for Resilient Sharing of Distributed Resources.
ICSE 1976: 562-570 BibTeX
- [Bartlett1]
- ...
- [Bartlett2]
- Joel F. Bartlett:
A NonStop Kernel.
SOSP 1981: 22-19 BibTeX
- [Beeri]
- Catriel Beeri, Ron Obermarck:
A Resource Class Independent Deadlock Detection Algorithm.
VLDB 1981: 166-178 BibTeX
- [Bernstein]
- 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) BibTeX
- [Borr]
- Andrea J. Borr:
Transaction Monitoring in ENCOMPASS: Reliable Distributed Transaction Processing.
VLDB 1981: 155-165 BibTeX
- [Davies and Bjork]
- ...
- [Bjork]
- ...
- [Eswaran]
- 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
- [Gray1]
- Jim Gray:
Notes on Data Base Operating Systems.
Advanced Course: Operating Systems 1978: 393-481 BibTeX
- [Gray2]
- Jim Gray:
A Transaction Model.
ICALP 1980: 282-298 BibTeX
- [Gray3]
- Jim Gray, Pete Homan, Henry F. Korth, Ron Obermarck:
A Straw Man Analysis of the Probability of Waiting and Deadlock in a Database System.
Berkeley Workshop 1981: 125 BibTeX
- [Heistand]
- ...
- [Japan]
- ...
- [Katzman]
- ...
- [Obermarck]
- ...
- [Randell]
- Brian Randell:
System Structure for Software Fault Tolerance.
IEEE Trans. Software Eng. 1(2): 221-232(1975) BibTeX
- [Reed1]
- ...
- [Reed2]
- David P. Reed:
Implementing Atomic Actions on Decentralized Data.
SOSP 1979: 163 BibTeX
- [Rosenkrantz]
- Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II:
System Level Concurrency Control for Distributed Database Systems.
ACM Trans. Database Syst. 3(2): 178-198(1978) BibTeX
- [Severance]
- Dennis G. Severance, Guy M. Lohman:
Differential Files: Their Application to the Maintenance of Large Databases.
ACM Trans. Database Syst. 1(3): 256-267(1976) BibTeX
- [Svobodova]
- ...
- [Von Neumann ]
- ...
- [Wood]
- ...
Referenced by
- Gunter Saake, Andreas Heuer:
Datenbanken: Implementierungstechniken.
MITP-Verlag 1999, ISBN 3-8266-0513-6
Contents - Tetsuya Furukawa, Haiyan Xu, Yihua Shi:
Supporting Collaborative Work by Process-Based Transaction Model.
ER Workshops 1998: 421-433
- D. Wildfogel, Ramana Yerneni:
Efficient Testing of High Performance Transaction Processing Systems.
VLDB 1997: 595-598
- Lars Bækgaard:
Transaction-Based Specification of Database Evolution.
ER 1997: 127-140
- Anthony J. Bonner:
Modular Composition of Transaction Programs with Deductive Databases.
DBPL 1997: 373-395
- Munindar P. Singh:
Synthesizing Distributed Constrained Events from Transactional Workflow.
ICDE 1996: 616-623
- Henry F. Korth:
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept.
VLDB 1995: 2-6
- Shailesh Agarwal, Arthur M. Keller, Gio Wiederhold, Krishna Saraswat:
Flexible Relation: An Approach for Integrating Data from Multiple, Possibly Inconsistent Databases.
ICDE 1995: 495-504
- Munindar P. Singh:
Semantical Considerations on Workflows: An Algebra for Intertask Dependencies.
DBPL 1995: 5
- Vram Kouramajian, Ross Dargahi, Jerry Fowler, Donald G. Baker:
Consortium: A Framework for Transaction Collaborative Environments.
CIKM 1995: 260-265
- Henrietta Dombrowska:
ARIES/NT Modified for Advanced Transactions Support.
ADBIS 1995: 43-51
- Dimitrios Georgakopoulos, Marek Rusinkiewicz, Witold Litwin:
Chronological Scheduling of Transactions with Temporal Dependencies.
VLDB J. 3(1): 1-28(1994)
- Kenneth Salem, Hector Garcia-Molina, Jeannie Shands:
Altruistic Locking.
ACM Trans. Database Syst. 19(1): 117-165(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)
- Divyakant Agrawal, Amr El Abbadi, A. E. Lang:
The Performance of Protocols Based on Locks with Ordered Sharing.
IEEE Trans. Knowl. Data Eng. 6(5): 805-818(1994)
- Paul W. P. J. Grefen, Rolf A. de By:
A Multi-Set Extended Relational Algebra - A Formal Approach to a Practical Issue.
ICDE 1994: 80-88
- Marek Rusinkiewicz, Amit P. Sheth:
Transactional Workflow Management in Distributed Systems (Invited Paper).
ADBIS 1994: 18-33
- Theo Härder, Kurt Rothermel:
Concurrency Control Issues in Nested Transactions.
VLDB J. 2(1): 39-74(1993)
- 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)
- Paul W. P. J. Grefen:
Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem.
VLDB 1993: 581-591
- Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz:
Specifying and Enforcing Intertask Dependencies.
VLDB 1993: 134-145
- W. Woody Jin, Marek Rusinkiewicz, Linda Ness, Amit P. Sheth:
Concurrency Control and Recovery of Multidatabase Work Flows in Telecommunication Applications.
SIGMOD Conference 1993: 456-459
- Peter Muth, Thomas C. Rakow, Gerhard Weikum, Peter Brössler, Christof Hasse:
Semantic Concurrency Control in Object-Oriented Database Systems.
ICDE 1993: 233-242
- Mansoor Ansari, Linda Ness, Marek Rusinkiewicz, Amit P. Sheth:
Using Flexible Transactions to Support Multi-System Telecommunication Applications.
VLDB 1992: 65-76
- David B. Lomet:
MLR: A Recovery Method for Multi-level Systems.
SIGMOD Conference 1992: 185-194
- eva Kühn, Franz Puntigam, Ahmed K. Elmagarmid:
An Execution Model for Distributed Database Transactions and Its Implementation in VPL.
EDBT 1992: 483-498
- Gerhard Weikum:
Principles and Realization Strategies of Multilevel Transaction Management.
ACM Trans. Database Syst. 16(1): 132-180(1991)
- Panos K. Chrysanthis, Krithi Ramamritham:
A Formalism for Extended Transaction Model.
VLDB 1991: 103-112
- Eliezer Levy, Henry F. Korth, Abraham Silberschatz:
An Optimistic Commit Protocol for Distributed Transaction Management.
SIGMOD Conference 1991: 88-97
- Panos K. Chrysanthis, S. Raghuram, Krithi Ramamritham:
Extracting Concurrency from Objects: A Methodology.
SIGMOD Conference 1991: 108-117
- Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth:
On Serializability of Multidatabase Transactions Through Forced Local Conflicts.
ICDE 1991: 314-323
- Carmelo Malta, José Martinez:
Controlling Concurrent Accesses in an Object-Oriented Environment.
DASFAA 1991: 192-200
- Henry F. Korth, Nandit Soparkar, Abraham Silberschatz:
Triggered Real-Time Databases with Consistency Constraints.
VLDB 1990: 71-82
- Henry F. Korth, Eliezer Levy, Abraham Silberschatz:
A Formal Approach to Recovery by Compensating Transactions.
VLDB 1990: 95-106
- Ahmed K. Elmagarmid, Yungho Leu, Witold Litwin, Marek Rusinkiewicz:
A Multidatabase Transaction Model for InterBase.
VLDB 1990: 507-518
- Panos K. Chrysanthis, Krithi Ramamritham:
ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior.
SIGMOD Conference 1990: 194-203
- Philip A. Bernstein, Meichun Hsu, Bruce Mann:
Implementing Recoverable Requests Using Queues.
SIGMOD Conference 1990: 112-122
- Thomas C. Rakow, Junzhong Gu, Erich J. Neuhold:
Serializability in Object-Oriented Database Systems.
ICDE 1990: 112-120
- Tadashi Ohmori, Masaru Kitsuregawa, Hidehiko Tanaka:
Concurrency Control of Bulk Access Transactions on Shared Nothing Parallel Database Machines.
ICDE 1990: 476-485
- Akhil Kumar:
An Analysis of Borrowing Policies for Escrow Transactions in a Replicated Data Environment.
ICDE 1990: 446-454
- Matthew Bellew, Meichun Hsu, Va-On Tam:
Update Propagation in Distributed Memory Hierarchy.
ICDE 1990: 521-528
- Bharat K. Bhargava, John Riedl:
A Model for Adaptable Systems for Transaction Processing.
IEEE Trans. Knowl. Data Eng. 1(4): 433-449(1989)
- Peter Peinl, Andreas Reuter, Harald Sammer:
High Contention in a Stock Trading Database: A Case Study.
SIGMOD Conference 1988: 260-268
- Akhil Kumar, Michael Stonebraker:
Semantics Based Transaction Management Techniques for Replicated Data.
SIGMOD Conference 1988: 117-125
- Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum:
Multi-Level Transaction Management, Theoretical Art or Practical Need ?
EDBT 1988: 134-154
- Hector Garcia-Molina, Kenneth Salem:
Sagas.
SIGMOD Conference 1987: 249-259
- Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman:
Concurrency Control and Recovery in Database Systems.
Addison-Wesley 1987, ISBN 0-201-10715-5
Contents - Patrick E. O'Neil:
The Escrow Transactional Method.
ACM Trans. Database Syst. 11(4): 405-430(1986)
- C. Mohan, Bruce G. Lindsay, Ron Obermarck:
Transaction Management in the R* Distributed Database Management System.
ACM Trans. Database Syst. 11(4): 378-396(1986)
- Antonio Albano, Luca Cardelli, Renzo Orsini:
Galileo: A Strongly-Typed, Interactive Conceptual Language.
ACM Trans. Database Syst. 10(2): 230-260(1985)
- Rakesh Agrawal, David J. DeWitt:
Integrated Concurrency Control and Recovery Mechanisms: Design and Performance Evaluation.
ACM Trans. Database Syst. 10(4): 529-564(1985)
- Wojciech Cellary, Tadeusz Morzy:
Locking with Prevention of Cyclic and Infinite Restarting in Distributed Database Systems.
VLDB 1985: 115-126
- François Bancilhon, Won Kim, Henry F. Korth:
A Model of CAD Transactions.
VLDB 1985: 25-33
- Thomas W. Page Jr., Matthew J. Weinstein, Gerald J. Popek:
Genesis: A Distributed Database Operating System.
SIGMOD Conference 1985: 374-387
- Salvatore T. March, Gary D. Scudder:
On the Selection of Efficient Record Segmentations and Backup Strategies for Large Shared Databases.
ACM Trans. Database Syst. 9(3): 409-438(1984)
- Gerhard Weikum, Hans-Jörg Schek:
Architectural Issues of Transaction Management in Multi-Layered Systems.
VLDB 1984: 454-465
- Won Kim, Raymond A. Lorie, Dan McNabb, Wil Plouffe:
A Transaction Mechanism for Engineering Design Databases.
VLDB 1984: 355-362
- Andrea J. Borr:
Robustness to Crash in a Distributed Database: A Non Shared-memory Multi-Processor Approach.
VLDB 1984: 445-453
- Richard P. Brägger, Andreas Dudler, Jürg Rebsamen, Carl August Zehnder:
Gambit: An Interactive Database Design Tool for Data Structures, Integrity Constraints and Transactions.
ICDE 1984: 399-407
- Hector Garcia-Molina:
Using Semantic Knowledge for Transaction Processing in Distributed Database.
ACM Trans. Database Syst. 8(2): 186-213(1983)
- Theo Härder, Andreas Reuter:
Principles of Transaction-Oriented Database Recovery.
ACM Comput. Surv. 15(4): 287-317(1983)
- Manuel Reimer:
Solving the Phantom Problem by Predicative Optimistic Concurrency Control.
VLDB 1983: 81-88
- Gael N. Buckley, Abraham Silberschatz:
Obtaining Progressive Protocols for a Simple Multiversion Database Model.
VLDB 1983: 74-80
- Michael J. Carey:
Granularity Hierarchies in Concurrency Control.
PODS 1983: 156-165
- Thomas Neumann, Christoph Hornung:
Consistency and Transactions in CAD Database.
VLDB 1982: 181-188
- Colette Rolland, Christian Richard:
Transaction Modeling.
SIGMOD Conference 1982: 265-275
- Andreas Reuter:
Concurrency on High-trafic Data Elements.
PODS 1982: 83-92
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings (1977-1981): 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:45:12 2009