68
P.A. Bernstein, S. Melnik: Meta Data Management, ICDE'04 Boston
script PropagateDeletions(s1, d1, s1_d1, s2, s1_s2)
1. d1_s2 = Invert(s1_d1) ○ s1_s2;
2. ám, d1_mñ = Extract(d1, d1_s2); 
3. án, d1_nñ = Diff(d1, Invert(s1_d1));
4. ád2, d2_m, d2_nñ = Merge(m, n, Invert(d1_m) ○ d1_n);
5. d1_d2 = (d1_m ○ Invert(d2_m)) Å (d1_n ○ Invert(d2_n));
6.return ád2, d1_d2ñ;
s1_s2
s1_d1
d1_s2
Extract
(to keep in d1)
(still in s2)
Diff
Solution script
Text Box: Merge
Merge
s1
s2
d1
d2
n
m
mA = mA − deleted by way of mB
mAx = new in mA