Eliminating Recursion from Monadic Datalog Programs on Trees.

Filip Mazowiecki Joanna Ochremiak Adam Witkowski

Published in: CoRR (2015)

Keyphrases

datalog programs
query answering
conjunctive queries
datalog queries
deductive databases
inconsistent databases
fixpoint
magic sets
recursive queries
data complexity
fixpoint semantics
database
relational databases
special case
structured data