… for bottom-up evaluation is demonstrated and extended to include magic-set … of the magic-rewritten program is exhibited, demonstrating that the complexity of the two … such as set-grouping and aggregation, which have traditionally been stratified …
JACM, 41(6):1216-1266, 1994. [doi]… Several methods for implementing database queries expressed as logical rules are given and they are compared for efficiency. One method, called “magic sets,” is a general algorithm for rewriting logical rules so that they may …
PODS 1986: 1-15 [doi]… The magic-sets transformation is a useful technique for dramatically improving … of the magic-sets transformation to a fully automatic optimising compiler from … implementations of magic in previous work require integration with the database …
SIGMOD 2008: 553-566 [doi]