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

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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science Jg. 658; S. 264 - 292
1. Verfasser: Wild, Marcel
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 07.01.2017
Schlagworte:
Association rule
Boolean logic
Closure system
Convex geometry
Formal Concept Analysis
Lattice theory
Meet-irreducibles
Prime implicates
Pure Horn functions and their minimization
Universal algebra
Formal Concept Analysis
Prime implicates
Universal algebra
Lattice theory
Boolean logic
Association rule
Convex geometry
Meet-irreducibles
Pure Horn functions and their minimization
Closure system
ISSN:0304-3975, 1879-2294
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2016.03.018