Defaults in deduktiven Datenbanken

Weitere Magazine

Empfehlungen

Info

196
LEBENSLAUF 197LebenslaufName:Stefan BraßGeburtsdatum:09.08.1964Geburtsort:HannoverKonfession:evangelisch-lutherischFamilienstand:ledigEltern:Prof. Dr. Helmut BraßGisela Braß, geb. LüderGeschwister:Peter ( ∗ 28.11.1967)Schulausbildung:1970–1974 Grundschule Bremerhöhe, Clausthal–Zellerfeld1974–1978 Graf-Stauffenberg-Gymnasium, Osnabrück1978–1983 Gaußschule, Braunschweig09.05.1983 Abitur (Gesamtzensur 1.0)Mitarbeit im Katastrophenschutz:1982–1991 Helfer beim Technischen HilfswerkStudium:01.10.1983 Immatrikulation an der TU Braunschweigim Diplom-Studiengang Informatik24.09.1985 Diplom-Vorprüfung (Gesamtnote ”Sehr gut“)02.09.1988 Diplom (Gesamtnote ”Mit Auszeichnung“)Berufstätigkeit:03.10.1988 Wissenschaftlicher Mitarbeiter am Lehrstuhl VI–31.07.1990 des Fachbereichs Informatik der Universität Dortmundseit 01.08.1990 Wissenschaftlicher Mitarbeiter am Institut für Informatikder Universität Hannover
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 22 und 23:
Seite 24 und 25:
Seite 26 und 27:
Seite 28 und 29:
Seite 30 und 31:
Seite 32 und 33:
Seite 34 und 35:
Seite 36 und 37:
Seite 38 und 39:
Seite 40 und 41:
Seite 42 und 43:
Seite 44 und 45:
Seite 46 und 47:
Seite 48 und 49:
Seite 50 und 51:
Seite 52 und 53:
Seite 54 und 55:
Seite 56 und 57:
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 68 und 69:
60 KAPITEL 3. ANWENDUNGSBEISPIELEEs
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 93 und 94:
Seite 95 und 96:
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: INDEX 195Modell 19Herbrand- 13inten
Alle anzeigen

Defaults in deduktiven Datenbanken

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?