On the Interaction between Transitive Closure and Functional Dependencies - Gottlob, G; Schrefl, M; Stumptner, M (Springer, 1989)