David S. Johnson Anthony C. Klug Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies. 167-189 1984 28 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss28.html#JohnsonK84