From a passive to an active database supporting exceptions
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. Exceptions are defined at the class level. We consider that an exception has a signature (the context of the exception) and an implementation (the process associated with the exception). We define the semantics of inheritance related to exceptions. The process control of this exception mechanism is also presented. This model can be considered at an execution level and we show how some general integrity rules (e.g referential integrity) can be compiled into pre(post)-conditions and exceptions.
KeywordsIntegrity constraints Object-Oriented DBMS Pre(post)-conditions Exceptions Inheritance
Unable to display preview. Download preview PDF.
- 1.M. Atkinson, F. Bancilhon, D. De Witt, K. Dittrich, D. Maier, S. Zdonick: The Object Oriented Database System Manifesto. Proc. Deductive and Object Oriented Databases Conf. Kyoto, December 1989Google Scholar
- 2.V. Benzaken, A. Doucet: Enforcement Tests Generation for Integrity Constraint. Checking Based on Simplification Methods in Object-Oriented Database Systems. Proc. 8eme Journée Bases de Données, Trégastel, September 92.Google Scholar
- 3.Communications of the ACM: Special Issue: Next Generation DBMS. Communications of the ACM, Vol. 34, No. 10, October 1991Google Scholar
- 4.P. Coad, E. Yourdon: Object-Oriented Analysis. Prentice-Hall, Englewood Cliffs, 1990Google Scholar
- 5.P. Coad, E. Yourdon: Object-Oriented Design. Prentice-Hall, Englewood Cliffs, 1991Google Scholar
- 6.O. Deux & al.: The story of O2. IEEE Trans. Knowl. Data Eng., Vol. 2, No. 1, March 1990Google Scholar
- 7.C. Esculier: Non monotonic knowledge evolution in VLKDBS. Proc. Very Large Data Bases Conf., Brisbane, August 1990Google Scholar
- 8.A. Goldberg, D. Robson: Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA 1983Google Scholar
- 9.C.A.R. Hoare: An Axiomatic Approach to computer programming. Communications of the ACM pp 576–580 October 1969Google Scholar
- 10.C. Lecluse, P. Richard, F. Velez: O2, an object-oriented data model. Proc. of the ACM SIGMOD Conf., Chicago, 1988Google Scholar
- 11.H. Martin, M. Adiba, B. Defude: Consistency Checking in Object-Oriented Databases: A Behavioral Approach. Selected Papers Conf. on Information and Knowledge Management, Baltimore, Maryland, November 1992, Lecture Notes in Computer Science 752Google Scholar
- 12.J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen: Object-Oriented Modelling and Design. Prentice-Hall, Englewood Cliffs, 1991Google Scholar