Solving QBF by Combining Conjunctive and Disjunctive Normal Forms.
Lintao ZhangPublished in: AAAI (2006)
Keyphrases
- normal form
- database design
- nested relations
- relational databases
- relational algebra
- disjunctive normal form
- functional dependencies
- data dependencies
- information content
- formal definitions
- database theory
- relational database theory
- multi valued
- prime implicates
- knowledge compilation
- propositional logic
- boolean formula
- null values
- relational model
- temporal logic
- management system
- data structure