Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Operating system concepts (2nd ed.)
Operating system concepts (2nd ed.)
Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
The theory of database concurrency control
The theory of database concurrency control
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
A theoretical foundation of multi-level concurrency control
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Abstraction in recovery management
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Nested transactions and read-write locking
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Efficient and correct execution of parallel programs that share memory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transaction synchronisation in object bases
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On Concurrency Control by Multiple Versions
ACM Transactions on Database Systems (TODS)
Efficient locking for concurrent operations on B-trees
ACM Transactions on Database Systems (TODS)
Multiversion concurrency control—theory and algorithms
ACM Transactions on Database Systems (TODS)
Parallelism and recovery in database systems
ACM Transactions on Database Systems (TODS)
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
The serializability of concurrent database updates
Journal of the ACM (JACM)
Semantically-based concurrancy control for search structures
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Distributed database concurrency controls using before-values
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
The implementation of an integrated concurrency control and recovery scheme
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Concurrency control mechanisms and the serializability of concurrent tree algorithms
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Concurrency control for resilient nested transactions
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Multi-Level Transaction Management, Theoretical Art or Practical Need ?
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
A Transaction Mechanism for Engineering Design Databases
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Architectural Issues of Transaction Management in Multi-Layered Systems
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
A multi-version concurrency scheme with no rollbacks
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
A concurrency control theory for nested transactions (Preliminary Report)
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM
NAMING AND SYNCHRONIZATION IN A DECENTRALIZED COMPUTER SYSTEM
INTRODUCTION TO THE THEORY OF NESTED TRANSACTIONS
INTRODUCTION TO THE THEORY OF NESTED TRANSACTIONS
Principles and realization strategies of multilevel transaction management
ACM Transactions on Database Systems (TODS)
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
An approach to eliminate transaction blocking in locking protocols
PODS '92 Proceedings of the eleventh 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
Consistency and orderability: semantics-based correctness criteria for databases
ACM Transactions on Database Systems (TODS)
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)
Semantic locking in object-oriented database systems
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Object orientation in multidatabase systems
ACM Computing Surveys (CSUR)
Perspectives on database theory
ACM SIGACT News
Correctness and parallelism in composite systems
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Application Specific Transaction Management in MultidatabaseSystems
Distributed and Parallel Databases
A serialization graph construction for nested transactions
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Correctness in general configurations of transactional components
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Concurrency control and recovery in transactional process management
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
A new approach to developing and implementing eager database replication protocols
ACM Transactions on Database Systems (TODS)
A nested transaction model for multilevel secure database management systems
ACM Transactions on Information and System Security (TISSEC)
Atomicity and isolation for transactional processes
ACM Transactions on Database Systems (TODS)
A comparison of multi-level concurrency control protocols
ADC '01 Proceedings of the 12th Australasian database conference
Overview of multidatabase transaction management
The VLDB Journal — The International Journal on Very Large Data Bases
Concurrency control issues in nested transactions
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
IEEE Transactions on Knowledge and Data Engineering
Transactions in Stack, Fork, and Join Composite Systems
ICDT '99 Proceedings of the 7th International Conference on Database Theory
CheeTah: a Lightweight Transaction Server for Plug-and-Play Internet Data Management
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Triggered Real-Time Databases with Consistency Constraints
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Model for Active Object Oriented Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A Performance Evaluation of Multi-Level Transaction Management
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Logical Update Queries as Open Nested Transactions
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Simulation of Advanced Transaction Models Using GOLOG
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
A taxonomy of correctness criteria in database applications
The VLDB Journal — The International Journal on Very Large Data Bases
Transaction scheduling in dynamic composite multidatabase systems
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Transactional Coordination Agents for Composite Systems
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
An extended transaction model approach for multilevel secure transaction processing
Das'01 Proceedings of the fifteenth annual working conference on Database and application security
Overview of multidatabase transaction management
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Open nested serializability in multidatabase systems
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Issues in managing long transactions and large objects in a multidatabase system
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Memory models for open-nested transactions
Proceedings of the 2006 workshop on Memory system performance and correctness
A multi-level architecture for distributed object bases
Data & Knowledge Engineering
Extending the data warehouse for service provisioning data
Data & Knowledge Engineering - Special issue: ER 2003
Nested transactional memory: model and architecture sketches
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
A formal analysis of the deferred update technique
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
Solving the golden transaction problem for ARIES-based multi-level recovery
ADC '09 Proceedings of the Twentieth Australasian Conference on Australasian Database - Volume 92
Overview of multidatabase transaction management
CASCON First Decade High Impact Papers
Composable, nestable, pessimistic atomic statements
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Using abstract state machines for the design of multi-level transaction schedulers
Rigorous Methods for Software Construction and Analysis
A formal analysis of the deferred update technique
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Hi-index | 0.00 |
Today's standard model for database concurrency control, called serializability theory, represents executions of transactions as partial orders of operations. The theory tells when an execution is serializable, that is, when the set of operations of a transaction execute atomically with respect to those of other transactions. It has been used successfully to prove correctness of most database concurrency control algorithms. Its most serious limitation is its inability to represent nested computations conveniently. This paper presents a more general model that permits nested transactions. In this model, transactions may execute subtransactions, giving rise to tree-structured computations. A serializability theory is developed for this model, which can be used to prove the correctness of concurrency control algorithms for nested transactions and for multilevel database systems. The theory is based on an abstract model of computation that allows arbitrary operations, and parallel and even nondeterministic programs. Axioms are presented that express the basic properties that programs that manage or access data need to satisfy. We use these axioms to derive proof techniques. One new technique—substitution—shows the equivalence of two executions by substituting one subcomputation by another, usually shallower (i.e., less nested), one. Our proof techniques are illustrated by applying them to several well-known concurrency control problems.