MPII Home PageMPII Home PageMPII Home Page

Peter Baumgartner

Up to: Research Units Building 46.1 Programming Logics Group

People - Selected



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

Voraussetzungen

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


This web page is maintained by Peter Baumgartner <baumgart@mpi-sb.mpg.de>.
Last modified: Thu Jun 3 23:24:47 CEST 2004