Gottlob, G. and Libkin, L.O. 1990. Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Acta Cybernetica. 9, 4 (Jan. 1990), 385-402.