Dynamic Magic Sets for Programs with Monotone Recursive Aggregates.

Mario Alviano Gianluigi Greco Nicola Leone

Published in: LPNMR (2011)

Keyphrases

magic sets
datalog programs
recursive queries
query answering
logic programs
fixpoint
data streams
query language
query optimization
conjunctive queries
deductive databases
inconsistent databases
expressive power
update propagation