Search: Sch. Matching/Mapping, Theory, Sigmod / VLDB, Kolaitis, P, 2009