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.

Uložené v:
Podrobná bibliografia
Vydané v:Theoretical computer science Ročník 658; s. 264 - 292
Hlavný autor: Wild, Marcel
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 07.01.2017
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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