Article ID Journal Published Year Pages File Type
4952374 Theoretical Computer Science 2017 29 Pages PDF
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
The joy of implications, aka pure Horn formulas: Mainly a survey
Authors
,