INDEX:  Vorlesung Literatur Links Informationen

Informationen zur Vorlesung

• Vorlesungsankündigung (KVV)
• Die Vorlesung beginnt am Montag, den 11. Oktober 1999, um 13:15 Uhr im Hörsaal 1.
• Folienkopien befinden sich im Ordner Deduktive Datenbanken WS99 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 sind auch bei Frau Doelp erhältlich)
• Voraussetzung dieser Vorlesung ist die Vorlesung Deduktive Datenbanken I (SS99)
• Informationen zu den Übungen (jeweils aktueller Stand)
• 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