Abstract
This paper presents a mechanism to enforce consistency in object oriented DBMS using pre-conditions and post-conditions on methods. This mechanism is coupled with an exception mechanism to allow deferred controls and semantic tolerance. Conditions are defined using SQL-like expressions and methods composition. A prototype which has been implemented on the O2 object oriented database management system (DBMS) is also described in this paper.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
M. Adiba, C.Collet, P.Dechamboux, B.Defude,: Integrated tools for Object Oriented Persistent Application Development. DEXA Conf. Valence, September 1992
M. Atkinson, F. Bancilhon, D. De Witt, K. Dittrich, D. Maier, S. Zdonick: The Object Oriented Database System Manifesto. DOOD Conf. Kyoto, December 1989
N.S.Barghouti, G.E.Kaiser: Concurrency control in advanced database applications. ACM Computing Surveys, Vol. 23, No. 3, September 1991
A.P. Buchmann, R.S. Carrera, M.A. Vasquez-Galindo: A Generalized Constraint and Exception Handler for an Object oriented CAD-DBMS. Proc. of the Int. Workshop on Object oriented Database Systems, Pacific-Grove CA 23–26 September 1986
CACM: Special Issue: Next Generation DBMS. Com. of the ACM, Vol. 34, No. 10, October 1991
D. Cohen: Compiling complex database transition triggers. Proc. of the ACM SIGMOD Conf., Portland, Oregon, May 1989
U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, S. Sarin: The HiPAC Project: Combining Active Databases and Timing Constraints. SIGMOD Record, Vol. 17, No. 1, March 1988
U. Dayal, M. Hsu, R. Ledin: A transaction model for long running activities. VLDB Int. Conf. 1991
B. Defude, H. Martin: Object oriented approach and new database application requirements. Proc. 4th. Int. Symp. on computer and information science ISCIS. Cesme Turkey, November 1989
O. Deux & al.: The story of O2. IEEE Trans. Knowl. Data Eng., Vol. 2, No. 1, March 1990
E. Dewayne, E. Perry: The Inscape program: Construction and evolution environment. Technical Report. AT&T Bell Laboratories, August 1986
K. Dittrich & al.: An Event/Trigger Mechanism to Enforce Complex Consistency Constraints in Design Databases. SIGMOD Record, Vol. 15, No. 3, September 1986
C. Esculier: Non monotonic knowledge evolution in VLKDBS. Proc. VLDB Conf., Brisbane, August 1990
A. Goldberg, D. Robson: Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA 1983
C.A.R. Hoare: An Axiomatic Approach to computer programming. CACM pp 576–580 October 1969
C. Lecluse, P. Richard, F. Velez: O2, an object-oriented data model. Proc. of the SIGMOD Conf., Chicago, 1988
H. Martin: Controle de la cohérence dans les bases objets: une approche par le comportement. PhD Thesis Grenoble University, January 1991
B. Meyer: Object-oriented Software Construction. C.A.R. Hoare Series Editer 1988
J.M. Nicolas: Logic for improving Integrity Checking in Relational Data Bases. Acta Informatica Vol 18, Fasc. 3 December 1982
M. Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. Int. Conf. on the management of data, Proc. of ACM-SIGMOD, San Jose CA May 1975
M.H. van der Voort, M.L. Kersten: Facets of Database Triggers. Report CS-R9122. CWI P.O. Box 4079, 1009 AB Amsterdam Netherlands, 1991
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martin, H., Adiba, M., Defude, B. (1993). Consistency checking in object oriented databases: A behavioral approach. In: Finin, T.W., Nicholas, C.K., Yesha, Y. (eds) Information and Knowledge Management Expanding the Definition of “Database”. CIKM 1992. Lecture Notes in Computer Science, vol 752. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57419-0_4
Download citation
DOI: https://doi.org/10.1007/3-540-57419-0_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57419-4
Online ISBN: 978-3-540-48148-5
eBook Packages: Springer Book Archive