Magic Sets and Bottom-Up Evaluation of Well-Founded Models.

David B. Kemp Divesh Srivastava Peter J. Stuckey

Published in: ISLP (1991)

Keyphrases

magic sets
data warehouse
finite state machines
fixpoint