Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.

Francesco Calimeri Susanna Cozza Giovambattista Ianni Nicola Leone

Published in: LPNMR (2009)

Keyphrases

magic sets
logic programs
recursive programs
datalog programs
update propagation
logic programming
fixpoint
recursive queries
machine learning
np complete
data warehousing
data replication