On Monadic Theories of Monadic Predicates.

Wolfgang Thomas

Published in: Fields of Logic and Computation (2010)

Keyphrases

datalog programs
deductive databases
datalog queries
recursive queries
query answering
conjunctive queries
integrity constraints
query evaluation
theoretical framework
fixpoint
design theory
real world
data integration
data complexity
case study
artificial intelligence
data mining