Defaults in deduktiven Datenbanken

Inhaltsverzeichnis1 Einführung 12 Deduktive Datenbanken 112.1 Die verwendete Logik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112.2 Intendierte Modelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262.3 Anfragen und Antworten . . . . . . . . . . . . . . . . . . . . . . . . . . . . 393 Anwendungsbeispiele 493.1 Implizite Negation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 493.2 Vererbung in objekt-orientierten Ansätzen . . . . . . . . . . . . . . . . . . 593.3 Formalisierung von Änderungsoperationen . . . . . . . . . . . . . . . . . . 644 Eigenschaften von Vervollständigungen 714.1 Folgerungsregeln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 724.2 Modelltheoretische Eigenschaften . . . . . . . . . . . . . . . . . . . . . . . 814.3 Vervollständigungen als Semantik von Defaults . . . . . . . . . . . . . . . . 835 Semantik von Defaults 895.1 Minimale Modelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 895.2 Die vorsichtige CWA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1015.3 Weitere Semantiken . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1115.4 Zusammenfassung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1206 Berechnung von Antworten 1256.1 Bottom-Up . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1266.2 Top-Down . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1517 Ausblick 167Symbolverzeichnis 171Literaturverzeichnis 175Index 193v