Advertisement

From a passive to an active database supporting exceptions

  • Bruno Defude
  • Hervé Martin
Active Databases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 856)

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

Keywords

Integrity constraints Object-Oriented DBMS Pre(post)-conditions Exceptions Inheritance 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 3.
    Communications of the ACM: Special Issue: Next Generation DBMS. Communications of the ACM, Vol. 34, No. 10, October 1991Google Scholar
  4. 4.
    P. Coad, E. Yourdon: Object-Oriented Analysis. Prentice-Hall, Englewood Cliffs, 1990Google Scholar
  5. 5.
    P. Coad, E. Yourdon: Object-Oriented Design. Prentice-Hall, Englewood Cliffs, 1991Google Scholar
  6. 6.
    O. Deux & al.: The story of O2. IEEE Trans. Knowl. Data Eng., Vol. 2, No. 1, March 1990Google Scholar
  7. 7.
    C. Esculier: Non monotonic knowledge evolution in VLKDBS. Proc. Very Large Data Bases Conf., Brisbane, August 1990Google Scholar
  8. 8.
    A. Goldberg, D. Robson: Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA 1983Google Scholar
  9. 9.
    C.A.R. Hoare: An Axiomatic Approach to computer programming. Communications of the ACM pp 576–580 October 1969Google Scholar
  10. 10.
    C. Lecluse, P. Richard, F. Velez: O2, an object-oriented data model. Proc. of the ACM SIGMOD Conf., Chicago, 1988Google Scholar
  11. 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. 12.
    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen: Object-Oriented Modelling and Design. Prentice-Hall, Englewood Cliffs, 1991Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Bruno Defude
    • 1
  • Hervé Martin
    • 2
  1. 1.Institut National des TélécommunicationsEvry CedexFrance
  2. 2.Laboratoire de Génie InformatiqueIMAG-CampusGrenoble CedexFrance

Personalised recommendations