蕴含式的乐趣，即纯 Horn 函数：主要是一篇综述
计算机科学中的逻辑
2017-03-01 v4
摘要
除了简要介绍应用（关系数据库、形式概念分析、数据挖掘）外，本文致力于蕴含式（即纯 Horn 公式）的数学理论。它主要是对过去三十年所获结果的综述，但也包含一些新内容。一些关键词：Duquenne-Guiges（蕴含）基、规范直接基、素蕴含、共识方法、蕴含与交不可约闭集、某些格的最优基、有序直接基、生成所有闭集、一般（即非纯）Horn 函数。我们提出了四个未解决问题以促进进一步研究。
引用
@article{arxiv.1411.6432,
title = {The joy of implications, aka pure Horn functions: mainly a survey},
author = {Marcel Wild},
journal= {arXiv preprint arXiv:1411.6432},
year = {2017}
}
备注
This version is near identical to the accepted version in Theoretical Computer Science