The joy of implications, aka pure Horn formulas: Mainly a survey

详细信息    查看全文

• 作者：Marcel Wild ^{mwild@sun.ac.za}
• 关键词：Pure Horn functions and their minimization ; Boolean logic ; Association rule ; Lattice theory ; Formal Concept Analysis ; Closure system ; Convex geometry ; Prime implicates ; Meet-irreducibles ; Universal algebra
• 刊名：Theoretical Computer Science
• 出版年：2017
• 出版时间：7 January 2017
• 年：2017
• 卷：658
• 期：part_PB
• 页码：264-292
• 全文大小：1110 K
• 卷排序：658

文摘

Pure 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.