Defaults in deduktiven Datenbanken

Kapitel 6Berechnung von AntwortenIn diesem Kapitel sollen nun Algorithmen für die Anfrageauswertung entwickelt werden.Im Unterschied zu den aus der Literatur bekannten Verfahren werden hier allgemeineKlauseln und benutzerspezifizierbare Defaults zugelassen (anstelle von Hornklauseln mitimpliziter Negation).Für die Semantik der Defaults werden drei Alternativen betrachtet, die den verschiedenenVorgehensweisen bei mehreren Extensionen entsprechen: Die minimale Modelle“-”Semantik ist äquivalent zum skeptischen Ansatz, die vorsichtige CWA ist gerade dervorsichtige Ansatz und der leichtgläubige Ansatz wird als Unterprogramm benötigt.In der Literatur sind im wesentlichen zwei Klassen von Verfahren zur Anfrageauswertungvorgeschlagen worden: Die bottom-up“ Verfahren werden bei deduktiven Datenbankenverwendet, top-down“ Verfahren in der logischen Programmierung. Beide””Vorgehensweisen haben ihre Vorteile: bottom-up“ Verfahren sind mengenorientiert und”kommen daher ohne Doppelarbeit aus, top-down“ Verfahren gehen zielgerichtet vor und”vermeiden überflüssige Arbeit.Eine Verallgemeinerung dieser Verfahren auf allgemeine Klauseln ist nicht schwer:Wenn man sich in der Literatur zum automatischen Beweisen“ umsieht, stellt man fest,”daß das bottom-up“ Verfahren ein Spezialfall der positiven Hyperresolution ist, während”die SLD-Resolventenmethode von Prolog auf der OL-Resolution basiert. Allerdings mußfür die Hyperresolution noch eine mengenorientierte Implementierung entwickelt werden,und bei der OL-Resolution sind noch Überlegungen zur Terminierung anzustellen.Mehr Mühe machen die allgemeinen (benutzerspezifizierbaren) Defaults. Natürlichkönnte man im Prinzip einfach die maximalen Extensionen konstruieren, aber diesesVerfahren würde zu einem enormen Aufwand führen. Einer der Gründe, Defaults einzuführen,war ja gerade die Speicherplatz-Ökonomie, da die Anzahl der angenommenenDefault-Ausprägungen die der nicht angenommenen bei weitem übersteigt.Statt dessen werden hier Begründungen“ für Antworten berechnet, also Mengen von”Defaults, die zur Rechtfertigung einer Antwort nötig sind. Es ist dann natürlich nochzu überprüfen, ob die entsprechenden Defaults wirklich angenommen werden können.Dies geschieht, indem widersprechende Begründungen“ berechnet werden, also Konflikte,”an denen die betrachteten Defaults beteiligt sind. Insgesamt hat man also einen sehr125