Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel.
Oliver KullmannInês LynceJoão Marques-SilvaPublished in: SAT (2006)
Keyphrases
- normal form
- propositional formulas
- cnf formula
- disjunctive normal form
- database design
- relational databases
- knowledge compilation
- functional dependencies
- database theory
- horn clauses
- prime implicates
- relational algebra
- conjunctive normal form
- data dependencies
- nested relations
- search space
- formal definitions
- information content
- database systems
- function symbols
- relational model
- np complete
- object oriented
- boolean variables
- boolean formula
- databases
- relational database theory