Testing containment of conjunctive queries under functional and inclusion dependencies (1984)

by D S Johnson, A C Klug
Venue:J. Comput. Syst. Sci