Right-Adjoints for Datalog Programs.
Balder ten CateVíctor DalmauJakub OprsalPublished in: ICDT (2024)
Keyphrases
- datalog programs
- query answering
- deductive databases
- fixpoint
- magic sets
- recursive queries
- inconsistent databases
- conjunctive queries
- datalog queries
- data complexity
- fixpoint semantics
- integrity constraints
- expressive power
- logic programs
- database
- data exchange
- software engineering
- stable models
- computational complexity
- database systems
- knowledge base
- artificial intelligence
- data mining