Disjunctions of Horn Theories and Their Cores.

Thomas Eiter Toshihide Ibaraki Kazuhisa Makino

Published in: SIAM J. Comput. (2001)

Keyphrases

horn theories
canonical representation
functional dependencies
logical formulas
relational databases
integrity constraints
case study
knowledge representation
multi core processors
real time
programming language
multi dimensional
logic programs
database design
knowledge compilation
level parallelism