Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
Abstraction in recovery management
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Modular Concurrency Control and Failure Recovery
IEEE Transactions on Computers
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
On long-duration CAD transactions
Information Sciences: an International Journal
Maintaining state constraints in relational databases: a proof theoretic basis
Journal of the ACM (JACM)
Using semantic knowledge of transactions to increase concurrency
ACM Transactions on Database Systems (TODS)
Performance evaluation of semantics-based multilevel concurrency control protocols
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Principles and realization strategies of multilevel transaction management
ACM Transactions on Database Systems (TODS)
Extracting concurrency from objects: a methodology
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
A serialization graph construction for nested transactions
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)
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
Locking Primitives in a Database System
Journal of the ACM (JACM)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Long-Duration Transactions in Software Design Projects
Proceedings of the Sixth International Conference on Data Engineering
A Flexible Transaction Model for Software Engineering
Proceedings of the Sixth International Conference on Data Engineering
Split-Transactions for Open-Ended Activities
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
The nt/pv model: a new representation for long-duration transaction systems
The nt/pv model: a new representation for long-duration transaction systems
Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
ACM Transactions on Database Systems (TODS)
Hi-index | 0.00 |
An active area of current research is the use of semantics in concurrency control. Simulations using a new concurrency control protocol, called complex two-phase locking, can quantify the benefits of using semantics within long-duration transaction systems. It is then possible to determine if the benefits gained are worth the human effort required to obtain the semantics.