Keyphrases
- magic sets
- datalog programs
- logic programs
- query answering
- update propagation
- recursive queries
- fixpoint
- inconsistent databases
- replicated databases
- deductive databases
- conjunctive queries
- data exchange
- logic programming
- data complexity
- peer to peer
- stable model semantics
- materialized views
- transitive closure
- database
- answer set programming
- load balancing
- databases