[Themen]
[Dozent]
[Termine]
[Materialien]
[Ablauf]
[Punkte-DB]
[Literatur]
[Software]
[StudIP]
MARTIN-LUTHER-UNIVERSITÄT HALLE-WITTENBERG
Institut für Informatik
Prof. Dr. Stefan Brass
Deduktive Datenbanken und Logische Programmierung
(Sommer 2006)
Die Klausur findet nicht am 10. Juli statt.
Da in diesem Semester mehrere Montage ausgefallen sind,
ist am 10. Juli noch Vorlesung.
Wenn Sie an der Klausur interessiert sind,
melden Sie sich bitte in der Vorlesung.
Bei Bedarf findet die Klausur voraussichtlich in der Woche nach Ende
der Vorlesungszeit statt.
Beispiel für eine Klausur:
[PDF]
[ps, verkleinert].
Erweiterte Version von Kapitel 5
(80 Folien)
[Postscript, S/W, verkleinert]
[PDF, farbig, gross]
Siebtes Übungsblatt (Abgabetermin: 26. Juni):
[PDF]
[Postscript].
Sechstes Übungsblatt (Abgabetermin: 19. Juni):
[PDF]
[Postscript].
Fünftes Übungsblatt (Abgabetermin: 12. Juni):
[PDF]
[Postscript].
Viertes Übungsblatt (Abgabetermin: 29. Mai):
[PDF]
[Postscript].
Beispiel-Dateien für LDL:
[cd_sch.ldl]
[cd_facts.ldl]
[example.ldl].
Drittes Übungsblatt (Abgabetermin: 22. Mai):
[PDF]
[Postscript].
Zweites Übungsblatt (Abgabetermin: 15. Mai):
[PDF]
[Postscript].
CD-Datenbank dazu als Coral-Fakten:
[cd.F]
Beispiel für Sichtdefinition in Coral:
[bsp.P]
Erstes Übungsblatt (Abgabetermin: 8. Mai):
[PDF]
[Postscript].
CD-Datenbank dazu als Prolog-Fakten:
[cd.pro]
Geplante Themen
- Einleitung (Motivation, Historische Entwicklung, Einordnung)
- Logische Grundlagen:
Horn-Klauseln, Herbrand Modelle, Minimales Modell
- Datenbank-Anfragen und Programmierung in Datalog
- Eingebaute Prädikate
- Anfrage-Auswertung I: Naiv, Seminaiv
- Pure Prolog (mit Funktionssymbolen)
- Programm-Ausführung: SLD-Resolution,
eventuell kurze Einführung in die Warren Abstract Machine (WAM)
- Praktische Prolog-Programmierung
- Anfrage-Auswertung II: Magische Mengen
- 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)
- Fax:
-
0345/55-27333 (im Sekretariat)
- Sekretariat:
-
Frau Vahrenhold, Telefon 0345/55-24750, Zimmer 324
Termine
Vorlesung:
- Montags, 16:15-17:45, Raum 3.31 (Von-Seckendorff-Platz 1)
Theoretische Übung und
Praktische Übung am Rechner:
- Nach Vereinbarung.
Im Moment ist der Sun-Pool für Montags, 14-16 reserviert.
Vorlesungs-Materialien
Folien
Die Vorlesungsmaterialien werden hier ins Internet gestellt,
sobald sie fertig sind.
- 0. Informationen zur Vorlesung (33 Folien)
[Postscript, S/W, verkleinert]
[PDF, farbig, gross]
- 1. Introduction (85 Folien) [wird noch modifiziert]
[Postscript, S/W, verkleinert]
[PDF, farbig, gross]
[family.pro]
- 2. Basic Notions of Predicate Logic (73 Folien)
[Postscript, S/W, verkleinert]
[PDF, farbig, gross]
- 3. Pure Prolog (146 Folien)
[Postscript, S/W, verkleinert]
[PDF, farbig, gross]
- 4. Built-In Predicates (82 Folien)
[Postscript, S/W, verkleinert]
[PDF, farbig, gross]
- 5. Practical Prolog programming (80 Folien)
[Postscript, S/W, verkleinert]
[PDF, farbig, gross]
- ...
Folien meiner Vorlesung `Deduktive Datenbanken'
im Sommer 1998:
[Homepage der Vorlesung]
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
Andere Kurse, Tutorials (im Aufbau)
Voraussetzungen zur Teilnahme
- Vorlesung Datenbanken I, inklusive des Kapitels über Logik.
- Programmierkenntnisse.
Ü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 ein oder 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.
Ablauf
- 03.04.2006: Organisatorisches, Motivation, Übersicht
(Folien 0-1 bis 0-33, 1-1 bis 1-19)
- 10.04.2006: Einführung in Prolog an Beispielen,
Vergleich mit Datalog
(Folien 1-20 bis 1-50, Vorführung SWI-Prolog)
- 17.04.2006: Ausgefallen wegen Ostermontag.
- 24.04.2006: Deduktive Datenbank als Integriertes System von
Datenbank und Programmiersprache,
Stärken deduktiver Datenbanken,
Probleme (Folien 1-64 bis 1-88),
Wiederholung zur Prädikatenlogik,
Substitutionen, Klauseln, Herbrand-Modelle ausführlich
(Folien 2-1 bis 2-73).
- 01.05.2006: Ausgefallen wegen 1. Mai
- 08.05.2006: Prolog Syntax, Operatoren, Listensyntax
- 15.05.2006: Minimales Herbrand-Modell, T_P-Operator,
Berechnung des minimalen Herbrandmodells als kleinster Fixpunkt
des T_P-Operators
- 22.05.2006: Unifikation, SLD-Resolution
- 29.05.2006: SLD-Resolution, Berechnete Antwortsubstitution,
Korrektheit und Vollständigkeit,
SLD-Bäme, Vierport-Modell des Prolog-Debuggers
(Folien 3-122 bis 3-148),
Bindungsmuster (Folien 4-1 bis 4-10)
- 05.06.2006: Ausgefallen wegen Pfingstmontag
- ...
Literatur
Weitere Informationsquellen im WWW
Weitere Informationsquellen:
Stefan Brass
(brass@acm.org),
31. März 2003
Original URL:
http://www.informatik.uni-halle.de/~brass/lp06/
[HTML 3.2 Checked]
[Links Geprüft]