Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
Concepts for transaction recovery in nested transactions
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
On long-duration CAD transactions
Information Sciences: an International Journal
Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Concurrency control for cooperating transactions in an object-oriented database
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Cooperative transaction hierarchies: a transaction model to support design applications
Proceedings of the sixteenth international conference on Very large databases
A formal approach to recovery by compensating transactions
Proceedings of the sixteenth international conference on Very large databases
Localized correctness specifications for cooperating transactions in an object-oriented database
Office Knowledge Engineering
A cooperative transaction model for design databases
Database transaction models for advanced applications
An object server for an object-oriented database system
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
A transaction model supporting complex applications in integrated information systems
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
A Flexible Transaction Model for Software Engineering
Proceedings of the Sixth International Conference on Data Engineering
A Transaction Mechanism for Engineering Design Databases
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Transaction Groups: A Model for Controlling Cooperative Transactions
Proceedings of the Third International Workshop on Persistent Object Systems
Design, implementation, and evaluation of a Revision Control System
ICSE '82 Proceedings of the 6th international conference on Software engineering
Conflict, Queueing, and Deadlocks in Cooperative Transaction Hierarchies
Conflict, Queueing, and Deadlocks in Cooperative Transaction Hierarchies
Group-authoring in CONCORD A DB-based approach
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
CAGISTrans: Providing Adaptable Transactional Support for Cooperative Work – an Extended Treatment
Information Technology and Management
Hi-index | 0.01 |
Traditional atomic and nested transactions are not always well-suited to cooperative applications, such as design applications. Cooperative applications place requirements on the database that may conflict with the serializability requirement. They require transactions to be long, possibly nested, and able to interact with each other in a structured way. We define a transaction framework, called a cooperative transaction hierarchy, that allows us to relax the requirement for atomic, serializable transactions to better support cooperative applications. In cooperative transaction hierarchies, we allow the correctness specification for groups of designers to be tailored to the needs of the application. We use patterns and conflicts to specify the constraints imposed on a group's history for it to be correct. We also provide some primitives to smooth the operation of the members. We characterize deadlocks in a cooperative transaction hierarchy, and provide mechanisms for deadlock detection and resolution. We examine issues associated with failure and recovery.