A.C.: Testing containment of conjunctive queries under functional and inclusion dependencies (1984)

by D S Johnson, Klug
Venue:J. of Computer and System Sciences