Gliederung der Vorlesung Deduktive Datenbanken II

Prof. Dr. Rainer Manthey

(Winterersemester 99/00)

     
  1. Semantik nichtstratifizierbarer Regelmengen

    2.     1.1 Semantische Probleme bei unstratifizierbarer Negation
        1.2 Alternierende Fixpunktberechnung
        1.3 Fixpunktberechnung mit bedingten Fakten: die "conditional fixpoint"-Methode
     
  2. Inferenzmethoden für nichtstratifizierbares Datalog¬

    3.     2.1 Anfragebeantwortung
                2.1.1 Erweiterung von QSQ und Magic Sets für Datalog¬
                2.1.2 Magic Sets für stratifizierbare Regelmengen: "schwache Fixpunktberechnung"
                2.1.3 Magic Sets für unstratifizierbare Regelmengen: "magic" AFP
        2.2 Änderungspropagierung
  1. Disjunktive deduktive Datenbanken und deren Anwendungen

    2.  
  2. Datalog mit Funktionen und Constraints

    3.  
  3. Deduktive objektorientierte Datenbanken

    4.  
  4. Implementierung deduktiver Datenbanken mittels aktiver Regeln
Andreas Behrend
Last Change: 11.10.99