Block 1: Konzepte der Prädikatenlogik und der Logikprogrammierung

Unterlagen: Folien, Handout (bis auf Formatierung gleicher Inhalt).
Nur ein kleiner Teil davon wird benötigt.

Block 2: Logik als Datenbanksprache

Basierend u.A. auf Teile einer Vorlesung von Prof. Ullman. Siehe http://www-db.stanford.edu/~ullman/cs345-notes.html

Relationale Datenbanktheorie als Logik. (Idee)
Unterlagen: Folien.

Einführung in Datalog, Stratifizierte Negation.
Unterlagen: Siehe Webseite oben unter Logic as a Database Language: Introduction to Datalog, Stratified Negation.

Löschen in deduktiven Datenbanken.
Unterlagen: Folien, Artikel dazu.
Datalog mit Negation.
Lokal stratifizierte Programme, Stabile und wohlfundierte Modelle Unterlagen: Siehe Webseite oben unter Logic as a Database Language: Locally stratified models, Stable and Well-Founded Models.
Zu 'wohlfundierte Modelle' auch diese Folien. Achtung! Am 2.6. durch neuere Version ersetzt; die alte Version enthielt einen Fehler (auf Seite 5).

Block 3: Verteilte Datenbanken und Informationsintegration

Unterlagen: Siehe Webseite oben unter Conjunctive Queries: Conjunctive Queries and Their Containment, nur bis Seite 16 (Foliensatz von 2003) und
Information Integration Systems: Answering Queries from Views.
Übersichtspapier dazu: Information Integration Using Logical Views (J. Ullman).

Block 4: Hierarchische Datenmodelle und Beschreibungslogiken

Unterlagen: Folien zu Tutorials von Prof. Enrico Franconi: Description Logics for Conceptual Design, Information Access, and Ontology Integration . Evtl. auch Propositional Description Logics.

Evtl. Queryvervollständigung mit Deduktion in Hierarchischen Datenmodellen.

Literatur

• Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems. W H Freeman, 1990.
• Serge Abiteboul, Richard Hull, Victor Vianu. Foundations of Databases. Addison-Wesley, 1995.
• Armin B. Cremers, Ulrike Griefahn, Ralf Hinze. Deduktive Datenbanken - Eine Einführung aus Sicht der logischen Programmierung. Vieweg, 1994.
• Herve Gallaire, Jack Minker, Jean-Marie Nicolas. Logic and Databases: A Deductive Approach. ACM Computing Surveys, 16(2), Pp. 153-185, 1984.
• Zu "Beschreibungslogiken und Datenbanken" siehe Angaben in Description Logics Course Information, insbesondere "part B: advanced topics - module 6: Description Logics and Databases" dort.

Voraussetzungen

Vorlesung "Logik für Informatiker" oder "Deduktionssysteme". Zur Not geht es auch ohne eine dieser Vorlesungen gehört zu haben.