| "Magic Sets and Other Strange Ways to Implement Logic Programs," F. Bancilhon, D. Maier, Y. Sagiv and J. Ullman, Proc. 5th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, 1986. |
....that is now used in the invocation of a predicate. This is done using indices that essentially encode the structure of the computation used to generate a fact. These indices allow us to perform certain powerful optimizations in some cases. The Counting method was in fact originally presented [Bancilhon et al. 86, Sacca and Zaniolo 86a] with these optimizations as an integral part of the transformation. Like the Magic Sets method, the original version was of restricted applicability, and for example, could not handle the same generation example that we have used as a running example. We have chosen to ....
"Magic Sets and Other Strange Ways to Implement Logic Programs," F. Bancilhon, D. Maier, Y. Sagiv and J. Ullman, Proc. 5th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, 1986.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC