Functional dependencies in Horn theories

DOI10.1016/S0004-3702(98)00114-3zbMath0914.68185OpenAlexW2035284422MaRDI QIDQ1285668

Alexander Kogan, Kazuhisa Makino, Toshihide Ibaraki

Publication date: 28 April 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(98)00114-3

zbMATH Keywords

computational complexityknowledge representationcondensationfunctional dependencyacyclic directed graphconjunctive normal formHorn theory

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (9)

SOME ORDER DUALITIES IN LOGIC, GAMES AND CHOICES ⋮ On propositional definability ⋮ Lattices, closures systems and implication bases: a survey of structural aspects and algorithms ⋮ Three views on dependency covers from an FCA perspective ⋮ Closure via functional dependence simplification ⋮ A subclass of Horn CNFs optimally compressible in polynomial time ⋮ The multiple facets of the canonical direct unit implicational basis ⋮ Unnamed Item ⋮ On functional dependencies in \(q\)-Horn theories

This page was built for publication: Functional dependencies in Horn theories