Defaults in deduktiven Datenbanken
Defaults in deduktiven Datenbanken
Defaults in deduktiven Datenbanken
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
80 KAPITEL 4. EIGENSCHAFTEN VON VERVOLLSTÄNDIGUNGEN(wegen sel(I 1 ∩ I 2 ) ⊆ I 2 kann der entsprechende Teilterm entfallen).• ”DED =⇒ DIS“: Zwei Spezialfälle der Eigenschaft DED s<strong>in</strong>d:sel(I 1 ∪ I 2 ) ∩ I 1 ⊆ sel ( (I 1 ∪ I 2 ) ∩ I 1 ) ) ,sel(I 1 ∪ I 2 ) ∩ I 2 ⊆ sel ( (I 1 ∪ I 2 ) ∩ I 2 ) ) .Vere<strong>in</strong>igt man die l<strong>in</strong>ken und rechten Seiten und nimmt die offensichtlichen Vere<strong>in</strong>fachungenvor, so erhält mansel(I 1 ∪ I 2 ) ∩ (I 1 ∪ I 2 ) ⊆ sel(I 1 ) ∪ sel(I 2 ).Nun ist aber ohneh<strong>in</strong> sel(I 1 ∪ I 2 ) ⊆ I 1 ∪ I 2 , man kann die l<strong>in</strong>ke Seite also noch weiter zusel(I 1 ∪ I 2 ) vere<strong>in</strong>fachen und erhält damit gerade die Eigenschaft DIS.✷E<strong>in</strong> Spezialfall der Elim<strong>in</strong>ierung der Disjunktion ist das Beweisschema der Fallunterscheidung.Tatsächlich ist es aber im Kontext von Vervollständigungen sogar äquivalent zurDeduktions-Eigenschaft:Satz 4.1.18: E<strong>in</strong>e Vervollständigung ⊢ c hat die Deduktions-Eigenschaft genau dann,wennΦ ∪ {ϕ} ⊢ c ψ, Φ ∪ {¬ϕ} ⊢ c ψ =⇒ Φ ⊢ c ψ(dabei sei ϕ wieder e<strong>in</strong>e vriablenfreie Formel).Beweis:• Offensichtlich impliziert die Eigenschaft DIS diese Folgerungsregel (für ϕ 1ϕ 2 := ¬ϕ gilt trivialerweise Φ ⊢ c ϕ 1 ∨ ϕ 2 ).:= ϕ und• Übersetzt man diese Folgerungsregel <strong>in</strong> die modelltheoretische Sprechweise, so erhält mansel(I Φ ∩ I ϕ ) ⊆ I ψ , sel(I Φ ⊆ I ϕ ) ⊆ I ψ=⇒ sel(I Φ ) ⊆ I ψ .Für I ψ := sel(I Φ ∩ I ϕ ) ∪ sel(I Φ ⊆ I ϕ ) s<strong>in</strong>d die Voraussetzungen trivialerweise erfüllt, undes ergibt sichsel(I Φ ) ⊆ sel(I Φ ∩ I ϕ ) ∪ sel(I Φ ∩ I ϕ ).Schneidet man nun auf beiden Seiten mit I ϕ , so ergibt sichsel(I Φ ) ∩ I ϕ ⊆ sel(I Φ ∩ I ϕ ),also die Deduktions-Eigenschaft.✷Wieder wird also die Information beschränkt, die verloren geht, wenn e<strong>in</strong>e Formel aus derDatenbank gelöscht wird: Wenn es für e<strong>in</strong>e Anfrage ψ ke<strong>in</strong>en Unterschied macht, ob dieFormel ϕ oder ihre Negation ¬ϕ <strong>in</strong> der Datenbank enthalten s<strong>in</strong>d, dann sollte es auchmöglich se<strong>in</strong>, diese Formel ganz zu löschen.Es gibt noch e<strong>in</strong>e ganze Reihe weiterer äquivalenter Formulierungen. So kann manetwa die Eigenschaft DIS vere<strong>in</strong>fachen zuΦ ∪ {ϕ 1 } ⊢ c ψ, Φ ∪ {ϕ 2 } ⊢ c ψ =⇒ Φ ∪ {ϕ 1 ∨ ϕ 2 } ⊢ c ψ.