Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
A theoretical foundation of multi-level concurrency control
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Distributed programming in Argus
Communications of the ACM
Automatic verification of database transaction safety
ACM Transactions on Database Systems (TODS)
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
ACTA: a framework for specifying and reasoning about transaction structure and behavior
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Data Engineering
Camelot and Avalon: a distributed transaction facility
Camelot and Avalon: a distributed transaction facility
Database transaction models for advanced applications
Database transaction models for advanced applications
Concepts and applications of multilevel transactions and open nested transactions
Database transaction models for advanced applications
Integrity control in relational database systems: an overview
Data & Knowledge Engineering
Local verification of global integrity constraints in distributed databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
ACM Transactions on Database Systems (TODS)
DICE: declarative integrity constraint embedding into the object database standard ODMG-93
Data & Knowledge Engineering
Principles of transaction processing: for the systems professional
Principles of transaction processing: for the systems professional
Protocols for Integrity Constraint Checking in FederatedDatabases
Distributed and Parallel Databases
Oracle8 design tips
Integrity checking for multiple updates
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Concurrency control issues in nested transactions
The VLDB Journal — The International Journal on Very Large Data Bases
Thémis: a database programming language handling integrity constraints
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Log-Based Recovery for Nested Transactions
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A Transactional Model for Long-Running Activities
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Integrity Maintenance in Object-Oriented Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Integrity Constraints in Multiversion Databases
BNCOD 14 Proceedings of the 14th British National Conference on Databases: Advances in Databases
An Architecture for Nested Transaction Support on Standard Database Systems
DEXA '98 Proceedings of the 9th International Conference on Database and Expert Systems Applications
Integrity checking for nested transactions
DEXA '96 Proceedings of the 7th International Workshop on Database and Expert Systems Applications
The transaction concept: virtues and limitations (invited paper)
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Checking Integrity Constraints in Multidatabase Systems with Nested Transactions
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
Hi-index | 0.03 |
This paper presents a solution to check integrity constraints in database systems supporting nested transactions. Using nested transactions allows to introduce parallelism inside a transaction and to partially recover failing transactions by defining a hierarchy of sub-transactions. If a constraint is violated by some sub-transactions, it is possible to reach the validation of the nested transaction, even if some part of it had to be aborted. In our solution, (i) only constraints that might be violated are checked, (ii) constraints are checked as soon as possible during the execution of the nested transaction and (iii) as few sub-transactions as possible are aborted. We do not interfere with the execution control of nested transactions and users do not have to add any control code in the definition of constraints or of transactions. The main idea of our solution is to attach the checking of a constraint to the smallest common ancestor of the sub-transactions which could violate the constraint.