Kurzfassung
Expertensysteme mit einer grossen Wissensbasis sind auf die Unterstützung von Datenbanksystemen angewiesen. Datenbanksysteme stellen jedoch nur begrenzte Möglichkeiten zur Wissensrepräsentation zur Verfügung, insbesondere ist es nicht möglich, rekursive Regeln zu definieren, welche auf der Basis von vorhandenen Daten (= Relationen im relationalen Datenbankmodell) definiert sind. In der Terminologie von PROLOG bedeutet dies, dass Datenbanksysteme zwar eine Verwaltung von Facts, nicht jedoch von Rules erlauben. Der Abstand zwischen konventionellen Datenbanksystemen und den Erfordernissen von wissensbasierten Systemen erscheint also zu gross. In dieser Arbeit wird daher eine Erweiterung einer auf dem Relationenmodell basierenden Datenbanksprache vorgestellt, die es erlaubt, Regeln auf der Basis von Relationen zu definieren. Diese Regeln können auch rekursiv sein, daher bietet der neu vorgestellte Regelmechanismus ähnliche Möglichkeiten wie PROLOG, er ist jedoch mengenorientiert und erlaubt effizientere Implementierungsmöglichkeiten. Darüberhinaus werden Nachteile von PROLOG, wie z.B. endlose Rekursionen, vermieden.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Aho, A.V.; Ullman, J.D.: Universality of Data Retrieval Languages, 6th ACM Symp. on Principles of Programming Languages, San Antonio, Texas, January 1979
Atkinson, M.P.; Chrisholm, K.; Cockshott, P.: The New Edinburgh Persistent Algorithmic Language, University of Edinburgh, Department of Computer Science, CSR-90-81, August 1981
Bayer, R.: Query Evaluation and Recursion in Deductive Database Systems, Institut für Informatik Techn. Univ. München, Januar 1985
Brodie, M.L.; Mylopoulos, J.; Schmidt, J.W. (eds.): On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Springer Verlag, 1984
Chandra, A.K.; Harel, D.: Horn Clauses and the Fixpoint Query Hierarchy, ACM Symposium on Principles of Database Systems, Los Angeles, 1982, 158–163
Clocksin, W.F.; Mellish, C.S.: Programming in PROLOG, Springer Verlag 1981
Codd, E.F.: A Relational Model of Data for Large Shared Data Banks, CACM Vol. 13, No. 6, June 1970, 377–387
Codd, E.F.: Relational Completeness of Data Base Sublanguages, in R. Rustin, (ed.): Data Base Systems, Prentice Hall, Englewood Clifîs, NJ, 1972, 65–98
Covington, M.A.: Eliminating Unwanted Loops in PROLOG, SIGPLAN Notices Vol. 20, No. 1, January 1985, 20–26
Gallaire, H.; Minker, J.; Nicolas, J.M.: Logic and Databases; A Deductive Approach, Comp. Surveys, Vol. 16, No. 2, June 1984, 153–185
Hoare,C.A.R.: Recursive Data Structures, International Journal of Computer and Information Structures, Vol. 4, No. 2, 1975, 105–132
Ioannidis, Y.; Shinkle, L.L.; Wong, E.: Enhancing INGRES with Deductive Power, in [Kers 84], 847–850
Jarke, M.; Linnemann, V.; Schmidt, J.W.: Data Constructors: On the Integration of Rules and Relations, 11th International Conference on Very Large Data Bases, Stockholm, August 1985
Jarke, M.; Vassiliou, Y.: Coupling Expert Systems and Database Management Systems, in Reitman.W.R. (ed.): Artificial Intelligence Applications for Business, Ablex, Norwood, NJ, 65–85
Kerschberg,L. (ed.): Proceedings of the First International Workshop on Expert Database Systems, Kiawah Island, South Carolina, October 1984
Kung, R.M.; Hanson, E.; Ioannadis, Y.; Sellis, T.; Shapiro, L.; Stonebraker, M.: Heuristic Search in Data Base Systems, in [Kers 84], 96–107
Lamersdorf, W.: Recursive Data Models for Non-Conventional Database Applications, Proc. Intern. IEEE Conference on Data Engineering, Los Angeles, April 1984
Lamersdorf, W.; Müller, G.; Schmidt, J. W.: Language Support for Office Modelling, Proc. 10th VLDB Conf., Singapore, August 1984, 280–290
Linnemann, V.; Schmidt, J.W.; Jarke, M.: Integrated Fact and Rule Management Based on Relational Technology, Workshop on Knowledge Base Management Systems, Crete, Greece, June 24–26, 1985
Mall, M.; Reimer, M.; Schmidt, J.W.: Data Selection, Sharing, and Access Control in a Relational Scenario, in [BrMySc 84], 411–436
Mylopoulos, J.; Bernstein, P.; Wong, H.T.K.: A Language Facility for Designing Interactive Databsae-Intensive Applications, ACM TODS, Vol. 5, No. 2, June 1980
Schmidt, J.W.: Some High-level Language Constructs for Data of Type Relation, ACM TODS 2,3 (1977), 247–261
Schmidt, J.W.; Mall, M.: Abstraction Mechanisms for Database Programming, Proc. SIGPLAN Symp. on Programming Language Issues in Software Systems, San Francisco, June 1983, 83–93
Smith, J.M.; Fox, S.; Landers, T.: Reference Manual for ADAPLEX, CCA, Cambridge, Mass., January 1981
Tarski, A.: A Lattice Theoretical Fixpoint Theorem and its Applications, Pacific J. Mathematics 5: 2, June 1955, 285–309
Wasserman, A.I.: The Data Management Facilities of PLAIN. Proc. ACM SIGMOD Conf., Boston, May 1979
Wirth, N.: Programming in MODULA-2, Springer Verlag 1983
Zaniolo, C.: Prolog: A Database Query Language for All Seasons, in [Kers 84], 63–73
Zloof, M.M.: Query-by-Example: a Database Language, IBM Syst. J. 16: 4 (1977), 324–343
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Linnemann, V. (1985). Datenbankunterstützung für Expertensysteme. In: Hansen, H.R. (eds) GI/OCG/ÖGI-Jahrestagung 1985. Informatik Fachberichte, vol 108. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70639-4_74
Download citation
DOI: https://doi.org/10.1007/978-3-642-70639-4_74
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15697-0
Online ISBN: 978-3-642-70639-4
eBook Packages: Springer Book Archive