Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes.

Balder ten Cate Víctor Dalmau Jakub Oprsal

Published in: CoRR (2023)

Keyphrases

datalog programs
recursive queries
query answering
deductive databases
fixpoint
data complexity
magic sets
np hard
fixpoint semantics
databases
machine learning
artificial intelligence