On Some Aspects of Mixed Horn Formulas.

Stefan Porschen Tatjana Schmidt Ewald Speckenmeyer

Published in: SAT (2009)

Keyphrases

functional dependencies
relational databases
integrity constraints
horn formulas
artificial intelligence
machine learning
knowledge acquisition