Synchronizing shared abstract types
ACM Transactions on Computer Systems (TOCS)
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Relations as semantic constructs in an object-oriented language
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Synchronizing Transactions on Objects
IEEE Transactions on Computers
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
Using semantic knowledge of transactions to increase concurrency
ACM Transactions on Database Systems (TODS)
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
Tolerating bounded inconsistency for increasing concurrency in database 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
Semantic locking in object-oriented database systems
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and 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)
A Formal Characterization of Epsilon Serializability
IEEE Transactions on Knowledge and Data Engineering
Divergence Control for Epsilon-Serializability
Proceedings of the Eighth International Conference on Data Engineering
RTSORAC: A Real-Time Object-Oriented Database Model
DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
The design of real-time extensions to the Open Object Oriented Database system
WORDS '94 Proceedings of the 1st Workshop on Object-Oriented Real-Time Dependable Systems
Object-based semantic real-time concurrency control
Object-based semantic real-time concurrency control
Research Frontiers in Object Technology
Information Systems Frontiers
Relaxing consistency requirement for read-only transactions
Information Sciences—Informatics and Computer Science: An International Journal
A comparative study of some concurrency control algorithms for cluster-based communication networks
Computers and Electrical Engineering
| Hi-index | 0.00 |
This paper describes a concurrency control technique for real-time object-oriented databases that supports logical consistency and temporal consistency, as well as bounded imprecision that results from their trade-offs. The concurrency control technique uses a semantic locking mechanism within each object and user-defined conditional compatibility over the methods of the object. The semantics can specify when to sacrifice precise logical consistency to meet temporal consistency requirements. It can also specify accumulation and bounding of any resulting logical imprecision. We show that this technique, under certain general restrictions, can preserve global correctness and bound imprecision by proving it can guarantee a form of epsilon serializability specialized for object-oriented databases.