Login / Signup
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