INDEX:  Vorlesung Literatur Links Informationen

Informationen zur Vorlesung

• Vorlesungsankündigung (KVV)
• Die Vorlesung beginnt am Donnerstag, den 8. April 1999, um 15:15 Uhr im Hörsaal 1.
• Folienkopien befinden sich im Ordner Deduktive Datenbanken SS99 bei Frau Doelp (A223) und werden im Verlauf des Semesters ergänzt. Sie können zum Kopieren ausgeliehen werden.

(Die Folienkopien zu früheren Veranstaltungen zu diesem Thema können auch bei Frau Doelp ausgeliehen werden)
• Voraussetzungen dieser Vorlesung sind Grundkenntnisse über Datenbanken im Rahmen

der Vorlesung "Informationssysteme" sowie Kenntnisse über Prädikatenlogik. Darüberhinaus
sind Kenntnisse in logischer Programmierung hilfreich.
• Informationen zu den Übungen (Achtung jetzt mit Lösungen zu den Aufgaben!!!). Informationen zum Arbeiten mit PROLOG für die Teilnehmer an den Übungen findet man hier.
• Gliederung der Vorlesung (jeweils aktueller Stand)

Literatur

• Lehrbücher
• Übersichtsartikel
• Artikel zu deduktiven Datenbanksystemen
• ... weitere Literaturangaben in der Gliederung zur Vorlesung

Links zu deduktiven Datenbank-Systemen (Forschungsprojekte)

• Aditi (Melbourne University)
• CORAL - A Deductive Database System (University of Wisconsin, Madison)
• Veröffentlichungen zum CORAL Projekt
• Seminar-Ausarbeitung von Michael Kater
• ConceptBase (Universität Aachen)
• The FLORID System (Universität Freiburg)
• LDL/LDL++ (MCC-Microelectronics and Computer Technology Corporation)
• LOLA deductive database system (Uni Passau)

     (weitere Projekte hier)
• XSB (SUNY at Stony Brook)

Andere Vorlesungen über Deduktive Datenbanken im WWW

• J. D. Ullman (Stanford University): "Principles of Database Systems-Lecture Notes"
• F. Bry / H. Schütz (LMU München): "Deduktive Datenbanksysteme" (WS 96/97)
• A. Voronkov: "Logic Databases" (1998)

Weitere Informationsquellen im WWW

• Forschungsrichtung Deduktive Datenbanken