Object-Based Semantic Real-Time Concurrency Control with Bounded Imprecision

The 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. The authors 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.

[1]  William E. Weihl.  Commutativity-based concurrency control for abstract data types , 1988 .

[2]  Paul J. Fortier,et al.  The design of real-time extensions to the Open Object Oriented Database system , 1994, Proceedings of Words '94. The First Workshop on Object-Oriented Real-Time Dependable Systems.

[3]  James E. Rumbaugh.  Relations as semantic constructs in an object-oriented language , 1987, OOPSLA 1987.

[4]  José A. Blakeley,et al.  Architecture of an open object-oriented database management system , 1992, Computer.

[5]  Joan Peckham,et al.  RTSORAC: A Real-Time Object-Oriented Database Model , 1994, DEXA.

[6]  Gail E. Kaiser,et al.  Concurrency control in advanced database applications , 1991, CSUR.

[7]  James E. Rumbaugh,et al.  Relations as semantic constructs in an object-oriented language , 1987, OOPSLA '87.

[8]  Divyakant Agrawal,et al.  Tolerating bounded inconsistency for increasing concurrency in database systems , 1992, PODS '92.

[9]  Lisa Cingiser DiPippo,et al.  Performance of Object-Based Semantic Real-Time Concurrency Control , 1995 .

[10]  Tei-Wei Kuo,et al.  SSP: A semantics-based protocol for real-time data access , 1993, 1993 Proceedings Real-Time Systems Symposium.

[11]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

[12]  Alfred Z. Spector,et al.  Synchronizing shared abstract types , 1984, TOCS.

[13]  Philip S. Yu,et al.  Divergence control for epsilon-serializability , 1992, [1992] Eighth International Conference on Data Engineering.

[14]  B. R. Badrinath,et al.  Synchronizing Transactions on Objects , 1988, IEEE Trans. Computers.

[15]  Philip S. Yu,et al.  On real-time databases: concurrency control and scheduling , 1994, Proc. IEEE.

[16]  Nancy A. Lynch,et al.  Multilevel atomicity—a new correctness criterion for database concurrency control , 1983, TODS.

[17]  M. Tamer Özsu,et al.  Using semantic knowledge of transactions to increase concurrency , 1989, TODS.

[18]  Calton Pu,et al.  A Formal Characterization of Epsilon Serializability , 1995, IEEE Trans. Knowl. Data Eng..

[19]  Lisa Cingiser DiPippo,et al.  Object-based semantic real-time concurrency control , 1993, 1993 Proceedings Real-Time Systems Symposium.

[20]  Calton Pu,et al.  Asynchronous consistency restoration under epsilon serializability , 1995, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.

[21]  Divyakant Agrawal,et al.  Semantic locking in object-oriented database systems , 1994, OOPSLA 1994.

[22]  Victor Fay Wolfe,et al.  Real-time considerations in submarine target motion analysis , 1993, [1993] Proceedings of the IEEE Workshop on Real-Time Applications.