Vorlesung Deduktive Datenbanken
Sommersemester 2015

    Prof. Dr. Dietmar Seipel

---

Klausur

• Zeit: Dienstag, 04.08.2015, 11:00-12:15 Uhr
• Ort: Hörsaal 4 (Vorlesungshörsaal)
• Hinweise: Es sind keine Hilfsmittel zugelassen.
  Studentenausweis bitte mitbringen.

Mündliche Nachprüfungen

• Zeit: Dienstag, 29.09.2015, 14:00-16:00 Uhr
• bitte bis zum 18.09. Kontakt aufnehmen

Material

• Vorlesung
  • Folien
  • Prolog in der Vorlesung vom 28.04.2015
• Übungen
  • Blatt 01 (company.pl)
  • Blatt 02 (tennis.pl)
  • Blatt 03
  • Blatt 04
  • Blatt 05 (tp_operator_dislog.pl)
  • Blatt 06
  • Blatt 07 (tennis_match.pl)
  • Blatt 08
  • Blatt 09
  • Blatt 10
• Altklausuren
  • Klausur 2013 (Lösung)
• DDK
  • download (DisLog.tgz)

Inhalt

Die Vorlesung deduktive Datenbanken befasst sich mit der Verbindung zwischen den Gebieten der Logikprogrammierung und der klassischen relationalen Datenbanken.

Prädikatenlogische Regeln sind ein ausdrucksstarkes Werkzeug zur Formulierung von Anfragen an Datenbanken. Sehr wichtig ist dabei das Konzept rekursiver Anfragen, da diese in der klassischen relationalen Datenbankanfragesprache SQL im allgemeinen nicht formulierbar sind.

Es wird die Sprache DATALOG vorgestellt, welche - syntaktisch gesehen - eine Einschränkung der bekannten Logiksprache PROLOG darstellt, und es werden Optimierungstechniken zur effizienten Auswertung von DATALOG-Programmen behandelt. Die Erweiterung von DATALOG um die wichtigen Konstrukte der Negation und der Disjunktion erfolgt schliesslich basierend auf Semantikansätzen, welche Konzepte des nicht-monotonen Schliessens aus der küstlichen Intelligenz verwenden.

Begleitend werden die Sprache PROLOG sowie das deduktive Datenbanksystem DDBase vorgestellt.

Literatur

• I. Bratko: Prolog - Programming for Artificial Intelligence, 3rd Edition. Addison-Wesley, 2001.
• S. Ceri, G. Gottlob, L. Tanca: Logic Programming and Databases. Springer, 1990.
• W.F. Clocksin, C.S. Mellish: Programming in Prolog, 5th Edition. Springer, 2003.
• A. Cremers, U. Griefahn, R. Hinze: Deduktive Datenbanken. Vieweg, 1994.
• S.K. Das: Deductive Databases and Logic Programming. Addison-Wesley, 1992.
• J.W. Lloyd: Foundations of Logic Programming. Springer, 1987.
• J. Lobo, J. Minker, A. Rajasekar: Foundations of Disjunctive Logic Programming. MIT Press, 1992.

Allgemeine Angaben

• Vorlesung (4 SWS, Theorie: 3, Praxis: 1)
  • Dienstag und Freitag, 14:15 - 15:45 Uhr
  • Hörsaal 4
• Übungen (2 SWS, in Gruppen)
  • Donnerstag, 8 - 10 und 10 - 12 Uhr
  • Seminarraum I und II
• Master und Diplom (Hauptstudium)