Inferring Minimal Functional Dependencies in Horn and q-Horn Theories

Toshihide Ibaraki, Alexander Kogan, Kazuhisa Makino. Inferring Minimal Functional Dependencies in Horn and q-Horn Theories. Annals of Mathematics and Artificial Intelligence, 38(4):233-255, 2003.

Abstract

Abstract is missing.