Database — Knowledge Base Consistency Monitor

  • W. Cellary
  • A. Jaeschke
  • T. Morzy
  • H. Orth
  • G. Zilly


Expert systems composed of a database and a knowledge base, which cooperate, are considered. In such systems mutual consistency of the database and the knowledge base must be enforced. A consistency monitor is proposed for this purpose, whose task is double: to enforce internal consistency of the database and mutual consistency of the database and the knowledge base. The first task comprise enforcement of referential constraints imposed on the database. An efficient technique is proposed. Referential constraints are enforced by the use of DBMS journals instead of looking up the entire database. The consistency monitor described in this paper is applied in the laboratory information and management system ELAN installed in the analytical laboratories of the nuclear fuel reprocessing pilot plan at the Nuclear Center of Karlsruhe.


Knowledge Base Integrity Constraint Mutual Database Entire Database Database Instance 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Badal, D., Popek, G., Cost Performance Analysis of Semantic Integrity Validation Methods, Proc. SIGMOD Conf. on Management of Data, Austin, 1979, pp. 109–115Google Scholar
  2. [2]
    Bernstein, P.A., Blaustein, B.T., Fast Method for Testing Quantified Relational Calculus Assertions, Proc. SIGMOD Conf. on Management of Data, Orlando, 1982, pp. 39–50Google Scholar
  3. [3]
    Cammarata, S., Ramachandra, P., Shane, D., Extending a Relational Database with Deferred Referential Integrity Checking and Intelligent Joins, Proc. SIGMOD Conf. on Management of Data, Austin, 1989, pp. 88–97Google Scholar
  4. [4]
    Casanova, M.A., Tucherman, L., Furtado, A.L., Enforcing Inclusion Dependencies and Referential Integrity, Proc. 14th VLDB Conf. Los Angeles, 1988, pp. 38–49Google Scholar
  5. [5]
    Date, C.J., Referential Integrity, Proc. 7th VLDB Conf. Cannes (France), 1981, pp. 2–12Google Scholar
  6. [6]
    Furtado, A., dos Santos, D., de Castilho, J., Dynamic Modeling of a Simple Existence Constraints, Information Systems 6, 1981, pp. 73–80CrossRefGoogle Scholar
  7. [7]
    Hatonn, T., Deferred vs Immediate Checking for Consistency of Databases, Management Information System Week (June 1988)Google Scholar
  8. [8]
    Hsu, A., Imielinski, T., Integrity Checking for Multiple Updates, Proc. SIGMOD Conf. on Management of Data, Austin, 1985, pp. 152–168Google Scholar
  9. [9]
    Hammer, M., Sarin, S., Efficient Monitoring of Database Assertions, Proc. SIGMOD Conf. on Management of Data, Austin, 1978, pp. 38–49Google Scholar
  10. [10]
    Jaeschke, A., Orth, H., Zilly, G., Expertensystem-gesteuertes Informationssystem fuer ein chemisch-analytisches Betriebslabor,Fachtagung Prozessrechensysteme ’88, Stuttgart, Maerz 1988, Berlin (u.a.): Springer, 1988, pp. 376–382 (Informatik Fachberichte; 167)Google Scholar
  11. [11]
    Jaeschke, A., Orth, H., Zilly, G., Expertensystemgestuetztes Informations–und Managementsystem fuer die Laboranalytik, G. Schmidt (Hrsg.) Mit vernetzten, intelligenten Komponenten zu leistungsfaehigeren Mess–und Automatisierungssystemen, Fachbeitraege INTERKAMA Kongress 89, Muenchen (u.a.): Oldenbourg, Oktober 1989, pp. 633–641Google Scholar
  12. [12]
    Kobayashi, I., Validating Database Updates, Information Systems 9, 1, 1986, pp. 1–17CrossRefGoogle Scholar
  13. [13]
    Lafue, G.M.F., Semantic Integrity Dependencies and Delayed Integrity Checking, Proc. 8th VLDB Conf. Mexico, 1982, pp. 292–299Google Scholar
  14. [14]
    Orth, H., Zilly, G., Expertensystem hilft Experten im Labor, Ingres News, Ausgabe II, 1988, U. Parthier, Ingres: Datenbankmanagement der Zukunft, Wuerzburg, Vogel, 1989, pp. 94–98Google Scholar
  15. [15]
    Qian, X., Smith, D.R., Integrity Constraint Reformulation for Efficient Validation, Proc. 13th VLDB Conf. Brighton, 1987, pp. 417–425Google Scholar
  16. [16]
    Qian, X., Effective Method for Integrity Constraint Simplification, Proc. 4th Conf. on Data Engineering, Los Angeles, 1988Google Scholar
  17. [17]
    Stonebraker, M., Implementation of Integrity Constraints and Views by Query Modification, Proc. SIGMOD Conf. on Management of Data, San Jose, 1985, pp. 65–78Google Scholar
  18. [18]
    Stonebraker, M., Rowe, L., The Design of POSTGRES, Proc. SIGMOD Conf. on Management of Data, Washington, 1986, pp. 340–354Google Scholar

Copyright information

© Springer-Verlag/Wien 1990

Authors and Affiliations

  • W. Cellary
    • 1
  • A. Jaeschke
    • 2
  • T. Morzy
    • 1
  • H. Orth
    • 2
  • G. Zilly
    • 2
  1. 1.Technical University of PoznańPoznańPoland
  2. 2.Kernforschungszentrum Karlsruhe GmbHKarlsruheWest Germany

Personalised recommendations