Normal Forms for Knowledge Compilation.

Reiner Hähnle Neil V. Murray Erik Rosenthal

Published in: ISMIS (2005)

Keyphrases

normal form
knowledge compilation
prime implicates
product configuration
relational databases
database design
functional dependencies
nested relations
model counting
polynomial size
database
object oriented
formal definitions
decomposable negation normal form
data dependencies
data mining
databases