Functional dependencies in Horn theories
From MaRDI portal
Publication:1285668
DOI10.1016/S0004-3702(98)00114-3zbMath0914.68185MaRDI QIDQ1285668
Alexander Kogan, Kazuhisa Makino, Toshihide Ibaraki
Publication date: 28 April 1999
Published in: Artificial Intelligence (Search for Journal in Brave)
computational complexity; knowledge representation; condensation; functional dependency; acyclic directed graph; conjunctive normal form; Horn theory
68T30: Knowledge representation
Related Items
Closure via functional dependence simplification, Unnamed Item, SOME ORDER DUALITIES IN LOGIC, GAMES AND CHOICES, A subclass of Horn CNFs optimally compressible in polynomial time, The multiple facets of the canonical direct unit implicational basis, On functional dependencies in \(q\)-Horn theories, Lattices, closures systems and implication bases: a survey of structural aspects and algorithms, On propositional definability