Distributed databases principles and systems
Distributed databases principles and systems
Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Learning improved integrity constraints and schemas from exceptions in databases and knowledge bases
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Local verification of global integrity constraints in distributed databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Active interdatabase dependencies
Information Sciences: an International Journal
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Principles of transaction processing: for the systems professional
Principles of transaction processing: for the systems professional
Patterns of self-stabilization in database consistency maintenance
Data & Knowledge Engineering - Special issue: next generation information technologies and systems
Self-stabilizing systems in spite of distributed control
Communications of the ACM
The demarcation protocol: a technique for maintaining constraints in distributed database systems
The VLDB Journal — The International Journal on Very Large Data Bases
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Constraint Analysis: A Design Process for Specifying Operations on Objects
IEEE Transactions on Knowledge and Data Engineering
Optimization of Materialization Strategies for Derived Data Elements
IEEE Transactions on Knowledge and Data Engineering
Distributed Rule Processing in Active Databases
Proceedings of the Eighth International Conference on Data Engineering
On Updates and Inconsistency Repairing in Knowledge Bases
Proceedings of the Ninth International Conference on Data Engineering
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Production Rules in Parallel and Distributed Database Environments
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Hi-index | 0.00 |
This paper deals with distributed transactions that employ self-stabilization in the sense that the transaction is possibly extended by corrective actions (“stabilizers”) to repair violated integrity constraints. The implementation of such an extended distributed transaction is discussed in both macro (inter-transaction) and micro (intra-transaction) aspects. In the macro level we discuss the distributed stabilizers execution protocol, the relationship with the 2PC algorithm (“the reinfection problem”) and cooperative constraint evaluation and transaction termination. The Micro-level issues discussed relate to the interaction among different stabilizers. Three different alternative protocols are discussed: the basic S-Lock protocol, the extended S-Lock protocol, and the cluster graph based protocol. These protocols are compared and discussed. The paper concludes with discussion of some general properties such as: determinism and termination.