Principles of transaction-oriented database recovery
ACM Computing Surveys (CSUR)
The Escrow transactional method
ACM Transactions on Database Systems (TODS)
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Data caching issues in an information retrieval system
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
A formal approach to recovery by compensating transactions
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
A theory of relaxed atomicity (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Bounded ignorance in replicated systems
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An optimistic commit protocol for distributed transaction management
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
Database transaction models for advanced applications
Data-valued partitioning and virtual messages (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Read-only transactions in a distributed database
ACM Transactions on Database Systems (TODS)
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
Modeling Asynchrony in Distributed Databases
Proceedings of the Third International Conference on Data Engineering
Unilateral Commit: A New Paradigm for Reliable Distributed Transaction Processing
Proceedings of the Seventh International Conference on Data Engineering
Divergence Control for Epsilon-Serializability
Proceedings of the Eighth International Conference on Data Engineering
Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds
Proceedings of the Ninth International Conference on Data Engineering
A Formalism for Extended Transaction Model
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Elimination trees and the construction of pools and stacks: preliminary version
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Bounded Inconsistency for Type-Specific Concurrency Control
Distributed and Parallel Databases
The need for distributed asynchronous transactions
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Similarity-Based Load Adjustment for Static Real-Time Transaction Systems
IEEE Transactions on Computers
Real-Time Access Control and Reservation on B-Tree IndexedData
Real-Time Systems
Real-Time Data Semantics and Similarity-Based Concurrency Control
IEEE Transactions on Computers
Object-Based Semantic Real-Time Concurrency Control with Bounded Imprecision
IEEE Transactions on Knowledge and Data Engineering
Divergence Control Algorithms for Epsilon Serializability
IEEE Transactions on Knowledge and Data Engineering
Data Consistency in Intermittently Connected Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
A taxonomy of correctness criteria in database applications
The VLDB Journal — The International Journal on Very Large Data Bases
Two-Version Based Concurrency Control and Recovery in Real-Time Client/Server Databases
IEEE Transactions on Computers
Concurrency control in real-time broadcast environments
Journal of Systems and Software
ACM Computing Surveys (CSUR)
Relaxed-currency serializability for middle-tier caching and replication
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Modeling of concurrent web sessions with bounded inconsistency in shared data
Journal of Parallel and Distributed Computing
QoS management for real-time DataBases in embedded systems
Proceedings of the 2008 Euro American Conference on Telematics and Information Systems
Database replication in large scale systems: optimizing the number of replicas
Proceedings of the 2009 EDBT/ICDT Workshops
Global consistency management methods based on escrow approaches in mobile ad hoc networks
Mobile Information Systems - Mobile and Wireless Networks
Hi-index | 0.01 |
Epsilon serializability (ESR) is a generalization of classic serializability (SR). In this paper, we provide a precise characterization of ESR when queries that may view inconsistent data run concurrently with consistent update transactions.Our first goal is to understand the behavior of queries in the presence of conflicts and to show how ESR in fact is a generalization of SR. So, using the ACTA framework, we formally express the intertransaction conflicts that are recognized by ESR and through that define ESR, analogous to the manner in which conflict-based serializability is defined. Secondly, expressions are derived for the amount of inconsistency (in a data item) viewed by a query and its effects on the results of a query. These inconsistencies arise from concurrent updates allowed by ESR. Thirdly, in order to maintain the inconsistencies within bounds associated with each query, the expressions are used to determine the preconditions that operations have to satisfy. The results of a query, and the errors in it, depend on what a query does with the, possibly inconsistent, data viewed by it. One of the important byproducts of this work is the identification of different types of queries which lend themselves to an analysis of the effects of data inconsistency on the results of the query.