Ideal Refinement of Datalog Clauses Using Primary Keys.
Siegfried NijssenJoost N. KokPublished in: ECAI (2004)
Keyphrases
- expressive power
- function free horn
- first order logic
- refinement operators
- query answering
- deductive databases
- search space
- logic programming
- integrity constraints
- propositional logic
- transitive closure
- datalog programs
- data complexity
- database languages
- refinement process
- relational calculus
- cnf formula
- logic programs