Keyphrases
- deductive databases
- expressive power
- query answering
- query language
- datalog programs
- integrity constraints
- logic programming
- database languages
- transitive closure
- software product line
- relational calculus
- data complexity
- normal form
- relational query languages
- ontology based data access
- existentially quantified
- neural network
- data exchange
- data management
- data sources
- data model
- search algorithm