The Escrow transactional method
ACM Transactions on Database Systems (TODS)
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
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
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
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
Processing aggregate relational queries with hard time constraints
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)
Quasi serializability: a correctness criterion for global concurrency control in InterBase
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Triggered real-time databases with consistency constraints
Proceedings of the sixteenth international conference on Very large databases
A formal approach to recovery by compensating transactions
Proceedings of the sixteenth international conference on Very large databases
Performance evaluation of semantics-based multilevel concurrency control protocols
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
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
Modeling long-running activities as nested sagas
Data Engineering
Localized correctness specifications for cooperating transactions in an object-oriented database
Office Knowledge Engineering
Extracting concurrency from objects: a methodology
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Replica control in distributed systems: as asynchronous approach
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
On rigorous Transaction Scheduling
IEEE Transactions on Software Engineering
Database transaction models for advanced applications
Database transaction models for advanced applications
Database transaction models for advanced applications
Database transaction models for advanced applications
Ensuring transaction atomicity in multidatabase systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Distributed and Parallel Databases - Special issue: Research topics in 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
Hybrid concurrency control for abstract data types
Proceedings of the seventh 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)
Journal of the ACM (JACM)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Extending the transaction model to capture more meaning
ACM SIGMOD Record
Non-serializable executions in heterogeneous distributed database systems
PDIS '91 Proceedings of the first international conference on Parallel and distributed information systems
Overview of multidatabase transaction management
The VLDB Journal — The International Journal on Very Large Data Bases
A Formal Characterization of Epsilon Serializability
IEEE Transactions on Knowledge and Data Engineering
Architectural Issues of Transaction Management in Multi-Layered Systems
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Split-Transactions for Open-Ended Activities
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
A Formalism for Extended Transaction Model
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Modular concurrency control and failure recovery--consistency, correctness and optimality (transaction, database, distributed, operating systems)
Efficient concurrency control for broadcast environments
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
PRO-MOTION: management of mobile transactions
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
A Transaction Model to Improve Data Availability in Mobile Computing
Distributed and Parallel Databases
Integrated version and transaction group model for shared engineering databases
Data & Knowledge Engineering
Supporting System-Level Testing of Applications by Active Real-Time Database Systems
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
A Multi-version Transaction Model to Improve Data Availability in Mobile Computing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
High performance distributed real-time commit protocol
Journal of Systems and Software
A commit strategy for distributed real-time transaction
Journal of Computer Science and Technology
A Survey of Mobile Transactions
Distributed and Parallel Databases
Localization of integrity constraints in mobile databases and specification in PRO-MOTION
Mobile Networks and Applications
PoliPer: policies for mobile and pervasive environments
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
SWIFT--A new real time commit protocol
Distributed and Parallel Databases
Making Distributed Transactions Resilient to Intermittent Network Connections
WOWMOM '06 Proceedings of the 2006 International Symposium on on World of Wireless, Mobile and Multimedia Networks
OCP: a distributed real time commit protocol
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
A transaction model and multiversion concurrency control for mobile database systems
Distributed and Parallel Databases
Distributed real time database systems: background and literature review
Distributed and Parallel Databases
The VLDB Journal — The International Journal on Very Large Data Bases
Self-tuning management of update-intensive multidimensional data in clusters of workstations
The VLDB Journal — The International Journal on Very Large Data Bases
A constraint-based formalism for consistency in replicated systems
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Consistency models for replicated data
Replication
Hi-index | 0.00 |
Whereas serializability captures database consistency requirements and transaction correctness properties via a single notion, recent research has attempted to come up with correctness criteria that view these two types of requirements independently. The search for more flexible correctness criteria is partily motivated by the introduction of new transaction models that extend the traditional atomic transaction model. These extensions came about because the atomic transaction model in conjunction with serializability is found to be very constraining when used in advanced applications (e.g., design databases) that function in distributed, cooperative, and heterogeneous environments.In this article we develop a taxonomy of various correctness criteria that focus on database consistency requirements and transaction correctness properties from the viewpoint of what the different dimensions of these two are. This taxonomy allows us to categorize correctness criteria that have been proposed in the literature. To help in this categorization, we have applied a uniform specification technique, based on ACTA, to express the various criteria. Such a categorization helps shed light on the similarities and differences between different criteria and places them in perspective.