Dokument 1 - RWTH Aachen University

6.1 Bisherige Algorithmen zur Datenintegration 131
Andererseits ist die Auswertung der umgeschriebenen Regeln aufwendig, da im Prinzip die Relationen
des globalen Schemas (im Beispiel r und s) neu berechnet werden. Effizienter ist es
direkt die Sichten bei der Auswertung zu benutzen ohne diese Zwischenergebnisse zu produzieren.
Dieser Nachteil kann aber durch nachträgliche Optimierungen, wie z.B. das „Auffalten“ der
Regeln, abgeschwächt werden.
MiniCon-Algorithmus
Eine Schwäche des Bucket-Algorithmus von Levy et al. [1996] ist, dass in der zweiten Phase des
Algorithmus zu viele Sichten betrachtet werden, obwohl sie offensichtlich für die Beantwortung
einer Anfrage nicht relevant sein können. Dies liegt daran, dass der Bucket-Algorithmus nicht
die Variablen der Prädikate betrachtet, sondern nur die Prädikatsnamen. Dieses Problem wird
am folgenden Beispiel erläutert.
Beispiel 6.1:
Gegeben sind eine Anfrage q und die Sichten v1, v2 und v3.
q(X) : − r(X, Y ), r(Y, X), s(X, Y )
v1(A) : − r(A, B), r(B, A)
v2(C, D) : − s(C, D)
v3(F, H) : − r(F, G), r(G, H), s(F, G)
Der Bucket-Algorithmus würde für das Teilziel r(X, Y ) sowohl v1 als auch v3 als relevant einstufen.
v1 kann aber nicht für die Beantwortung von q benutzt werden, da die Variable B nicht
von v1 „exportiert“ wird. Diese Variable ist aber für den Verbund mit der Relation s (bzw. einer
entsprechenden Sicht) notwendig. ✷
Der Shared-Variable-Bucket- (SVB) und der MiniCon-Algorithmus gehen genau auf diese Schwäche
des Algorithmus ein. Die Algorithmen wurden getrennt von Mitra [2001] bzw. Pottinger und
Halevy [2001] entwickelt und beziehen beide die Rolle der Variablen mit ein.
Der MiniCon-Algorithmus [Pottinger und Levy, 2000; Pottinger und Halevy, 2001] arbeitet ähnlich
wie der Bucket-Algorithmus in zwei Phasen. Zunächst werden in der ersten sogenannte
MiniCon-Descriptions (MCDs) konstruiert, die im Wesentlichen einem „Bucket“ mit zusätzlichen
Informationen entsprechen. Ein MCD für eine Anfrage q über eine Sicht v enthält die
folgenden Informationen:
• ein Kopf-Homomorphismus h, der (falls notwendig) Variablen aus dem Kopf von v aufeinander
abbildet,
• den durch h modifizierten Kopf von v, also v( −→ Y ), wobei −→ Y = h( −→ X ), wenn −→ X die Originalvariablen
im Kopf von v sind,
• eine partielle Abbildung ϕ der Variablen von q auf die Variablen von v, und