The joy of implications, aka pure Horn formulas
Periodicals(2017)
摘要
AbstractPure Horn clauses have also been called (among others) functional dependencies, strong association rules, or simply implications. We survey the mathematical theory of implications with an emphasis on the progress made in the last 30 years.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络