Vorlesung (Hauptstudium)
Deduktive Datenbanken
Prof. Dr. Rainer Manthey
"Deduktive Datenbanken" ist der Name einer Forschungsrichtung, die sich vorwiegend mit der Modellierung und der Verwaltung ableitbarer Informationen in Datenbanken beschäftigt. In fast allen kommerziellen Datenbanksystemen werden inzwischen Sichten und Integritätsbedingungen angeboten. Beide Konzepte dienen dazu, implizite Informationen aus dem explizit gespeicherten Datenbestand herzuleiten. Die theoretischen und praktischen Probleme, die Datenherleitung mit sich bringt, sind so erheblich, dass in kommerziellen DB-Systemen meist nur stark eingeschränkte Formen von Sichten und Integritätsbedingungen unterstützt werden. Erst der neue SQL3-Standard spezifiziert Datenherleitungsformen, wie sie in der Forschung zu deduktiven Datenbanken seit langem untersucht werden.
Die Vorlesung ist als Vertiefungsveranstaltung im Gebiet "Informationssysteme" ausgelegt, setzt also Kenntnisse im Umfang der zugehörigen Einführungsvorlesung voraus. Obwohl die behandelten Themen direkt fuer SQL-Datenbanken relevant sind, wird in der Vorlesung hauptsächlich die (gleich ausdrucksstarke) DB-Sprache Datalog verwendet, mit der der überwiegende Teil der Forschungsliteratur arbeitet. Gute Grundkenntnisse der Prädikatenlogik sind dafür hilfreich. Die Teilnahme am Übungsbetrieb wird dringend empfohlen. Diplomarbeiten zu Themen dieser Forschungsrichtung werden regelmässig vergeben.
| Zeit, Ort | Mo Do 13-15, HS 1 |
| Semesterwochenstunden | 4V + 2Ü |
| Beginn | Vorlesung: 19.10.00, Übungen 25.10.00 |
| Übungen | Mi 13-15, A 207 (Prof. Dr. Rainer Manthey, A. Behrend) |
| Voraussetzungen | Teilnahme an bzw. Kenntnisse des Stoffes der Vorlesung "Informationssysteme"; gute Kenntnisse in Grundlagen der Logik |
| Bereich (alte DPO) | C |
| Prüfungsmöglichkeiten | nur für C-Prüfungen zu verwenden; kombinierbar mit anderen C-Vorlesungen zu DB-, KI- oder ST-Themen nach Absprache |
| Informationen im WWW | http://www.informatik.uni-bonn.de/III/lehre/vorlesungen/DeduktiveDatenbanken/WS00/ |
|
Informatik III - alle Semester
Ereignisorientierte Programmierung und Aktive Datenbanken
Mustererkennung