This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Object-Based Semantic Real-Time Concurrency Control with Bounded Imprecision
January-February 1997 (vol. 9 no. 1)
pp. 135-147

Abstract—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.

[1] K. Ramamritham,“Real-time databases,” Distributed and Parallel Databases, vol. 1, no. 2, Apr. 1993.
[2] H. Garcia-Molina, “Using Semantic Knowledge for Transaction Processing Databases,” ACM Trans. Database Systems, vol. 8, no. 2, pp. 186-213, Mar. 1983.
[3] L.B.C. Dipippo and V.F. Wolfe, “Object-Based Semantic Real-Time Concurrency Control,” Proc. IEEE Real-Time Systems Symp., Dec. 1993.
[4] N.S. Barghouti and G.E. Kaiser, "Concurrency Control in Advanced Database Applications," ACM Computing Surveys, vol. 23, pp. 269-316, Sept. 1991.
[5] N. Lynch, "Multilevel Atomicity: A New Correctness Criterion for Database Concurrency Control," ACM Trans. Database Systems, vol. 8, no. 4, Dec. 1983.
[6] A.A. Farrag and M.T. Ozsu, “Using Semantic Knowledge of Transactions to Increase Concurrency,” ACM Trans. Database Systems, vol. 14, no. 4, pp. 503-525, Dec. 1989.
[7] P.M. Schwartz and A.Z. Spector, "Synchronizing Shared Abstract Types," ACM Trans. Computer Systems, vol. 2, no. 3, pp. 223-250, 1984.
[8] M. Wong and D. Agrawal, "Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems," Proc. 11th Principles of Database Systems, pp. 236-245, 1992.
[9] P.S. Yu, K-L. Wu, K-J. Lin, and S.H. Son, “On Real-Time Databases: Concurrency Control and Scheduling,” Proc. IEEE, Special Issue on Real-Time Systems, vol. 82, no. 1, pp. 140-157, 1994.
[10] T.-W. Kuo and A.K. Mok, “SSP: A Semantics-Based Protocol for Real-Time Data Access,” Proc. IEEE 14th Real-Time Systems Symp., Dec. 1993.
[11] R.F. Resende, D. Agrawal, and A.E. Abbadi, "Semantic Locking in Object-Oriented Database Systems," Proc Ninth OOPSLA, Oct. 1994.
[12] K. Ramamrithan and C. Pu, "A Formal Characterization of Epsilon-Serializability," IEEE Trans. Knowledge and Data Eng., vol. 7, no. 6, pp. 997-1,007, Dec. 1995.
[13] J. Prichard et al., "RTSORAC; A Real-Time Object-Oriented Database Model," Proc. Fifth Int'l Conf. Database and Expert Systems Applications,Athens, Sept. 1994.
[14] G.A. Bussier, J. Oblinger, and V.F. Wolfe, "Real-Time Considerations in Submarine Target Motion Analysis," Proc. First IEEE Workshop Real-Time Applications, May 1993.
[15] Proc. ACM SIGPLAN Workshop Language, Compiler, and Tool Support Real-Time Systems," W. Pugh and T.M. Marlow, eds., June 1994.
[16] J. Rumbaugh,“Relations as semantic constructs in an object-oriented language,” Proc. of OOPSLA‘87, pp. 466-481, 1987.
[17] P.A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems.New York: Addison-Wesley, 1986.
[18] B. Badrinath and K. Ramamritham, "Synchronizing Transactions on Objects," IEEE Trans. Computers, vol. 37, pp. 541-547, May 1988.
[19] P. Drew and C. Pu, "Asynchronous Consistency Restoration Under Epsilon Serializability," Technical Report OGI-CSE-93-004, Dept. of Computer Science and Engineering, Oregon Graduate Inst., 1993.
[20] D.L. Wells, J.A. Blakely, and C.W. Thompson, "Architechture of an Open Object-Oriented Database Management System," Computer, vol. 25, no. 10, pp. 74-82, Oct. 1992.
[21] V.F. Wolfe, L.C. DiPippo, J. Prichard, and J. Peckham, "The Design of Real-Time Extensions to the Open Object-Oriented Database System," First IEEE Workshop Object-Oriented Real-Time Dependable Systems, Oct. 1994.
[22] L.C. DiPippo and V.F. Wolfe, "Testing the Performance of Object-Based Semantic Real-Time Concurrency Control," Technical Report TR95-245, Dept. of Computer Science and Statistics, Univ. of Rhode Island, 1995.
[23] W. Weihl, "Commutativity-Based Concurrency Control for Abstract Data Types," IEEE Trans. Computers, vol. 37, pp. 1,488-1,505, Dec. 1988.
[24] K.-L. Wu, P.S. Yu, and C. Pu, Divergence Control for Epsilon-Serializability Proc. Eighth Int'l Conf. Data Eng., pp. 506-515, 1992.

Index Terms:
Bounded imprecision, real-time object-oriented databases, semantic concurrency control.
Citation:
Lisa Cingiser DiPippo, Victor Fay Wolfe, "Object-Based Semantic Real-Time Concurrency Control with Bounded Imprecision," IEEE Transactions on Knowledge and Data Engineering, vol. 9, no. 1, pp. 135-147, Jan.-Feb. 1997, doi:10.1109/69.567056
Usage of this product signifies your acceptance of the Terms of Use.