Defaults in deduktiven Datenbanken

Weitere Magazine

Empfehlungen

Info

60 KAPITEL 3. ANWENDUNGSBEISPIELEEs gibt verschiedene Möglichkeiten, einen solchen Vererbungs-Mechanismus in deduktiveDatenbanken zu integrieren. Ein offensichtlicher syntaktischer Weg wäre es, demBenutzer zu erlauben, die Vererbung von Regeln gezielt zu unterdrücken. Dies wärenatürlich einerseits etwas unbequem, weil man häufig genau angeben muß, welche Regelnman ausschließen will (automatisch könnte man ja wohl nur alle Regeln über ein Prädikateliminieren). Andererseits ist die Ebene der Regeln meist auch schon zu hoch, denntypischerweise will man nur einige wenige, möglicherweise bedingte Ausnahmen zu denRegeln angeben, und sie nicht völlig neu formulieren.In dieser Situation ist es naheliegend, die vererbten Regeln als Defaults anzusehen,die von spezifischerer Information überschrieben werden können.Beispiel 3.2.1: Ein einfaches Beispiel sind die unterschiedlichen Rabatte, die verschiedeneKlassen von Kunden bekommen. So bekommen allgemeine Kunden typischerweise0% auf alle Produkte. Der Subtyp der Universitäts-Kunden bekommt dagegen 30% aufHardware und 50% auf Software. Diesen Kunden wird vermutlich erst später klar, daßes außer Hardware und Software auch noch den Bereich der Dienstleistungen (z.B. Wartungsverträge)gibt, auf den sie die ererbten 0% bekommen. Für einen speziellen Kundenmit ausreichendem Verhandlungsgeschick können natürlich alle Rabatte noch einmalüberschrieben werden.kunderabatt(X, 0) ← produkt(X)uni kunderabatt(X, 30) ← hardware(X)rabatt(X, 50) ← software(X)uni hannoverrabatt(risc500 , 40)Formulierungen wie die obigen sind noch objekt-lokal, man möchte natürlich mehrereKunden in der Datenbank haben. Wenn man keine spezielle Logik einsetzt, muß manzunächst das Prädikat rabatt um ein zusätzliches Argument für das aktuelle Objekt (denKunden) erweitern.Außerdem hat die in Kapitel 2 eingeführte Logik keine Subtypen, man kann sie abermit Prädikaten wie etwa uni kunde simulieren. Die betrachteten Defaults lauten alsorabatt(X, Y, 0) ← produkt(Y ) ∧ kunde(X).rabatt(X, Y, 30) ← hardware(Y ) ∧ uni kunde(X).rabatt(X, Y, 50) ← software(Y ) ∧ uni kunde(X).
3.2. VERERBUNG IN OBJEKT-ORIENTIERTEN ANSÄTZEN 61Dabei hat der erste niedrigere Priorität (also einen höheren l-Wert), weil er aus demSupertyp stammt und daher weniger spezifisch ist. Die in den Objekten spezifiziertenFakten werden in Axiome übersetzt:rabatt(uni hannover, risc500 , 40).Hinzu kommt noch die Typisierungs-Information:kunde(X) ← uni kunde(X).uni kunde(uni hannover).Außerdem ist eine Schlüssel-Bedingung für rabatt nötig:rabatt(X 1 , X 2 , Y ) ∧ rabatt(X 1 , X 2 , Y ′ ) → Y = Y ′ .Trägt man nun noch Fakten über die Produkte ein, so hat diese Spezifikation unter derstufenweisen CWA das gewünschte Verhalten.Zur objekt-lokalen Notation ist schließlich noch zu bemerken, daß mit einer Schreibweisewie X.software auf ein anderes Objekt Bezug genommen werden kann. Dies wirdmit einer analogen Transformation wie für rabatt in software(X) übersetzt. Oben wurdezur Vereinfachung bereits dieses Ergebnis eingesetzt.✷Man kann jetzt natürlich auch ”mehrfache Vererbung“ betrachten, also Objekttypen mitmehr als einem Obertyp. Hier werden erstmals partiell geordnete Defaults nötig, wie mansich leicht an folgender Typ-Struktur klar machen kann:C 2B❅❅C 1 AHier soll keine Priorität zwischen den in B und C 1 spezifizierten Defaults bestehen, undauch keine Priorität zwischen denjenigen aus B und C 2 . Alle diese Defaults müßten alsodenselben l-Wert haben. Andererseits sollen die Defaults aus C 1 die Defaults aus C 2überschreiben, müssen also einen echt kleineren l-Wert haben. Daher gibt es keine Stufeneinteilungl der Defaults, die die gewünschten Prioritäten zum Ausdruck bringt.Es ist nun naheliegend, die Subtyp-Beziehung direkt als Prioritätsrelation einzusetzen.Dies ist auch möglich, weil Prioritätsrelationen beliebige partielle Ordnungen sein können(ebenso wie die Subtyp-Beziehung).Beispiel 3.2.2: Mehrfache Vererbung führt natürlich zu unvollständiger Information,wenn die ererbten Formeln sich widersprechen. Es gibt dann wieder die oben erwähntenunterschiedlichen Möglichkeiten:Sei in Beispiel 3.2.1 noch der Objekttyp Großkunde“ eingeführt, der auf Hardware30%, auf Software 40% und auf Dienstleistungen 20% Rabatt bekommt. Es kann”dann natürlich auch Universitäten geben, die Großkunden sind.
Seite 5:
iiiDanksagungIch möchte Herrn Prof
Seite 9 und 10:
Kapitel 1EinführungZiel dieser Arb
Seite 11 und 12:
3Beitrag dieser Arbeit eine Untersu
Seite 13 und 14:
5Prolog löst dieses Problem, indem
Seite 15 und 16:
7wären die Defaults ein bloßes Mi
Seite 17: 9ten dieser Semantiken untersucht u
Seite 20 und 21: 12 KAPITEL 2. DEDUKTIVE DATENBANKEN
Seite 58 und 59: 50 KAPITEL 3. ANWENDUNGSBEISPIELEIm
Seite 60 und 61: 52 KAPITEL 3. ANWENDUNGSBEISPIELEbe
Seite 62 und 63: 54 KAPITEL 3. ANWENDUNGSBEISPIELEDi
Seite 64 und 65: 56 KAPITEL 3. ANWENDUNGSBEISPIELEUn
Seite 66 und 67: 58 KAPITEL 3. ANWENDUNGSBEISPIELENu
Seite 70 und 71: 62 KAPITEL 3. ANWENDUNGSBEISPIELEun
Seite 72 und 73: 64 KAPITEL 3. ANWENDUNGSBEISPIELEAn
Seite 74 und 75: 66 KAPITEL 3. ANWENDUNGSBEISPIELEso
Seite 76 und 77: 68 KAPITEL 3. ANWENDUNGSBEISPIELEde
Seite 79 und 80: Kapitel 4Eigenschaften vonVervollst
Seite 81 und 82: 4.1. FOLGERUNGSREGELN 73Diese Tabel
Seite 83 und 84: 4.1. FOLGERUNGSREGELN 75Es ist dage
Seite 85 und 86: 4.1. FOLGERUNGSREGELN 77Die Folgeru
Seite 87 und 88: 4.1. FOLGERUNGSREGELN 79Hat man umg
Seite 89 und 90: 4.2. MODELLTHEORETISCHE EIGENSCHAFT
Seite 91 und 92: 4.3. VERVOLLSTÄNDIGUNGEN ALS SEMAN
Seite 97 und 98: Kapitel 5Semantik von DefaultsIn di
Seite 99 und 100: 5.1. MINIMALE MODELLE 91• Da die
Seite 101 und 102: 5.1. MINIMALE MODELLE 93Satz 5.1.8:
Seite 103 und 104: 5.1. MINIMALE MODELLE 95Erweiterung
Seite 105 und 106: 5.1. MINIMALE MODELLE 97Beispiel 5.
Seite 107 und 108: 5.1. MINIMALE MODELLE 99Lemma 5.1.1
Seite 109 und 110: 5.2. DIE VORSICHTIGE CWA 101untersc
Seite 111 und 112: 5.2. DIE VORSICHTIGE CWA 103minimal
Seite 113 und 114: 5.2. DIE VORSICHTIGE CWA 105Φ [pq]
Seite 115 und 116: 5.2. DIE VORSICHTIGE CWA 107Lemma 5
Seite 117 und 118: 5.2. DIE VORSICHTIGE CWA 109I 0 ̸|
Seite 119 und 120:
5.3. WEITERE SEMANTIKEN 111Charakte
Seite 121 und 122:
5.3. WEITERE SEMANTIKEN 113Die modi
Seite 123 und 124:
5.3. WEITERE SEMANTIKEN 115Satz 5.3
Seite 125 und 126:
5.3. WEITERE SEMANTIKEN 117Angenomm
Seite 127 und 128:
5.3. WEITERE SEMANTIKEN 119nun zuer
Seite 129 und 130:
5.4. ZUSAMMENFASSUNG 121Dies ist so
Seite 131 und 132:
5.4. ZUSAMMENFASSUNG 123Die konstru
Seite 133 und 134:
Kapitel 6Berechnung von AntwortenIn
Seite 135 und 136:
6.1. BOTTOM-UP 127Die erweiterte Ax
Seite 137 und 138:
6.1. BOTTOM-UP 129Einfache Hyperres
Seite 139 und 140:
6.1. BOTTOM-UP 131Lemma 6.1.8: Sei
Seite 141 und 142:
6.1. BOTTOM-UP 133folgen ja wirklic
Seite 143 und 144:
6.1. BOTTOM-UP 135und default seien
Seite 145 und 146:
6.1. BOTTOM-UP 137tionsstufe nichts
Seite 147 und 148:
6.1. BOTTOM-UP 139Die Disjunktion a
Seite 149 und 150:
6.1. BOTTOM-UP 141Aus den in der er
Seite 151 und 152:
6.1. BOTTOM-UP 143Beispiel 6.1.26:
Seite 153 und 154:
6.1. BOTTOM-UP 145Beweis: Da {θ 1
Seite 155 und 156:
6.1. BOTTOM-UP 147die potentielle A
Seite 157 und 158:
6.1. BOTTOM-UP 149Die beiden Konfli
Seite 159 und 160:
6.2. TOP-DOWN 151Identifikatoren f
Seite 161 und 162:
6.2. TOP-DOWN 153werden, und sogar
Seite 163 und 164:
6.2. TOP-DOWN 155Man könnte die Te
Seite 165 und 166:
6.2. TOP-DOWN 157auch gleich hätte
Seite 167 und 168:
6.2. TOP-DOWN 159Die Grundidee ist
Seite 169 und 170:
6.2. TOP-DOWN 161Da beim vorsichtig
Seite 171 und 172:
6.2. TOP-DOWN 163refuteSkept(Φ, ψ
Seite 173 und 174:
6.2. TOP-DOWN 165inkonsistent ist.
Seite 175 und 176:
Kapitel 7AusblickZiel dieser Arbeit
Seite 177 und 178:
169Entsprechend besteht bei einigen
Seite 179 und 180:
SymbolverzeichnisGriechische Buchst
Seite 181 und 182:
SYMBOLVERZEICHNIS 173scwa (∆,❁)
Seite 183 und 184:
Literaturverzeichnis[ABW88] K. R. A
Seite 185 und 186:
LITERATURVERZEICHNIS 177[BR86][Bra8
Seite 187 und 188:
LITERATURVERZEICHNIS 179In diesem L
Seite 189 und 190:
LITERATURVERZEICHNIS 181[Ern92][ESS
Seite 191 und 192:
LITERATURVERZEICHNIS 183legung eine
Seite 193 und 194:
LITERATURVERZEICHNIS 185[KNN90]W. K
Seite 195 und 196:
LITERATURVERZEICHNIS 187[Mak89]hard
Seite 197 und 198:
LITERATURVERZEICHNIS 189[Plü90]Die
Seite 199 und 200:
LITERATURVERZEICHNIS 191[She88]Dies
Seite 201 und 202:
IndexAbleitungsregeln 72Änderungso
Seite 203 und 204:
INDEX 195Modell 19Herbrand- 13inten
Seite 205:
LEBENSLAUF 197LebenslaufName:Stefan
Alle anzeigen

Defaults in deduktiven Datenbanken

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?