Keyphrases
- datalog programs
- fixpoint
- deductive databases
- query answering
- magic sets
- inconsistent databases
- conjunctive queries
- update propagation
- recursive queries
- magic sets transformation
- fixpoint semantics
- knowledge representation
- knowledge base
- data complexity
- data warehouse
- data cube
- load balancing
- natural language
- databases
- database