conf/pods/82 David S. Johnson Anthony C. Klug Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies. 164-169 1982 PODS db/conf/pods/pods82.html#JohnsonK82 http://doi.acm.org/10.1145/588111.588138 db/conf/pods/JohnsonK82.html journals/anthology/cd1-3:PODS82/P164.PDF journals/anthology/dvd1:text/1-3/PODS82/P164.PDF journals/siamcomp/AhoSU79 journals/tods/AhoSU79 conf/pods/CasanovaFP82 conf/stoc/ChandraLM81 conf/stoc/ChandraM77 journals/cacm/Codd70 journals/tods/Codd79 journals/tods/Fagin81 conf/focs/JohnsonK81 conf/er/Klug79 journals/tods/MaierMS79 journals/cacm/SmithS77 conf/sigmod/Zaniolo79