Dokument 1 - RWTH Aachen University

6.3 Anfrageumschreibung zur Datenintegration 157
function combineMCDs
Eingabe: DW-Relation r und eine Menge B von MiniCon-Beschreibungen
Ausgabe: eine Menge K von Beschreibungen konjunktiver Anfragen
G := makeCompleteAndDisjointMCDsets(B, r)
K := ∅
FORALL g ∈ G mit g = {m1, . . . , mn} und mi = (si, ϕi, ρi, hi, Gi)
eq := id
FOR i := 1, . . . , n
FORALL X ∈ hi(vars(si))
T := {Y | ϕi(Y ) = X}
IF T �= ∅ THEN
ψ(X) := ein beliebiges Element aus T
ELSE
ψ(X) := eine neue Variable, die sonst noch nicht vorkommt
END
T ′ := ∅
WHILE T �= T ′
T ′ := T
T := T ∪ {Y | ∃Z ∈ T mit eq(Z) = Y ∨ eq(Y ) = Z}
END
Y ′ :=ein beliebiges Element aus T
FORALL Z ∈ T
eq(Z) := Y ′
END
END
END
L := ∅
FORALL v ∈ comp(r)
eq(ψ(hi(body(si))) �|= eq(v) THEN
IF �
i=1,...,n
L := L ∪ {eq(v)}
END
END
IF satisfiable( �
i=1,...,n
K := K ∪ {(g, eq, ψ, L)}
END
END
RETURN K
eq(ψ(hi(body(si)))) THEN
Abbildung 6.9: Algorithmus zur Kombination der MiniCon-Beschreibungen