Dokument 1 - RWTH Aachen University

6.3 Anfrageumschreibung zur Datenintegration 153
function makeExtendedMCDs
Eingabe: Datenquelle s und DW-Relation r,
Teilziele p und q mit vars(p) = {Y1, . . . , Ym} und vars(q) = {X1, . . . , Xn}
Abbildung f der Variablen von q auf die Variablen von p,
MiniCon-Beschreibung m = (s, ϕ, ρ, h, G)
Ausgabe: eine Menge B von erweiterten MiniCon-Beschreibungen, falls die Bedingungen
des MiniCon-Algorithmus für p und q erfüllt sind, sonst ∅.
1: FOR i := 1, . . . , n
2: IF Xi ∈ vars(head(r)) AND f(Xi) �∈ vars(head(s)) THEN RETURN ∅
3: IF Xi ∈ dom(ϕ) AND ϕ(Xi) �= f(Xi) THEN
4: IF ϕ(Xi) �∈ vars(head(s)) OR f(Xi) �∈ vars(head(s)) THEN RETURN ∅
5: IF ϕ(Xi) ∈ dom(h) AND h(ϕ(Xi)) �= f(Xi) THEN RETURN ∅
6: h := h ∪ {ϕ(Xi) → f(Xi)}
7: ELSE
8: ϕ := ϕ ∪ {Xi → f(Xi)}
9: END
10: END
11: ρ := ρ ∪ {q → p}; G := G ∪ {q}
12: B := ∅; ok:=true
13: FOR i := 1, . . . , n
14: IF ϕ(Xi) �∈ vars(head(s)) THEN
15: FORALL q ′ ∈ body(r) \ {q} mit Xi ∈ vars(q ′ )
16: ok:=false
17: FORALL p ′ ∈ body(s)
18: f :=relevantPredicate(q ′ ,p ′ )
19: IF f �= NULL THEN
20: B := B ∪ makeExtendedMCDs(s,r ← body(r) \ {q}, p ′ , q ′ , f, m)
21: END
22: END
23: END
24: END
25: END
26: IF ok=true THEN
27: FORALL Y ∈ vars(head(s)) ∧ Y �∈ dom(h)
28: h := h ∪ {Y → Y }
29: END
30: IF NOT satisfiable(ϕ(body(r)) \ G ∪ h(body(s))) THEN RETURN ∅
31: RETURN {m}
32: ELSE
33: RETURN B
34: END
Abbildung 6.8: Algorithmus zur Generierung der erweiterten MiniCon-Beschreibungen für
bestimmte Teilziele