Publication:4667609
From MaRDI portal
zbMath1062.06004MaRDI QIDQ4667609
Karell Bertet, Mirabelle Nebut
Publication date: 20 April 2005
Full work available at URL: https://eudml.org/doc/124603
68P15: Database theory
68W05: Nonnumerical algorithms
06A15: Galois correspondences, closure operators (in relation to ordered sets)
Related Items
Canonical Ground Horn Theories, Formal Methods in FCA and Big Data, The multiple facets of the canonical direct unit implicational basis, The presence of lattice theory in discrete problems of mathematical social sciences. Why., Lattices, closures systems and implication bases: a survey of structural aspects and algorithms, Direct-optimal basis computation by means of the fusion of simplification rules, Canonical dichotomous direct bases, Canonicity!, Canonical Inference for Implicational Systems