Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
The theory of database concurrency control
The theory of database concurrency control
Transaction management in the R* distributed database management system
ACM Transactions on Database Systems (TODS)
On Concurrency Control by Multiple Versions
ACM Transactions on Database Systems (TODS)
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
Consistency in Hierarchical Database Systems
Journal of the ACM (JACM)
The notions of consistency and predicate locks in a database system
Communications of the ACM
An optimality theory of concurrency control for databases
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Transactions on typed objects
Modular concurrency control and failure recovery--consistency, correctness and optimality (transaction, database, distributed, operating systems)
Synchronization and recovery of actions
ACM SIGOPS Operating Systems Review
Concurrency control for distributed real-time databases
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Bounded ignorance in replicated systems
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Quantifying the benefits of semantics
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Scheduling real-time transactions: a performance evaluation
ACM Transactions on Database Systems (TODS)
ACM Transactions on Computer Systems (TOCS)
Bounded ignorance: a technique for increasing concurrency in a replicated system
ACM Transactions on Database Systems (TODS)
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
SimDS: a simulation environment for the design of distributed database systems
ACM SIGMIS Database
Advances in real-time database systems research
ACM SIGMOD Record
Overview of multidatabase transaction management
The VLDB Journal — The International Journal on Very Large Data Bases
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Versioning concurrency control for hard real-time systems
Journal of Systems and Software
Overview of multidatabase transaction management
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Real-time update of access control policies
Data & Knowledge Engineering
Applying Semantic Knowledge to Real-Time Update of Access Control Policies
IEEE Transactions on Knowledge and Data Engineering
A lattice-based approach for updating access control policies in real-time
Information Systems
Overview of multidatabase transaction management
CASCON First Decade High Impact Papers
Hi-index | 14.98 |
An approach to concurrency control is presented; it is based on the decomposition of both the database and the individual transactions. This approach is a generalization of serializability theory in that the set of permissible transaction schedules contains all the serializable schedules. In addition to providing a higher degree of concurrency than that provided by serializability theory, this approach retains three important properties associated with serializability: the consistency of the database is preserved, the individual transactions are executed correctly, and the concurrency control approach is modular. The authors formalize the last concept. The associated failure recovery procedure is presented, as is the concept of failure safety (i.e. failure tolerance).