CSDL Home IEEE Transactions on Knowledge & Data Engineering 1997 vol.9 Issue No.01 - January-February
Issue No.01 - January-February (1997 vol.9)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.567056
<p><b>Abstract</b>—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 <it>semantic locking</it> 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 <it>epsilon serializability</it> specialized for object-oriented databases.</p>
Bounded imprecision, real-time object-oriented databases, semantic concurrency control.
Lisa Cingiser DiPippo, Victor Fay Wolfe, "Object-Based Semantic Real-Time Concurrency Control with Bounded Imprecision", IEEE Transactions on Knowledge & Data Engineering, vol.9, no. 1, pp. 135-147, January-February 1997, doi:10.1109/69.567056