Gliederung der Vorlesung Deduktive Datenbanken I

Prof. Dr. Rainer Manthey

(Sommersemester 1999)

1. Einführung und Motivation

    1.1 Grundlegendes zum Begriff "Deduktive Datenbank"
    1.2 Eine motivierende Fallstudie
 
2. Syntax und Semantik deduktiver Regeln

    2.1 Deduktive Regelsprachen
            2.1.1 Datalog und Datalog^¬
            2.1.2 Regeldarstellung in anderen relationalen Sprachen

    2.2 Semantik deduktiver Datenbanken
            2.2.1 Fixpunktsemantik für Datalog
            2.2.2 Fixpunktsemantik für stratifiziertes Datalog mit Negation

    2.3 Integrität und Konsistenz deduktiver Datenbanken
            2.3.1 Integrität und Integritätsbedingungen
            2.3.2 Änderungen in Datalog
            2.3.3 Konsistenz deduktiver DB: das Erfüllbarkeitsproblem
 

3. Entwurf deduktiver DB-Anwendungen

    3.1 Eine Modellierungsübung in Datalog: Grundregeln des Schachspiels
    3.2 Prinzipien der Erweiterung relationaler Entwurfsmethoden auf deduktive Konzepte
 
4.  Inferenzmethoden für stratifizierbare Regelsysteme

    4.1 Anfragegetriebene Inferenz
            4.1.1 Mengenorientierte Top-Down-Auswertung: die QSQ-Methode
                    (Literatur: [Vi86] und [ DS87 ])
            4.1.2 Fixpunktbasierte Auswertung von Anfragen: die Magic-Sets Methode
                    (Literatur: [BMSU86] und [Bry90])
            4.1.3 Anfragen mit Negation: Problematik

    4.2 Effiziente Materialisierung regeldefinierter Daten
    4.3 Änderungsgetriebene Inferenz
 

5. Ausblick auf die Vorlesung Deduktive Datenbanken II