Literatur zur Vorlesung Deduktive Datenbanken 
(SS 99)

Lehrbücher

  1. J.D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I, Computer Science Press, 1989.

    2.  
  2. J.D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II: The New Technologies, Computer Science Press, 1989.

    3. Diese Bücher bieteten eine kurze und gute Einführung in das Gebiet deduktiver Datenbanken.
     
  3. A.B. Cremers, U. Griefahn, R. Hinze: Deduktive Datenbanken, Vieweg, 1994.

    4. Anderer Zugang zur Syntax und Semantik (SLDNF-Resolution)
  1. S. Ceri, G. Gottlob, L. Tanca: Logic Programming and Databases, Springer-Verlag, 1990.
  2. S. Das: Deductive Databases and Logic Programming, Addison-Wesley, 1992
  3. J. Minker: Foundations of Deductive Databases and Logic Programming, Kaufmann, 1998


    4. Die obigen Bücher sind im Handapparat der Informatik-Bibliothek (Altbau) verfügbar!!
     

  4. J.W. Lloyd: Foundations of Logic Programming, second, extended edition, Springer-Verlag, 1987.


Übersichtsartikel

  1. Stefano Ceri, Georg Gottlob and Letizia Tanca, What You Always Wanted to Know About Datalog (And Never Dared to Ask), in : IEEE Transactions on Knowledge and Data Engineering, Vol. 1 No. 1, 1989, pp. 146-166

    2. Datalog aus der Sicht der logischen Programmierung sowie aus der Datenbanktechnologie als Anfragesprache. Übersicht zu Forschungergebnissen  für Datalog. Darüberhinaus Vergleich von Datalog und PROLOG.
     
  2. John Grant and Jack Minker, Deductive database theories, in: The Knowledge Engineering Review, Vol. 4 No. 4, 1989, pp. 267-307

    3. Gesamter Artikel bietet eine sehr gute und kompakte formale Einführung!
     
  3. Jack Minker, Perspectives in Deductive Databases, in : The Journal of Logic Programming, Vol. 5, 1988, pp. 33-60

    4.  
  4. Nicole Bidoit, Negation in rule-based database language: a survey, in: Theoretical Computer Science Vol. 78, 1991, pp. 3-83

    5. Speziell für Datalog mit Negation.
     
  5. Jeffrey F. Naughton and Raghu Ramakrishnan, Bottom-Up Evaluation of Logic Programming, in: Computational Logic-Essays in Honor of Alan Robinson, (eds. J.L. Lassez, G. Plotkin), MIT Press, 1991, pp. 640-700


    6. Die aufgeführten Artikel befinden sich im Ordner der Vorlesung!!
     

  6. Raghu Ramakrishnan, Jeffrey D. Ullman: A survey of deductive database systems. JLP 23(2):125-149 (1995)

    7.  
  7. F. Bry, R. Manthey, H. Schütz, Deduktive Datenbanken. KI - Künstliche Intelligenz,  September 1996, S. 17 - 23, Scientec Publishing, 3/96. 

  8. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. Computing Surveys 16(2): 153-185 (1984)

    9. Besondere Diskursion alternativer Semantikansätze (Modell- und Beweistheorie).

Artikel zu deduktiven Datenbanksystemen (Forschungsprojekte)

  1. Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. In Proceedings of the 3rd International Conference on Logic Programming ICLP 1986: 554-568

    2.  
  2. Carlo Zaniolo: Design and Implementation of a Logic Based Language for Data Intensive Applications. ICLP/SLP 1988: 1666-1687

    3.  
  3. Burkhard Freitag, Heribert Schütz, Günther Specht, Rudolf Bayer, Ulrich Güntzer: LOLA - ein deduktives Datenbanksystem. Objektbanken für Experten 1992: 1-28

    4.  
  4. Kotagiri Ramamohanarao: An Implementation Overview of the Aditi Deductive Database System. DOOD 1993: 184-203

    5.  
  5. Carlo Zaniolo, Natraj Arni, KayLiang Ong: Negation and Aggregates in Recursive Rules: the LDL++ Approach. DOOD 1993: 204-221

    6.  
  6. Matthias Jarke, Rainer Gallersdörfer, Manfred A. Jeusfeld, Martin Staudt: ConceptBase - A Deductive Object Base for Meta Data Management. JIIS 4(2): 167-192 (1995)

    7.  
  7. Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453