Search: Relational sch. match, Theory, Sigmod / VLDB, Keller, A, 1984