Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Badal, D., Popek, G., Cost Performance Analysis of Semantic Integrity Validation Methods, Proc. SIGMOD Conf. on Management of Data, Austin, 1979, pp. 109–115
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–50
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–97
Casanova, M.A., Tucherman, L., Furtado, A.L., Enforcing Inclusion Dependencies and Referential Integrity, Proc. 14th VLDB Conf. Los Angeles, 1988, pp. 38–49
Date, C.J., Referential Integrity, Proc. 7th VLDB Conf. Cannes (France), 1981, pp. 2–12
Furtado, A., dos Santos, D., de Castilho, J., Dynamic Modeling of a Simple Existence Constraints, Information Systems 6, 1981, pp. 73–80
Hatonn, T., Deferred vs Immediate Checking for Consistency of Databases, Management Information System Week (June 1988)
Hsu, A., Imielinski, T., Integrity Checking for Multiple Updates, Proc. SIGMOD Conf. on Management of Data, Austin, 1985, pp. 152–168
Hammer, M., Sarin, S., Efficient Monitoring of Database Assertions, Proc. SIGMOD Conf. on Management of Data, Austin, 1978, pp. 38–49
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)
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–641
Kobayashi, I., Validating Database Updates, Information Systems 9, 1, 1986, pp. 1–17
Lafue, G.M.F., Semantic Integrity Dependencies and Delayed Integrity Checking, Proc. 8th VLDB Conf. Mexico, 1982, pp. 292–299
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–98
Qian, X., Smith, D.R., Integrity Constraint Reformulation for Efficient Validation, Proc. 13th VLDB Conf. Brighton, 1987, pp. 417–425
Qian, X., Effective Method for Integrity Constraint Simplification, Proc. 4th Conf. on Data Engineering, Los Angeles, 1988
Stonebraker, M., Implementation of Integrity Constraints and Views by Query Modification, Proc. SIGMOD Conf. on Management of Data, San Jose, 1985, pp. 65–78
Stonebraker, M., Rowe, L., The Design of POSTGRES, Proc. SIGMOD Conf. on Management of Data, Washington, 1986, pp. 340–354
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag/Wien
About this chapter
Cite this chapter
Cellary, W., Jaeschke, A., Morzy, T., Orth, H., Zilly, G. (1990). Database — Knowledge Base Consistency Monitor. In: Tjoa, A.M., Wagner, R. (eds) Database and Expert Systems Applications. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7553-8_90
Download citation
DOI: https://doi.org/10.1007/978-3-7091-7553-8_90
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82234-0
Online ISBN: 978-3-7091-7553-8
eBook Packages: Springer Book Archive