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