Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
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
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
Principles and realization strategies of multilevel transaction management
ACM Transactions on Database Systems (TODS)
A unified approach to concurrency control and transaction recovery
EDBT '94 Proceedings of the 4th international conference on extending database technology: Advances in database technology
Correctness and parallelism in composite systems
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unifying concurrency control and recovery of transactions with semantically rich operations
Theoretical Computer Science - Special issue: database theory
Overview of multidatabase transaction management
The VLDB Journal — The International Journal on Very Large Data Bases
Using Tickets to Enforce the Serializability of Multidatabase Transactions
IEEE Transactions on Knowledge and Data Engineering
Multi-Level Transaction Management, Theoretical Art or Practical Need ?
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Split-Transactions for Open-Ended Activities
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
A Generalized Transaction Theory for Database and Non-database Tasks
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Hi-index | 0.00 |
Middleware tools are generally used to glue together distributed, heterogeneous systems into a coherent composite whole. Unfortunately, there is no clear conceptual framework in which to reason about transactional correctness in such an environment. This paper is a first attempt at developing such framework. Unlike most existing systems, where concurrent executions are controlled by a centralized scheduler, we will assume that each element in the system has its own independent scheduler receiving input from the schedulers of other elements and producing output for the schedules of yet other elements in the system. In this paper we analyze basic configurations of such composite systems and develop correctness criteria for each case. Moreover, we also show how these ideas can be used to characterize and improve different transaction models such as distributed transactions, sagas, and federated database transactions.