On Optimizing Uniformly Bounded Datalog Programs.
Jia Liang HanPublished in: Australian Database Conference (1993)
Keyphrases
- datalog programs
- query answering
- magic sets
- data complexity
- fixpoint
- recursive queries
- deductive databases
- conjunctive queries
- inconsistent databases
- bounded treewidth
- fixpoint semantics
- database
- incomplete information
- finite state machines
- query evaluation
- data exchange
- integrity constraints
- software engineering
- data warehouse
- special case
- multi agent systems