Home      Termine      Kontakt      Folien      Ablauf      Prüfung      Literatur      Software      Links

Logische Programmierung und deduktive Datenbanken

Literatur (Lehrbücher und Übersichtsartikel)

Ich empfehle, sich mindestens eines unten genannten Bücher zu beschaffen und begleitend zur Vorlesung zu lesen (viele gibt es in der Bibliothek). Es gibt außerdem eine ganze Reihe von Übersichtsartikeln (s.u.) im Netz. Selbstverständlich stehen auch die in der Vorlesung verwendeten Folien zur Verfügung.

Lehrbücher:

Die Reihenfolge ist mehr oder weniger zufällig und nicht als Wertung zu verstehen.

• William F. Clocksin, Christopher S. Mellish:
  Programming in Prolog. Using the ISO Standard.
  Springer, 2003, 5th Ed., 299 Seiten, ISBN 3540006788, 37.40 Euro
           [Amazon-Seite]

• William F. Clocksin:
  Clause and Effect. Prolog for the Working Programmer.
  Springer, 1997, ISBN 3540629718, 143 Seiten, 32.05 Euro.
           [Amazon-Seite]

• Leon Sterling, Ehud Shapiro:
  The Art of Prolog. Advanced Programming Techniques.
  MIT Press, 1994, 2nd Ed., 560 Seiten. Taschenbuch: ISBN 0262691639, 50.99 Euro.
  Hardcover: ISBN 0262193388.
           [Amazon-Seite (Taschenbuch)]     [Amazon-Seite (Hardcover)]

• Ulf Nilson, Jan Maluszynski:
  Logic, Programming, and Prolog (2nd Ed.).
  John Wiley, 1995, vom Verlag nicht mehr erhältlich, dafür online.
           [http://www.ida.liu.se/~ulfni/lpp]

• Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni:
  Prolog: The Standard. Reference Manual
  Springer, 1996, 272 Seiten, ISBN 3540593047, 58.80 Euro.
           [Amazon-Seite]

• Stefano Ceri, Georg Gottlob, Letizia Tanca:
  Logic Programming and Databases.
  Springer, 1990, 284 Seiten, ISBN 3540517286, nur noch gebraucht.
           [Amazon-Seite]

• Armin B. Cremers, Ulrike Griefahn, Ralf Hinze:
  Deduktive Datenbanken.
  Vieweg, 1994, 463 Seiten, ISBN 3528047003, nur noch gebraucht.
           [Amazon-Seite]

• Robert M. Colomb:
  Deductive Databases and Their Applications.
  Taylor&Francis Group, 1998, 288 Seiten, ISBN 0748407979, 52.86 Euro.
  Gebundene Ausgabe: ISBN 0748407960.
           [Amazon-Seite (Softcover)]     [Amazon-Seite (Hardcover)]

• Thom Frühwirth, Slim Abdennadher:
  Constraint Programmierung. Grundlagen und Anwendungen.
  Springer, 1997, 165 Seiten, ISBN 354060670X, 17.95 Euro.
           [Amazon-Seite]

• Krzysztof R. Apt, Mark G. Wallace:
  Constraint Logic Programming using ECLiPSe.
  Cambridge University Press, 2007, 348 Seiten, ISBN 0-521-86628-6, 52.22 Euro.
           [Amazon-Seite]

Übersichtsartikel (online verfügbar, alphabetisch):

• Francois Bancilhon / Raghu Ramakrishnan:
  An Amateur's Introduction to Recursive Query Processing Strategies.
  Proc. ACM SIGMOD Int. Conf. on Management of Data, 1986, 16--51.
           [Eintrag in der ACM Digital Library]
• François Bry / Dietmar Seipel:
  Deduktive Datenbanken - das aktuelle Schlagwort.
  Informatik Spektrum, Vol. 19, 1996, 214-215.
           [Postscript-Datei]
• Stefano Ceri, Raghu Ramakrishnan:
  Rules in Database Systems.
  ACM Computing Surves, March 1996, Vol. 28, No. 1, 109-111.
           [Eintrag in der ACM Digital Library]
• Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov:
  Complexity and expressive power of logic programming.
  ACM Computing Surves, Sep. 2001, Vol. 33, No. 3, 374-425.
           [Eintrag in der ACM Digital Library]
• Herve Gallaire, Jack Minker, Jean-Marie Nicolas:
  Logic and Databases: A Deductive Approach.
  ACM Computing Surveys (CSUR), Volume 16, Issue 2, June 1984, 153 - 185.
           [Eintrag in der ACM Digital Library]
• Mengchi Liu:
  Deductive database languages: problems and solutions.
  ACM Computing Surveys, March 1999, Vol. 31, No. 1, 27-62.
           [Eintrag in der ACM Digital Library]
• John Grant / Jack Minker:
  The Impact of Logic Programming on Databases.
  Communications of the ACM 35 (3), March 1992, 67-81.
           [Eintrag in der ACM Digital Library]
• Jack Minker:
  Logic and Databases: A 20 Year Retrospective.
  In: D. Pedreschi / C. Zaniolo (Ed.): Logic in Databases, Int. Workshop (LID'96), Springer LNCS 1154, 1996, 3--57.
           [Webseite des Autors]
• Raghu Ramakrishnan / Jeffrey D. Ullman:
  A Survey of Research in Deductive Database Systems.
  The Journal of Logic Programming, Vol. 23, 1995, 125--149.
           [Verfügbar auf dem Standord DB-PUBS Server]
• Kotagiri Ramamohanarao (Ed.):
  Special Issue on Prototypes of Deductive Database Systems.
  The VLDB Journal, Vol. 3, No. 2, 1994.
           [Eintrag auf DBLP]
• Shalom Tsur:
  Deductive Databases in Action.
  Proc. 10th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (PODS'91), 1991, 205-218.
           [Eintrag in der ACM Digital Library]
• Jeffrey D. Ullman, Carlo Zaniolo:
  Deductive databases: achievements and future directions.
  ACM SIGMOD Record, Volume 19, Issue 4, December 1990, 75-82.
           [Eintrag in der ACM Digital Library]
• Laurent Vieille:
  From Data Independence to Knowledge Independence: An on-going Story.
  VLDB'98, 650--654.
           [PDF-Datei auf vldb.org]
• Amruth N. Kumar: Prolog for imperative programmers.
  Journal of Computing Sciences in Colleges, Volume 17, Issue 6 (May 2002), Pages: 167 - 181.
           [Eintarg in der ACM Digital Library]

Stefan Brass (brass@informatik.uni-halle.de), 10. Oktober 2012

Original URL: http://www.informatik.uni-halle.de/~brass/lp12/buecher.html   [XHTML 1.0 Checked]   [CSS Checked]   [Links Geprüft]   [Impressum]