db/journals/jacm/Honeyman82.html Peter Honeyman Testing satisfaction of functional dependencies. 668-677 1982 29 J. ACM 3 http://doi.acm.org/10.1145/322326.322330 JACM/29/P0668.pdf db/journals/jacm/jacm29.html#Honeyman82