GENSYNTH: Synthesizing Datalog Programs without Language Bias.

Jonathan Mendelson Aaditya Naik Mukund Raghothaman Mayur Naik

Published in: AAAI (2021)

Keyphrases

datalog programs
fixpoint semantics
conjunctive queries
programming language
query answering
deductive databases
inconsistent databases
fixpoint
data complexity
natural language
magic sets
artificial intelligence
expressive power
operational semantics
model theoretic
recursive queries
data analysis