Keyphrases
- expressive power
- deductive databases
- query answering
- object oriented
- query language
- logic programming
- object oriented databases
- knowledge representation
- database languages
- datalog programs
- transitive closure
- data complexity
- integrity constraints
- multiple inheritance
- object identity
- relational algebra
- dl programs
- existentially quantified
- database
- relational query languages
- incomplete information
- first order logic
- data model
- database systems
- machine learning