Interactive Debugging of Datalog Programs.

André Pacak Sebastian Erdweg

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

datalog programs
query answering
recursive queries
deductive databases
inconsistent databases
data complexity
fixpoint
conjunctive queries
magic sets
expressive power
integrity constraints
fixpoint semantics
high level
np complete
data warehouse
special case
data analysis