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ženo v:
Podrobná bibliografie
Vydáno v:Theoretical computer science Ročník 658; s. 264 - 292
Hlavní autor: Wild, Marcel
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 07.01.2017
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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