Search: Sch. Matching/Mapping, Theory, Sigmod / VLDB, 1984