Keyphrases
- expressive power
- deductive databases
- query answering
- query language
- datalog programs
- integrity constraints
- logic programming
- ontology based data access
- containment of conjunctive queries
- transitive closure
- database languages
- data structure
- predicate invention
- data complexity
- datalog queries
- data mining
- database
- databases
- recursive programs
- existentially quantified
- tuple generating dependencies
- relational calculus
- description logics
- relational algebra
- information systems
- query evaluation
- search algorithm
- multi agent systems
- data model