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.

Saved in:

Bibliographic Details
Published in:	Theoretical computer science Vol. 658; pp. 264 - 292
Main Author:	Wild, Marcel
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 07.01.2017
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!