Keyphrases
- semantic query optimization
- deductive databases
- query optimization
- integrity constraints
- object oriented database systems
- integrity checking
- semantic query
- datalog programs
- semantic constraints
- complex objects
- data objects
- query processing
- database
- query evaluation
- fixpoint
- object oriented
- query language
- database systems