Computing premises of a minimal cover of functional dependencies is intractable

DOI10.1016/J.DAM.2012.10.026zbMATH Open1263.68046OpenAlexW2074053575MaRDI QIDQ1946215FDOQ1946215

Mikhail A. Babin, Sergei O. Kuznetsov

Publication date: 18 April 2013

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2012.10.026

zbMATH Keywords

formal concept analysisfunctional dependenciespseudo-intentsminimum basis

Mathematics Subject Classification ID

Data structures (68P05) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Knowledge representation (68T30) Database theory (68P15)

Cited In (18)

• Decision implication canonical basis: a logical perspective
• Mining ℰℒ⊥ Bases with Adaptable Role Depth
• Formal concept analysis: from knowledge discovery to knowledge processing
• Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements
• Characterizing functional dependencies in formal concept analysis with pattern structures
• Translating between the representations of a ranked convex geometry
• A comprehensive survey on formal concept analysis, its research trends and applications
• Interactive error correction in implicative theories
• Computing the Duquenne–Guigues basis: an algorithm for choosing the order
• On implication bases in \(n\)-lattices
• Formal Methods in FCA and Big Data
• Measuring the Implications of the D-Basis in Analysis of Data in Biomedical Studies
• A general theory of concept lattice with tractable implication exploration
• A depth-first search algorithm for computing pseudo-closed sets
• Algorithms for \(k\)-meet-semidistributive lattices
• Discovery of the \(D\)-basis in binary tables based on hypergraph dualization
• RQL: a query language for rule discovery in databases
• The joy of implications, aka pure Horn formulas: mainly a survey

This page was built for publication: Computing premises of a minimal cover of functional dependencies is intractable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1946215)