Magic Sets for Disjunctive Datalog Programs

Mario Alviano Wolfgang Faber Gianluigi Greco Nicola Leone

Published in: CoRR (2012)

Keyphrases

datalog programs
magic sets
fixpoint
query answering
recursive queries
deductive databases
inconsistent databases
conjunctive queries
magic sets transformation
data complexity
logic programs
data mining
stable models