On Variables with Few Occurrences in Conjunctive Normal Forms.

Oliver Kullmann Xishun Zhao

Published in: SAT (2011)

Keyphrases

normal form
disjunctive normal form
functional dependencies
database theory
function symbols
relational databases
nested relations
relational algebra
database design
information content
formal definitions
data dependencies
relational database theory
prime implicates
multi valued
database schema
databases