Peter Baumgartner

Contact Research Teaching - Logik und Datenbanken Activities

---

Logik und Datenbanken

Vorlesung Sommersemester 2004, Universität Koblenz-Landau.

4.1.18, V 2 std c CV In

Durchführung

Als Blockveranstaltung zu den folgenden Terminen während der Pfingstferien (alle Zeiten s.t.):

Dienstag, 1.6.:	8-10 und 10-12
Mittwoch, 2.6.:	8-10 und 10-12
Donnerstag, 3.6.:	8-10 und 10-12
Freitag, 4.6.:	8-10, 10-12, 14-16 und 16-18

Raum: MB 017

Inhalt

In dieser Vorlesung geht es darum, "Logik" als Modellierungssprache im Kontext von Datenbanken vorzustellen. Dies beinhaltet diverse Logiken zur Beschreibung unterschiedlicher Problemstellungen, sowie Algorithmen dafür. Es sind die folgenden Blöcke geplant:

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.