Principles of transaction-oriented database recovery
ACM Computing Surveys (CSUR)
Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
Abstraction in recovery management
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
Local atomicity properties: modular concurrency control for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
The impact of recovery on concurrency control
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Quasi serializability: a correctness criterion for global concurrency control in InterBase
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Principles and realization strategies of multilevel transaction management
ACM Transactions on Database Systems (TODS)
Replica control in distributed systems: as asynchronous approach
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
On rigorous Transaction Scheduling
IEEE Transactions on Software Engineering
ACM Transactions on Database Systems (TODS)
ACM SIGMOD Record
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Strict histories in object-based database systems
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards a unified theory of concurrency control and recovery
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
VODAK open nested transactions—visualizing database internals
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Transaction recovery in federated autonomous databases
Distributed and Parallel Databases
Ensuring relaxed atomicity for flexible transactions in multidatabase systems
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Divergence control for distributed database systems
Distributed and Parallel Databases
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Locking Primitives in a Database System
Journal of the ACM (JACM)
Non-serializable executions in heterogeneous distributed database systems
PDIS '91 Proceedings of the first international conference on Parallel and distributed information systems
Transaction management issues in a failure-prone multidatabase system environment
The VLDB Journal — The International Journal on Very Large Data Bases
Overview of multidatabase transaction management
The VLDB Journal — The International Journal on Very Large Data Bases
Supporting consistent updates in replicated multidatabase systems
The VLDB Journal — The International Journal on Very Large Data Bases
Multi-level transaction management for complex objects: implementation, performance, parallelism
The VLDB Journal — The International Journal on Very Large Data Bases
The DASDBS Project: Objectives, Experiences, and Future Prospects
IEEE Transactions on Knowledge and Data Engineering
Superdatabases for Composition of Heterogeneous Databases
Proceedings of the Fourth International Conference on Data Engineering
Atomic Commitment for Integrated Database Systems
Proceedings of the Seventh International Conference on Data Engineering
On Serializability of Multidatabase Transactions Through Forced Local Conflicts
Proceedings of the Seventh International Conference on Data Engineering
Proceedings of the Eighth International Conference on Data Engineering
Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds
Proceedings of the Ninth International Conference on Data Engineering
Semantic Concurrency Control in Object-Oriented Database Systems
Proceedings of the Ninth International Conference on Data Engineering
Semantics-Based Multilevel Transaction Management in Federated Systems
Proceedings of the Tenth International Conference on Data Engineering
Unified Transaction Model for Semantically Rich Operations
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Architectural Issues of Transaction Management in Multi-Layered Systems
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Hi-index | 0.00 |
We present a transaction model for multidatabase systems withautonomous component systems, coined heterogeneous 3-level transactions. Ithas become evident that in such a system the requirements of guaranteeingfull ACID properties and full local autonomy can not be reconciled. In theheterogeneous 3-level transaction model, semantics of actions and specificproperties of the architecture of multidatabase systems and of applicationsare utilized to define application specific compromises between thesecompeting goals. We consider different definitions of conflicts betweenactions together with application specific sets of allowed (autonomous)local transactions and global subtransactions. A formal model forserializability is given. It is proven that heterogeneous 3-leveltransactions guarantee all consistency constraints that are ensured inserial executions. In contrast to most other models, we do not require datato be partitioned into global and local data. In particular, heterogeneous3-level transactions even allow the same data to be updated by local andglobal transactions in parallel, if these updates are found to besemantically non-conflicting.Recovery is handled by inverse actions.We present a formal framework for this approach which is fully integratedinto serializability theory by considering inverse actions as ordinaryactions. This has an important impact on the relationship of concurrencycontrol and recovery in our model: By changing the definition of conflictsbetween actions in order to tailor the model according to application needs,recovery is implicitly affected and no further explicit adaptation ofrecovery algorithms is necessary.The heterogeneous 3-level transaction model assumes component databasesystems to support ACID transaction properties. Further properties of localtransactions or interfaces of the component database systems are notrequired. We describe a prototype implementation of heterogeneous 3-leveltransactions in the object-oriented database system VODAK.