The Closure of Monadic NP (Extended Abstract).

Miklós Ajtai Ronald Fagin Larry J. Stockmeyer

Published in: STOC (1998)

Keyphrases

extended abstract
deductive databases
computational complexity
datalog queries
datalog programs
np complete
database
information retrieval
artificial intelligence
evolutionary algorithm
fixed point
query evaluation
double exponential