Handling active databases with partial inconsistencies

  • Opher Etzion
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 548)


Active Database is a database which contains as a part of its schema definitions of derived data stated as computational invariants and constraints stated as logical invariants. The invariants are enforced in an active way.

The information stored in the database might be partially inconsistent with either database definitions or invariants. This paper classifies the inconsistencies types and suggests an appropriate handling mechanism for each type (using either exception-handling mode or modal operators or numeric methods).


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [DATE 81]
    C.J. Date-Referential Integrity-Proc VLDB, 1981.Google Scholar
    D.W. Etherington-Reasoning with Incomplete Information. Morgan Kaufman, 1987.Google Scholar
  3. [ETZION 90]
    O. Etzion-PARDES-An Active Semantic Database Model. Technion-Israel Institute of Technology-Technical Report ISE-TR-90-1.Google Scholar
  4. [MOORE 85]
    R. C. Moore-Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence, 25, pp 75–94, 1985.Google Scholar
  5. [PEARL 88]
    J. Pearl-The Probabilistic Reasoning in Intelligent System. Morgan Kaufman, 1988.Google Scholar
  6. [REITER 80]
    R. Reiter-A Logic for Default Reasoning. Artificial Intelligence, 13, pp 81–132, 1980.Google Scholar
  7. [SHAFFER 76]
    G. Shaffer-A Mathematical Theory of Evidence. Princeton University Press, 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Opher Etzion
    • 1
  1. 1.Faculty of Industrial and Management EngineeringTechnion-Israel Institute of TechnologyHaifaIsrael

Personalised recommendations