Provenance-guided synthesis of Datalog programs.

Mukund Raghothaman Jonathan Mendelson David Zhao Mayur Naik Bernhard Scholz

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

Keyphrases

datalog programs
query answering
deductive databases
inconsistent databases
magic sets
fixpoint
conjunctive queries
recursive queries
fixpoint semantics
data complexity
data sets
metadata
np complete
incomplete information