INDEX:  Vorlesung Literatur Links Informationen

Informationen zur Vorlesung

• Vorlesungsankündigung  (KVV), (Wob)
• Die Vorlesung beginnt am  Donnerstag, den 19. Oktober 2000, um 13:15 Uhr im Hörsaal 1.
• Folienkopien befinden sich im Ordner Deduktive Datenbanken WS00 bei Andreas Behrend (A210) und werden im Verlauf des Semesters ergänzt. Sie können zum Kopieren ausgeliehen werden.

(Die Folienkopien zu früheren Veranstaltungen zu diesem Thema sind auch bei Andreas Behrend erhältlich)
• Die Power-Point-Folien sind ab jetzt auch verfügbar!!
• 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 zum Arbeiten mit PROLOG für die Teilnehmer an den Übungen findet man hier.
• Informationen zu den Übungen (jeweils aktueller Stand)
• Gliederung der Vorlesung (jeweils aktueller Stand)
• Frühere Veranstaltungen zu diesem Thema: Deduktive Datenbanken I (SS99) und Deduktive Datenbanken II (WS99/00)

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
• ConceptBase (Universität Aachen)
• The FLORID System (Universität Freiburg)
• LDL/LDL++ (MCC-Microelectronics and Computer Technology Corporation)
• LOLA deductive database system (Uni Passau)
• XSB (SUNY at Stony Brook)
• Katalog frei zugänglicher Software-Projekte

(weitere Projekte hier)

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 97/98)
• Marek Rusinkiewicz (University of Houston): "Deductive Databases" (1997)
• S. Conrad (Universität Magdeburg): "Deduktive Datenbanken" (WS99/00)
• D. Seipel (Universität Würzburg): "Deduktive Datenbanksysteme" (SS 99)
• A. Voronkov (Uppsala University): "Logic Databases" (1998)

Weitere Informationsquellen im WWW

• LogicWeb: "Using Logic Programming to Extend the World Wide Web"
• Forschungsrichtung: Deduktive Datenbanken