Investigation on Armstrong relations‚ dependency inference‚ and excluded functional dependencies
Georg Gottlob and Leonid Libkin
Journal
Acta Cybern.
Number
4
Pages
385−402
Volume
9
Year
1990
Georg Gottlob and Leonid Libkin