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
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
Control of cognitive processes during software design: what tools are needed?
CHI '88 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
gIBIS: a hypertext tool for exploratory policy discussion
ACM Transactions on Information Systems (TOIS)
Maintaining state constraints in relational databases: a proof theoretic basis
Journal of the ACM (JACM)
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
Modular synchronization in multiversion databases: version control and concurrency control
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Using semantic knowledge of transactions to increase concurrency
ACM Transactions on Database Systems (TODS)
On long-duration CAD transactions
Readings in object-oriented database systems
A formal approach to recovery by compensating transactions
Proceedings of the sixteenth international conference on Very large databases
A multidatabase transaction model for InterBase
Proceedings of the sixteenth international conference on Very large databases
ACTA: a framework for specifying and reasoning about transaction structure and behavior
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Organizing long-running activities with triggers and transactions
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)
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
Quantifying the benefits of semantics
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Database transaction models for advanced applications
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)
Implementing atomic actions on decentralized data
ACM Transactions on Computer Systems (TOCS)
The notions of consistency and predicate locks in a database system
Communications of the ACM
On extending the functions of a relational database system
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Long-Duration Transactions in Software Design Projects
Proceedings of the Sixth International Conference on Data Engineering
A Framework for Efficient IC/VLSI CAD Databases
Proceedings of the Third International Conference on Data Engineering
A Transaction Mechanism for Engineering Design Databases
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
A database approach for managing VLSI design data
DAC '82 Proceedings of the 19th Design Automation Conference
Intra-Transaction Concurrency Control and the NT/PV Model
Intra-Transaction Concurrency Control and the NT/PV Model
The nt/pv model: a new representation for long-duration transaction systems
The nt/pv model: a new representation for long-duration transaction systems
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Concurrency control: methods, performance, and analysis
ACM Computing Surveys (CSUR)
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Distributed and Parallel Databases
Databases with Deadline and Contingency Constraints
IEEE Transactions on Knowledge and Data Engineering
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Nested Transactions with Integrity Constraints
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase Systems
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
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
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
Relaxed-currency serializability for middle-tier caching and replication
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
A lattice-based approach for updating access control policies in real-time
Information Systems
Performance analysis of long-lived cooperative transactions in active DBMS
Data & Knowledge Engineering
Ensuring atomicity of multilevel transactions
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
W2GIS'04 Proceedings of the 4th international conference on Web and Wireless Geographical Information Systems
Hi-index | 0.00 |
In the typical database system, an execution is correct if it is equivalent to some serial execution. This criterion, called serializability, is unacceptable for new database applications which require long-duration transactions. We present a new transaction model which allows correctness criteria more suitable for these applications. This model combines three enhancements to the standard model: nested transactions, explicit predicates, and multiple versions. These features yield the name of the new model, nested transactions with predicates and versions, or NT/PV.The modular nature of the NT/PV model allows a straightforward representation of simple systems. It also provides a formal framework for describing complex interactions. The most complex interactions the model allows can be captured by a protocol which exploits all of the semantics available to the NT/PV model. An example of these interactions is shown in a CASE application. The example shows how a system based on the NT/PV model is superior to both standard database techniques and unrestricted systems in both correctness and performance.