Synthesizing Monadic Predicates.

Carlo Meghini Nicolas Spyratos

Published in: J. Log. Comput. (2008)

Keyphrases

datalog programs
deductive databases
datalog queries
conjunctive queries
query answering
fixpoint
data complexity
data mining
integrity constraints
logic programming
query language
multiscale
horn clauses
case study
genetic algorithm
recursive queries
real time
predicate invention