Defaults in deduktiven Datenbanken

88 KAPITEL 4. EIGENSCHAFTEN VON VERVOLLSTÄNDIGUNGENDie Äquivalenz der verschiedenen Formulierungen ist offensichtlich.Diese Eigenschaft bedeutet, daß wenn ein Default δ in Φ ∪ {ϕ 1 } angenommen wird,und in Φ ∪ {ϕ 2 }, er dann auch in Φ ∪ {ϕ 1 ∨ ϕ 2 } angenommen werden sollte. Er kann dannja nicht durch Axiome blockiert werden und alle Konflikte mit anderen Defaults sind inden beiden in der Voraussetzung genannten Axiomenmengen schon aufgetreten, dort hatsich δ aber durchgesetzt.Eine unmittelbare Folgerung aus der Definition und Satz 4.1.17 ist:Korollar 4.3.10: Hat eine Vervollständigung die Deduktions-Eigenschaft, so hat sieauch die Eigenschaft DDIS für beliebige ∆ ∗ .