Defaults in deduktiven Datenbanken

120 KAPITEL 5. SEMANTIK VON DEFAULTSdene konstruktive Extensionen unverträglich sind, gibt es also auch nur eine konstruktiveExtension, die gerade mit der naiven CWA übereinstimmt.✷Die konstruktiven Extensionen wurden in [Bre91] eingeführt, die Sätze und Beispiele diesesAbschnittes sind neu.5.4 ZusammenfassungEs sollen jetzt die wichtigsten Ergebnisse dieses Kapitels noch einmal tabellarisch zusammengestelltwerden.Garantierte EigenschaftenMan wird von einer guten Default-Semantik erwarten, daß sie grundlegende Eigenschaftenwie Konsistenzerhaltung und Kumulierung für beliebige Default-Spezifikationen (∆, ❁)garantieren kann. Solche Eigenschaften verhindern Überraschungen bei Einfügungenund Löschungen von Axiomen, da das Ergebnis häufig schon aufgrund dieser Eigenschaftenvorhersehbar ist. Andererseits gibt es Anwendungen, die eine Verletzung derDeduktions-Eigenschaft erfordern, garantierte Eigenschaften führen also immer zu einerEinschränkung der Ausdrucksfähigkeit. In der folgenden Tabelle bedeutet •“, daß für”jede Default-Spezifikation (∆, ❁) die zugehörige Vervollständigung die betreffende Eigenschafthat:Eigenschaften von Default-Semantikenmin (∆,❁) cwa (∆,❁) ncwa (∆,❁) mcwa (∆,❁) scwa (∆,❁) ⊢ cons(∆,❁)CON • • — • • •CUM • • — • • •DED • — • — • •DDIS • • • — • •EXP • — • • • —SCD • • • • • •NCWA • • • • • •Stärke der VervollständigungMan kann auch die Stärke der Vervollständigung für dieselbe Default-Spezifikation vergleichenund erhält folgende Hierarchie:Stärke von Default-Semantikenmcwa (∆,❁) =⇒ cwa (∆,❁) =⇒ min (∆,❁) =⇒ ⊢ cons(∆,❁) =⇒ scwa (∆,❁)=⇒ ncwa (∆,❁)