On the Complexity of Testing Implications of Functional and Join Dependencies.

David Maier Yehoshua Sagiv Mihalis Yannakakis On the Complexity of Testing Implications of Functional and Join Dependencies. 680-695 1981 28 J. ACM 4 http://doi.acm.org/10.1145/322276.322280 db/journals/jacm/jacm28.html#MaierSY81 JACM/28/P0680.pdf