Defaults in deduktiven Datenbanken

134 KAPITEL 6. BERECHNUNG VON ANTWORTENNatürlich wird man mit einem Standard-Datenbanksystem nicht die größtmöglicheEffizienz erreichen können, an einigen Stellen sind noch etwas umständliche Formulierungennötig, die höchstens ein sehr intelligenter Optimierer geschickt auswerten könnte.Etwas besser wäre schon ein NF 2 -Datenbanksystem, wie es in [BL92] verwendet wurde.Auch dort sind aber eine ganze Reihe von Restrukturierungen nötig, von denen zu hoffenist, daß sie nicht wirklich ausgeführt werden.Im folgenden wird die ”flache“ Relationenalgebra verwendet, weil entsprechende Datenbanksystemeleichter verfügbar sind, und für Prototypen spielt die Effizienz ja nur eineuntergeordnete Rolle. Vor allem aber sind die Implementierungstechniken bekannter, sodaß man den Aufwand der verschiedenen Operationen oder auch mögliche Optimierungenbesser einschätzen kann.Der Idealfall bleibt natürlich ein Datenbanksystem, bei dem auch die unteren Schichtenan diese Anwendung angepaßt sind. Auch bei diesem Ziel ist aber das folgende Beispielnützlich, um zu sehen, wo die Standard-Techniken eingesetzt werden können.Es sei folgende typische Regel R1 gewählt:p(X, a) ∨ p(X, b) ← q 1 (X, Y ) ∧ q 2 (Y, c).Nun ist zunächst eine relationale Darstellung für ˆΦ zu wählen. Eine besonders einfacheLösung ist, nur eine einzige Tabelle zu verwenden. Es gibt natürlich eine ganze ReiheAlternativen, die im folgenden kurz angedeutet werden.DIS FACTSid pred arg1 arg2 active lit length1 q 1 a d T q 1 (a, d) 21 r a — F r(a) 22 q 1 b e T q 1 (b, e) 13 q 2 d c T q 2 (d, c) 14 q 2 e c T q 2 (e, c) 24 r e — F r(e) 2Diese Tabelle repräsentiert folgende Menge von disjunktiven Fakten:ˆΦ 0 := {q 1 (a, d) ∨ r(a), q 1 (b, e), q 2 (d, c), q 2 (e, c) ∨ r(e)}.Die Attribute bedeuten folgendes:• id: Mit diesem Attribut werden die Literale eines disjunktiven Faktums verkettet.• pred: Das Prädikat des in dem Tupel dargestellten Literals.• arg1: Das erste Argument des Literals.• arg2 : Das zweite Argument des Literals (bei Bedarf wird ein Nullwert eingetragen).• active: ”T“, falls das aktive Literal in dieser Disjunktion, ”F“ sonst.• lit: Es vereinfacht die Überprüfung der Ordnung zwischen den Literalen sowieVerbund-Bedingungen, wenn das Literal auch noch einmal als Zeichenkette vorliegt.Ansonsten ist diese Information natürlich redundant. Die Bezeichner für answer