Alberto O. Mendelzon Peter T. Wood Functional Dependencies in Horn Clause Queries. 31-55 1991 16 ACM Trans. Database Syst. 1 db/journals/tods/tods16.html#MendelzonW91 http://doi.acm.org/10.1145/103140.103142 db/journals/tods/MendelzonW91.html TODS16/P031.PDF conf/iclp/AptBK89 ... ... journals/jlp/ChandraH85 ... ... conf/iclp/WarrenD86 conf/aaai/KohliM83 books/sp/Lloyd84 ... conf/vldb/Mendelzon85 ... ... conf/pods/RamakrishnanBK88 conf/slp/Reddy84 conf/eds/ScioreW84 journals/tods/Ullman85 books/cs/Ullman88 conf/vldb/Warren81