62
P.A. Bernstein, S. Melnik: Meta Data Management, ICDE'04 Boston
script Reintegrate(m, mA, m_mA, mB , m_mB)
1. ámA¢, mA_mA¢ñ = PropagateDeletions(m, mA, m_mA, mB, m_mB);
2. ámB¢, mB_mB¢ñ = PropagateDeletions(m, mB, m_mB, mA, m_mA);
3. ámAx, mA¢_mAxñ = Diff(mA¢, Invert(m_mA ○ mA_mA¢));
4. ámBx, mB¢_mBxñ = Diff(mB¢, Invert(m_mB ○ mB_mB¢));
5. mAx_mBx = Match(mAx, mBx);
6. mA¢_mB¢ = (mA¢_mAx ○ mAx_mBx ○ Invert(mB¢_mBx)) Å
                     (Invert(m_mA ○ mA_mA¢) ○ m_mB ○ mB_mB¢);
7. ámR, mR_mA¢, mR_mB¢ñ = Merge(mA¢, mB¢, mA¢_mB¢);
8. m_mR = (m_mA ○ mA_mA¢ ○ Invert(mR_mA¢)) Å
                 (m_mB ○ mB_mB¢ ○ Invert(mR_mB¢));
9. return ámR, m_mRñ;
Solution script
mA¢
mAx
mB¢
mBx
mA
m
mR
mB
Mapping reuse
pattern
Mapping reuse pattern: line 6 and 8
mA = mA − deleted by way of mB
mAx = new in mA