On the complexity of testing implication of functional and join dependencies (1981)

by Sagiv Maier, Yannakakis
Venue:J. ACM