Three views on dependency covers from an FCA perspective

DOI10.1007/978-3-031-35949-1_6OpenAlexW4383212579MaRDI QIDQ6148092

Victor Codocedo, Mehdi Kaytoue, Amedeo Napoli, Jaume Baixeries

Publication date: 11 January 2024

Published in: Formal Concept Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-35949-1_6

zbMATH Keywords

Horn clausesclosurefunctional dependenciesimplicationsdependency covers

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The multiple facets of the canonical direct unit implicational basis
• Functional dependencies in Horn theories
• Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
• Ordered direct implicational basis of a finite closure system
• Optimizations in computing the Duquenne-Guigues basis of implications
• Introducing the closure structure and the GDPM algorithm for mining and understanding a tabular dataset
• Conceptual Exploration
• Horn representation of a concept lattice
• An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
• On sentences which are true of direct unions of algebras
• Computations with finite closure systems and implications