Syntax-guided synthesis of Datalog programs.

Xujie Si Woosuk Lee Richard Zhang Aws Albarghouthi Paraschos Koutris Mayur Naik

Published in: ESEC/SIGSOFT FSE (2018)

Keyphrases

datalog programs
query answering
inconsistent databases
deductive databases
magic sets
recursive queries
fixpoint
natural language
conjunctive queries
high level
data complexity
fixpoint semantics
databases
multi agent systems
xml documents