An Abstract Formalization of Correct Schemas for Program Synthesis.

Pierre Flener Kung-Kiu Lau Mario Ornaghi Julian Richardson

Published in: J. Symb. Comput. (2000)

Keyphrases

program synthesis
databases
inductive logic programming
high level
data mining
recursive programs
schema matching
formal model
relational databases
schema mappings
knowledge representation
low level
context aware
cellular automata
data exchange
model selection
logic programs