Keyphrases
- expressive power
- deductive databases
- query answering
- datalog programs
- query language
- logic programming
- transitive closure
- ontology based data access
- integrity constraints
- data complexity
- containment of conjunctive queries
- database languages
- relational query languages
- data sets
- predicate invention
- dl programs
- first order logic
- case study
- databases