Deduktive Datenbanken und Logische Programmierung

(Winter 2003/2004)

Die Klausur findet am 05.02.2004, 8:15-9:45, in Raum 509 (Von Seckendorff-Platz 1) statt.

Die Hausaufgaben-Punkte stehen jetzt in der Online-Datenbank: [Punkte anzeigen]. Bitte kontrollieren Sie die Korrektheit.

Anfang des fünften Kapitels (frühere Kapitel siehe unten): [PDF] [Postscript verkleinert]

Informationen zu den Übungen

Geplante Themen

Logische Grundlagen: Horn-Klauseln, Herbrand Modelle
Datenbank-Anfragen und Programmierung in Datalog
Programmierung in Prolog
Anfrage-Auswertung: Naiv, Seminaiv, Magische Mengen
Programm-Ausführung: SLD-Resolution, eventuell kurze Einführung in die Warren Abstract Machine (WAM)
Nichtmonotone Negation
Eventuell Integritätsüberwachung.
Eventuell Constraint Logic Programming.
Ausblick auf neuere logische Programmiersprachen

Dozent

Prof. Dr. Stefan Brass

Büro:: Raum 313 (Institut für Informatik, Von-Seckendorff-Platz 1)
Sprechstunde:: Nach Vereinbarung.
Email:: brass@acm.org
Telefon:: 0345/55-24740 (Büro), 0641/9609992 (zu Hause, möglichst nur 8-13, 16-21)
Fax:: 0345/55-27333 (im Sekretariat)
Sekretariat:: Frau Vahrenhold, Telefon 0345/55-24750, Zimmer 324

Übungsleiter

Dr. Alexander Hinneburg

Büro:: Raum 314 (Institut für Informatik, Von-Seckendorff-Platz 1)
Sprechstunde:: Nach Vereinbarung.
Email:: hinneburg@informatik.uni-halle.de
Telefon:: 0345/55-24732

Termine

Vorlesung:

Donnerstags, 8:15-9:45, Raum 3.07 (Von-Seckendorff-Platz 1)

Theoretische Übung und Praktische Übung am Rechner:

Donnerstags, 10:15-11:45, Raum 3.04 (Von-Seckendorff-Platz 1)

Vorlesungs-Materialien

Informationen zur Vorlesung

Folien
[Postscript, S/W, verkleinert] [PDF, farbig, gross]

Folien

Die Vorlesungsmaterialien werden hier ins Internet gestellt, sobald sie fertig sind.

Introduction (85 Folien)
[Postscript, S/W, verkleinert] [PDF, farbig, gross]
Basic Notions of Predicate Logic (73 Folien)
[Postscript, S/W, verkleinert] [PDF, farbig, gross]
Pure Prolog (146 Folien)
[Postscript, S/W, verkleinert] [PDF, farbig, gross]
Built-In Predicates (82 Folien)
[Postscript, S/W, verkleinert] [PDF, farbig, gross]
Practical Prolog Programming
Bottom-Up Evaluation
Magic Sets
Negation
Integrity Constraints
Constraint Logic Programming

Folien meiner Vorlesung `Deduktive Datenbanken' im Sommer 1998: [Homepage der Vorlesung]

0. Vorbemerkungen:
[Postscript] [Postscript verkleinert]
1. Einleitung:
[Postscript] [Postscript verkleinert]
2. Datalog: Syntax und Semantik:
[Postscript] [Postscript verkleinert]
3. Bottom-Up Auswertung:
[Postscript] [Postscript verkleinert]
4. Eingebaute Prädikate und Funktionssymbole:
[Postscript] [Postscript verkleinert]
5. Magische Mengen:
[Postscript] [Postscript verkleinert]
6. Negation:
[Postscript] [Postscript verkleinert]

Folien meiner Vorlesung `Logische Programmierung' vom WS 1993/94:

(Die Folien lagen in einer nicht mehr unterstützten LaTeX-Version vor. Es gibt daher kleinere Abweichungen von den Originalen.)

Vorbemerkungen:
[Postscript] [PDF]
Prolog in Beispielen:
[Postscript] [PDF]
Prolog Syntax:
[Postscript] [PDF]
Prolog Ausführung:
[Postscript] [PDF]
Eingebaute Prädikate:
[Postscript] [PDF]
Prolog vs. Pascal:
[Postscript] [PDF]
Deklarative Semantik:
[Postscript] [PDF]
Korrektheit und Vollständigkeit der SLD-Resolution:
[Postscript] [PDF]
Negation as Failure:
[Postscript] [PDF]
Standard-Algorithmen:
[Postscript] [PDF]
Programmierstil:
[Postscript] [PDF]
Grammatiken in Prolog:
[Postscript] [PDF]
Prolog Implementierung (Interpreter):
[Postscript] [PDF]
Prolog Implementierung (Compiler):
[Postscript] [PDF]
Zusammenfassung (Beispiele für Prüfungsfragen):
[Postscript] [PDF]

Software-Links

SWI-Prolog
[http://www.swi-prolog.org/]
ECLiPSe Constraint Logic Programming System
[http://www-icparc.doc.ic.ac.uk/eclipse/]
GNU Prolog
[http://www.gnu.org/software/prolog/]
The Ciao Prolog System
[http://clip.dia.fi.upm.es/~clip/Software/Ciao/]
SICStus Prolog
         [http://www.sics.se/sicstus/] (Homepage)
         [http://www.sics.se/sicstus/docs/3.7.1/html/sicstus_toc.html] (User Manual)
         [http://www.sics.se/isl/sicstuswww/site/links.html] (Useful Links)
Visual Prolog
[http://www.visual-prolog.com/]
[http://www.pdc.dk/Default.htm] (PDC: Prolog Development Center)
Coral Deductive Database
[http://www.cs.wisc.edu/coral/]
The Aditi Deductive Database
[http://www.cs.mu.oz.au/research/aditi/]
The Deductive Database System LDL++
[http://wis.cs.ucla.edu/ldl/]
[http://www.cs.ucla.edu/~zaniolo/papers/tplp02.pdf] (Neuerer Artikel über LDL++)
The Mercury Project
[http://www.cs.mu.oz.au/research/mercury/]
The Mozart Programming System
[http://www.mozart-oz.org/]
XSB
[http://xsb.sourceforge.net/]
FLORID/FloXML
[http://www.informatik.uni-freiburg.de/~dbis/florid/]
ROCK&ROLL: Deductive Object Oriented Database System
[http://www.cee.hw.ac.uk/Databases/rnr.html]
ConceptBase: A Deductive Object Manager for Meta Databases
[http://www-i5.informatik.rwth-aachen.de/CBdoc/]
The Goedel Programming Language
[http://www.cs.bris.ac.uk/~bowers/goedel.html]
The Prolog ISO Standard Documents
[http://pauillac.inria.fr/~deransar/prolog/docs.html]

Andere Kurse, Tutorials (im Aufbau)

Voraussetzungen zur Teilnahme

(nur Informatik-Grundkenntnisse)
Natürlich wäen Kenntnisse über Datenbanken, mindestens eine Programmiersprache, und mathematische Logik von Vorteil.

Übungsscheine

Bei Interesse besteht die Möglichkeit zum Erwerb eines Übungsscheins. Die genauen Modalitäten hängen von der Anzahl der Interessenten ab und werden in der Vorlesung bekanntgegeben. Voraussichtlich wird es Hausaufgaben und zwei Klausuren geben.

Punkte Datenbank

Es wird die Möglicht geben, Ihren Punktestand für Hausaufgaben und Klausur online abzufragen. Sie müssen sich dazu in der ersten Semesterwoche als Benutzer der Datenbank registrieren. Wenn Sie von dieser Möglichkeit keinen Gebrauch machen wollen, melden Sie sich bitte beim Dozenten, da sich sonst jemand anderes unter Ihrem Namen registrieren kann. Achten Sie bitte auf weitere Ansagen in der Vorlesung.

Literatur (Bücher)

Weitere Informationsquellen im WWW

Weitere Informationsquellen:

DBWORLD Email List
Database Systems and Logic Programming (Bibliography Server)
- Database research Groups
ACM Digital Library
Bibliographies about Database Research (Karlsruhe)
ACM SIGMOD (Special Interest Group on Mangament of Data)
Join ACM SIGMOD or Find your Membership Number
Netbib Search
Database Junior Researcher Organization
GI-Arbeitskreis "Grundlagen von Informationssystemen
Fachgruppe "Datenbanksysteme" der GI

Stefan Brass (brass@acm.org), 17. Juli 2003

Original URL: http://www.informatik.uni-halle.de/~brass/lp03/ [HTML 3.2 Checked] [Links Geprüft]