Synthesizing Datalog Programs using Numerical Relaxation.

Xujie Si Mukund Raghothaman Kihong Heo Mayur Naik

Published in: IJCAI (2019)

Keyphrases

datalog programs
query answering
deductive databases
inconsistent databases
magic sets
conjunctive queries
fixpoint
recursive queries
data mining
data complexity
expressive power
computational complexity
distributed systems