Search: Relational sch. match, Theory, Sigmod / VLDB, Ullman, J, 1984