Keyphrases
- semantic query optimization
- deductive databases
- query optimization
- integrity constraints
- object oriented database systems
- integrity checking
- datalog programs
- semantic constraints
- expert systems
- query processing
- database systems
- object oriented
- logic programming
- xml data
- knowledge base
- conjunctive queries
- recursive queries
- metadata