Object-based semantic real-time concurrency control with bounded imprecision
Date of Original Version
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. © 1997 IEEE.
IEEE Transactions on Knowledge and Data Engineering
DiPippo, Lisa Cingiser, and Victor Fay Wolfe. "Object-based semantic real-time concurrency control with bounded imprecision." IEEE Transactions on Knowledge and Data Engineering 9, 1 (1997): 135-147. doi:10.1109/69.567056.