Advertisement

Database concepts for the support of knowledge-based systems

  • Thomas Ludwig
  • Bernd Walter
Conference paper
  • 129 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 474)

Abstract

The purpose of a database management system is the reliable and efficient management of shared persistent data. Current knowledge-based systems are designed for representing and processing knowledge in a way that is cognitively adequate. Since knowledge should be kept persistent as well, it seems to be interesting to combine the techniques of database management systems and knowledge-based systems into something like a knowledge base management system. We shortly show some conceptual differences between these two types of systems and then discuss how database concepts should be evolved in order to meet the requirements of knowledge-based systems. Using LILOG-DB as an example, we demonstrate in detail the modeling capabilities a database system should provide in order to support typical knowledge structures.

Especially, we discuss the design of FLL, a first-order logic based query language supporting an order-sorted complex-object data-model under an Open-World Assumption.

Keywords

Logic Program Database System Knowledge Representation Open Structure Database Management System 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J. R. Abrial, ”Data Semantics”, in J. W. Klimbie, K. L. Koffeman (eds.): Data Base Management North Holland, 1974Google Scholar
  2. [2]
    R. Agrawal, N. Gehani: ODE (Object Database and Environment): The Language and the Data-Model SIGMOD 1989Google Scholar
  3. [3]
    H. Ait-Kaci, R. Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance JLP 1986, 3, 185–215Google Scholar
  4. [4]
    F. Bancilhon, R. Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies SIGMOD, Washington, 1986, pp. 16–52Google Scholar
  5. [5]
    C. Beeri: ”Formal Methods for Object Oriented Databases”Proc. 1st Int. Conf. on Deductive and Object-Oriented Databases, 1989Google Scholar
  6. [6]
    C. Beeri et al.: Sets and Negation in a Logic Database Language (LDL1) PODS 6, 1987, 21–37Google Scholar
  7. [7]
    C. Beeri, R. Nasr, Sh. Tsur: Embedding ψ-terms in a Horn-Clause Logic Language Proc. 3rd Int. Conf. on Data and Knowledge Bases, Jerusalem, 1988Google Scholar
  8. [8]
    R. Brachman, J. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 1985, 9, 171–216Google Scholar
  9. [9]
    S. Ceri, G. Gottlob, L. Tanca: ”Logic Programming and Databases” Springer-Verlag, 1990Google Scholar
  10. [10]
    P. Chen: The Entity-Relationship Model: Toward a Unified View of Data. TODS 1976, Vol. 1, No. 1, 9–36Google Scholar
  11. [11]
    E.F. Codd: A Relational Model for Large Shared Data Banks CACM 13:6, pp. 377–387Google Scholar
  12. [12]
    O.J. Dahl et al.: SIMULA 67 Common Base Language Publication N.S-22, Norwegian Computing Center, Oslo, 1970Google Scholar
  13. [13]
    R. Elmasri, S. B. Navathe: Fundamentals of Database Systems Benjamin/Cummings, 1989Google Scholar
  14. [14]
    R. A. Frost: Introduction to Knowledge Base Systems Collins, 1986Google Scholar
  15. [15]
    G. Gardarin, P. Valduriez: Relational Databases and Knowledge Bases Addison-Wesley, 1989Google Scholar
  16. [16]
    M. Hammer, D. McLeod: Database Description with SDM: A Semantic Database Model. ACM TODS 1981, Vol. 6, No. 3, 351–386Google Scholar
  17. [17]
    H. Kamp: Discourse Representation Theory: What it is and where it ought to go. LNCS, Vol. 320, 84–111Google Scholar
  18. [18]
    R.T. Kasper, W.C. Rounds: A Logical Semantics for Feature Structures Proc. 24th Ann. Meeting of the Ass. for Comp. Linguistics, New York, 1986, 257–265Google Scholar
  19. [19]
    M. Ley: Ein Fact-Manager zur persistenten Speicherung variabel strukturierter komplexer Objekte IBM Germany, LILOG-Report 60, 1988, in GermanGoogle Scholar
  20. [20]
    M. Ley, B. Walter: Der LILOG-DB Fact-Manager: Ein Datenbankkern zur Speicherung variabel strukturierter komplexer Objekte to appear in: Informatik — Forschung und Entwicklung, 1990Google Scholar
  21. [21]
    T. Ludwig: FLL: A First-Order Language for Deductive Retrieval of Feature Terms IBM Germany, LILOG-Report 57, 1988Google Scholar
  22. [22]
    T. Ludwig: EFTA: An Algebra for Deductive Retrieval of Feature Terms IBM Germany, LILOG-Report 58, 1988Google Scholar
  23. [23]
    T. Ludwig: Algebraic Optimization of EFTA — Expressions. IBM Germany, LILOG-Report 59, 1988Google Scholar
  24. [24]
    T. Ludwig: The Design and Implementation of TLPROLOG IBM Germany, IWBS-Report 97, 1989Google Scholar
  25. [25]
    T. Ludwig: A Brief Overview of LILOG-DB. Proc. Data Engineering Conf. 1990Google Scholar
  26. [26]
    T. Ludwig: Compilation of Complex Datalog with Stratified Negation Proc. 9th British National Conference on Databases, York, 1990Google Scholar
  27. [27]
    T. Ludwig, B.Walter: EFTA: An Algebra for Deductive Databases. To appear in: Journal of Data and Knowledge EngineeringGoogle Scholar
  28. [28]
    T. Ludwig, B.Walter, M.Ley, A.Maier, E.Gehlen: LILOG-DB: Database-Support for Knowledge-Based Systems Proc. BTW, March 1989, SpringerGoogle Scholar
  29. [29]
    S. Naqvi, S. Tsur: A Logical Language for Data and Knowledge Bases Computer Science Press, 1989Google Scholar
  30. [30]
    B. Nixon, L. Chung, et al.: Implementation of a Compiler for a Semantic Data Model: Experience with Taxis. SIGMOD Conf. 1987, San Francisco, 118–131Google Scholar
  31. [31]
    J. Peckham, F. Maryanski: Semantic Data Models. ACM Computing Surveys, Vol.20, No.3, Sept. 1988Google Scholar
  32. [32]
    T. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs In: Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 1988, pp. 193–216Google Scholar
  33. [33]
    J.E. Richardson et al.: The Design of the E Programming Language Comp. Science Technical Report 824, Univ. Wisconsin, Madison, 1989Google Scholar
  34. [34]
    J.C. Shepherdson: Negation in Logic Programming In: Foundations of Deductive Databases and Logic Programming, Ed.: J. Minker, Morgan Kaufmann, 1988, pp. 19–88Google Scholar
  35. [35]
    S. Shieber: An Introduction to Unification-Based Approaches to Grammar CLSI Lecture Notes 4, Stanford University, 1986Google Scholar
  36. [36]
    O. Shmueli, Sh. Naqvi: Set Grouping and Layering in Horn-Clause Programs 4th International Conference on Logic Programming, Melbourne, 1987, 152–177Google Scholar
  37. [37]
    J. F. Sowa: Conceptual Structures, Information Processing in Mind and Machine Addison-Wesley, 1984Google Scholar
  38. [38]
    J. Ullman: Principles of Database Systems. Computer Science Press, 1987Google Scholar
  39. [39]
    J. D. Ullman: Principles of Database and Knowledge-Base Systems, Vol. I Computer Science Press, 1988Google Scholar
  40. [40]
    J. D. Ullman: Principles of Database and Knowledge-Base Systems, Vol. II Computer Science Press, 1989Google Scholar
  41. [41]
    C. Zaniolo and D. Sacca: Rule Rewriting Methods for Efficient Implementations of Horn Logic MCC Technical Report DB-084-87, 1987Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Thomas Ludwig
    • 1
  • Bernd Walter
    • 1
  1. 1.Department of Mathematics and Computer ScienceUniversity of TrierTrierFederal Republic of Germany

Personalised recommendations