Defaults in deduktiven Datenbanken

3.2. VERERBUNG IN OBJEKT-ORIENTIERTEN ANSÄTZEN 63Da sich die in A und B spezifizierten Formeln widersprechen, wird p(a) überschrieben.Die in C spezifizierte Disjunktion überschreibt wiederum p(b). Da es nun aber möglichist, p(a) anzunehmen, wird diese Formel aus A wieder wirksam: Für Objekte des Typs Cgilt p(a) und ¬p(c).✷Beispiel 3.2.4: Bei der Vererbung werden aus den Regeln Defaults. Wenn man aberzuläßt, daß außerdem noch Defaults explizit angegeben werden, so sind die Prioritätennicht mehr so klar. Beispielsweise könnte man in einem Obertyp die Prädikate p und qdurch Aufzählung von Fakten definiert haben:p(a), q(a), q(b).Hinzu kommen natürlich noch die üblichen Negations-Defaults:¬p(X), ¬q(X).In einem Untertyp definiert man nun ein zusätzliches Prädikat r durch folgende Regel:r(X) ← ¬p(X) ∧ q(X)zusammen mit dem Negations-Default ¬r(X). Gibt man nun diesem Default höherePriorität als dem entsprechenden Default ¬p(X) aus dem Obertyp, so verändert man invermutlich nicht beabsichtigter Weise das Prädikat p: Der Default ¬r(b) wird hier demDefault ¬p(b) vorgezogen, es folgt also plötzlich p(b).Das Problem ist hier, daß die von der Vererbungshierarchie und die von der Stratifizierungstammenden Prioritäten sich widersprechen. Man kommt hier nicht ohne Hilfevom Datenbankentwerfer aus, denn in anderen Situationen wäre es sehr wohl denkbar,daß das ererbte Prädikat p überschrieben werden soll, und zwar unter Verwendung desneu eingeführten Prädikates r. Man muß vom Datenbankentwerfer also wohl verlangen,daß er relative Prioritäten zu den ererbten Prioritäten spezifiziert. Alternativ könnte erauch angeben, daß bestimmte Prädikate bei der Vererbung nicht überschrieben werdensollen.✷Die Semantik der Vererbung logischer Formeln ist ein interessantes Forschungsthema. Indem Vorschlag aus [KLW90] werden im wesentlichen Werte vererbt und nicht Formeln;spezifiziert man in einer ”Objektklasse“ etwa eine (exklusive) Disjunktion, so haben entwederalle Instanzen den einen Wert, oder alle haben den anderen Wert (sofern keinespezifischere Information vorliegt). In [LU92] wird diese Semantik weiter untersucht, insbesondereauch ihre algorithmische Seite. Der Ansatz von [LV91] berücksichtigt sehr starkdie Schreibweise der Formeln als Implikationen, dadurch werden unter Umständen Formelnvorgezogen, die wesentlich höher in der Objekthierarchie spezifiziert sind. Schließlichsei noch auf die Theorie der Vererbungsnetze verwiesen, eine Beziehung zum nichtmonotonenSchließen wird etwa in [Eth88, Mak92] hergestellt.Es gibt natürlich noch viele weitere Aspekte einer Integration von Objekt-Orientierungund Logik. Zum einen ist das Lokalitätsprinzip zu nennen: Kein Objekt sollte Aussagenüber andere Objekte enthalten. Einige erste Untersuchungen hierzu finden sich in [BL91].