Constraint-Based Synthesis of Datalog Programs.

Aws Albarghouthi Paraschos Koutris Mayur Naik Calvin Smith

Published in: CP (2017)

Keyphrases

datalog programs
query answering
deductive databases
conjunctive queries
magic sets
fixpoint
recursive queries
inconsistent databases
fixpoint semantics
np complete
data sets
natural language
knowledge representation
general purpose
pattern matching
integrity constraints