Inferring minimal functional dependencies in Horn and q-Horn theories
From MaRDI portal
Publication:1810895
DOI10.1023/A:1023098325064zbMath1023.68027MaRDI QIDQ1810895
Toshihide Ibaraki, Alexander Kogan, Kazuhisa Makino
Publication date: 9 June 2003
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Related Items
Formal Methods in FCA and Big Data ⋮ On propositional definability ⋮ Closure via functional dependence simplification ⋮ Efficient dualization of \(O(\log n\))-term monotone disjunctive normal forms ⋮ On functional dependencies in \(q\)-Horn theories
Uses Software
