Dokument 1 - RWTH Aachen University

150 6 Ein Verfahren zur qualitätsorientierten Datenintegration in DW-Systemen
function relevantPredicate
Eingabe: Zwei Prädikate p und q aus der Spezifikation der Datenquelle bzw. Anfrage
Ausgabe: Eine Abbildung f : vars(q) → vars(p), die eine Variable aus q auf eine
Variable in p abbildet, falls p für q relevant ist, sonst NULL
f :=NULL
IF q ∈ C AND p ⊆Π q THEN
f :=matchArguments(q,p)
ELSE IF p, q ∈ R ∪ A AND p ∩Π q �= ∅ THEN
f :=matchArguments(q,p)
ELSE IF p, q ∈ V AND p ist kompatibel mit und mindestens so restriktiv wie q THEN
f :=matchArguments(q,p)
END
RETURN f
Abbildung 6.6: Algorithmus zur Überprüfung, ob ein Prädikat p für ein Prädikat q relevant ist
Definition 6.8 (Relevante Prädikate):
Ein Prädikat p ist dann für ein Prädikat q relevant, falls eine Abbildung f : vars(q) → vars(p)
existiert, die jedem Element aus vars(q) ein Element aus vars(p) zuordnet, und falls die folgenden
Bedingungen zutreffen:
• q ∈ C ⇒ p ⊆Π q
• p, q ∈ R ∪ A ⇒ p ∩Π q �= ∅ ✷
In Abbildung 6.6 ist diese Definition in einem Algorithmus umgesetzt. Die Funktion relevant-
Predicate testet, ob ein Prädikat p für ein Prädikat q relevant ist. Ist dies der Fall, so gibt die
Funktion eine Abbildung f zurück, die die Variablen aus q auf die Variablen in p abbildet. Der
Algorithmus betrachtet auch Vergleichsprädikate. Der Ausdruck „p ist kompatibel mit und mindestens
so restriktiv wie q“ stellt dabei eine Relation zwischen den Vergleichsprädikaten her.
Zwei Vergleichsprädikate sind kompatibel, wenn sie die gleiche Anzahl von Konstanten enthalten.
Zum Beispiel ist X < Y nicht kompatibel zu X < c, da man die Variable Y nicht auf
die Konstante c abbilden kann. 1 Der zweite Teil der Bedingung ist vergleichbar mit den Abhängigkeiten
zwischen den konzeptuellen Prädikaten: die Extension des Vergleichsprädikats p muss
eine Teilmenge der Extension des Prädikats q sein. Zum Beispiel ist X < Y restriktiver als
X ≤ Y und X < c ist restriktiver als X < d, wenn c < d ist. Die Funktion matchArguments
konstruiert dann die Abbildung der Variablen, sofern dies möglich ist. Diese Funktion wird aber
hier nicht genauer beschrieben.
1 In einer Variante des MiniCon-Algorithmus wird die Abbildung ϕ auch auf die Konstanten in der Anfrage
und in den Sichten ausgeweitet. Die Bedingungen für die Konstruktion einer MiniCon-Beschreibung und für die
Kombination mehrerer MiniCon-Beschreibungen zu einer Anfrage müssen dann leicht geändert werden (s. Seite
189 in [Pottinger und Halevy, 2001]).