Vorlesung "Deduktive Datenbanksysteme" (WS 1996/97)

Inhaltsverzeichnis dieser Seite

Organisatorisches

Vorlesung:

Deduktive Datenbanksysteme. (PG, A) 2+2

Dozent: François Bry, Heribert Schütz

Zeit und Ort: Mi 11-13, Raum 131, Oettingenstr. 67

Übung:

Betreuer: Slim Abdennadher

Zeit und Ort: Do 16-18, Raum 131, Oettingenstr. 67

für:

Haupt- und Nebenfach Informatik

Vorkenntnisse:

Grundkenntnisse in Informatik. Grundkenntnisse der mathematischen Logik (etwa in dem Umfang, wie sie in der Vorlesung "Wissensbasierte Systeme" eingeführt wurden) und zu relationalen Datenbanken sind nützlich.

Schein:

Gilt für Diplomprüfung Haupt- und Nebenfach Informatik,

Hauptprüfung für das Lehramt an Gymnasien: Erweiterungsfach Informatik

zurück zum Inhaltsverzeichnis dieser Seite

Inhalt der Vorlesung

Die Vorlesung stellt dieses Datenmodell vor und geht dabei insbesondere auf die folgenden Aspekte ein: rekursive Definitionen, Negation und Aggregation, Integritätsbedingungen. Außerdem werden Techniken für die Anfrageauswertung und die Überprüfung von Integritätsbedingungen behandelt.

zurück zum Inhaltsverzeichnis dieser Seite

Literatur

• S. Ceri, G. Gottlob, L. Tanca: Logic Programming and Databases, Springer-Verlag, 1990
• A.B. Cremers, U. Griefahn, R. Hinze: Deduktive Datenbanken, Vieweg, 1994
• J.D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II: The New Technologies, Computer Science Press, 1989

zurück zum Inhaltsverzeichnis dieser Seite

Links

• Fahrplan-Auskunftssysteme, die als Anwendungen deduktiver Datenbanken betrachtet werden können:
  • MVV,
  • Deutsche Bahn (Winter 96/97)
  Diese Systeme sind zwar nicht unter Verwendung eines "Deduktiven Datenbank-Managementsystems" implementiert. Für ihre Implementation sind jedoch sicherlich manche der in der Vorlesung besprochenen Techniken verwendet worden.
• In diesem Fahrplanauszug für die Oettingenstr. kann man gut sehen, wie viele Daten (die Fahrplan-Tabellen) aus wenigen Basisdaten erzeugt werden können.

zurück zum Inhaltsverzeichnis dieser Seite

Folien

• 06.11.96
• 13.11.96
• 20.11.96
• 27.11.96
• 04.12.96
• 11.12.96
• 18.12.96
• 08.01.97: keine neuen Folien
• 15.01.97: Vorlesung entfällt wegen Krankheit
• 22.01.97
• 29.01.97
• 05.02.97
• 12.02.97
• 19.02.97
• 26.02.97

zurück zum Inhaltsverzeichnis dieser Seite

Übungsblätter

Die Übungsblätter werden jeweils in der Vorlesung am Mittwoch verteilt und sind zusätzlich hier zugänglich.

1. Übungsblatt 1 (14.11.96)
2. Übungsblatt 2 (21.11.96)
3. Übungsblatt 3 (28.11.96 und 5.12.96)
4. Übungsblatt 4 (12.12.96)
5. Übungsblatt 5 (19.12.96 und 9.1.97)
6. Übungsblatt 6 (16.1.97 und 23.1.97)
7. Übungsblatt 7 (30.1.97)
8. Übungsblatt 8 (6.2.97)
9. Übungsblatt 9 (13.2.97)
10. Übungsblatt 10 (20.2.97)
11. Übungsblatt 11 (27.2.97)

zurück zum Inhaltsverzeichnis dieser Seite

Lehr- und Forschungseinheit

Institut

Universität