Search: Sch. Matching/Mapping, Theory, Sigmod / VLDB, Ullman, J