The joy of implications, aka pure Horn functions: mainly a survey
Logic in Computer Science
2017-03-01 v4
Abstract
Apart from a brief look at applications (Relational Databases, Formal Concept Analysis, data mining) this article is devoted to the mathematical t h e o r y of implications (=pure Horn formulas). It is mainly a survey of results obtained in the last thirty years, but features a few novelties as well. Some keywords: The Duquenne-Guiges (implicational) base, the canonical direct base, prime implicates, the consensus method, implications and meet irreducible closed sets, optimum bases for certain lattices, ordered direct bases, generating all closed sets, general (i.e. impure) Horn functions. We pose four open problems to stimulate further research.
Cite
@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}
}
Comments
This version is near identical to the accepted version in Theoretical Computer Science