Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation.
Harald GanzingerJürgen StuberPublished in: CADE (2003)
Keyphrases
- normal form
- database design
- relational databases
- relational algebra
- functional dependencies
- information content
- automated reasoning
- knowledge base
- theorem proving
- knowledge representation
- relational database theory
- reasoning tasks
- theorem prover
- data dependencies
- np complete
- prime implicates
- set of functional dependencies
- data structure