Synthesizing Datalog Programs Using Numerical Relaxation.

Xujie Si Mukund Raghothaman Kihong Heo Mayur Naik

Published in: CoRR (2019)

Keyphrases

datalog programs
recursive queries
magic sets
query answering
deductive databases
conjunctive queries
fixpoint
data complexity
inconsistent databases
data mining
artificial intelligence
knowledge base
lower bound
logic programming
data mining algorithms
fixpoint semantics