Gottlob, Georg, and Leonid O. Libkin. “Investigations on Armstrong Relations, Dependency Inference, and Excluded Functional Dependencies”. Acta Cybernetica 9, no. 4 (January 1, 1990): 385-402. Accessed December 24, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3383.