Magic templates: a spellbinding approach to logic programs

Afrati, 1986, Convergence of Sideways Query Evaluation, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems Bancilhon, 1985, A Note on the Performance of Rule Based Systems, MCC Technical Report DB-022-85 Bancilhon, 1986, An Amateur's Introduction to Recursive Query Processing Strategies, Proceedings of the ACM SIGMOD International Conference on the Management of Data, 10.1145/16856.16859 Bancilhon, 1988, Performance Evaluation of Data Intensive Logic Programs Beeri, 1987, On the Power of Magic, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 10.1145/28659.28689 Bancilhon, 1986, Magic Sets and Other Strange Ways to Implement Logic Programs, Proceedings of the 5th ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, 10.1145/6012.15399 Beeri, 1987, Sets and Negation in a Logic Database Language (LDL1), Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 10.1145/28659.28662 Balbin, 1987, Magic Set Computation of Stratified Databases Dietrich, 1987, Extension Tables: Memo Relations in Logic Programming, Proceedings of the Symposium on Logic Programming Gallaire, 1984, Logic and Data Bases: A Deductive Approach, Comput. Surveys, 16, 10.1145/356924.356929 Henschen, 1984, On Compiling Queries in Recursive First-Order Data Bases, J. Assoc. Comput. Mach., 31, 47, 10.1145/2422.2423 Jaffar, 1987, Constraint Logic Programming, Proceedings of the Conference on Principles of Programming Languages Kale, 1987, The Reduce-or-Process Model for Parallel Evaluation of Logic Programs, Proceedings of the International Conference on Logic Programming Kifer, 1986, Filtering Data Flow in Deductive Databases, Proceedings of the International Conference on Database Theory Kifer, 1986, A Framework for an Efficient Implementation of Deductive Databases, Proceedings of the Advanced Database Symposium Kifer, 1987, Implementing Logic Programs as a Database System, Proceedings of the International Conference on Data Engineering Krishnamurthy, 1988, A Framework for Testing Safety and Effective Computability of Extended Datalog, Proceedings of SIGMOD, 10.1145/971701.50219 Lassez, 1983, Closures and Fairness in the Semantics of Programming Logic, Theoret. Comput. Sci. Lassez, 1988, Unification Revisited Maier, 1988 Naughton, 1987, One-Sided Recursions, Proceedings of the ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, 10.1145/28659.28695 Naughton, 1988, Compiling Separable Recursions, Proceedings of the ACM SIGMOD International Conference on the Management of Data, 10.1145/971701.50240 Rohmer, 1986, The Alexander Method: A Technique for the Processing of Recursive Axioms in Deductive Databases, New Generation Comput., 4, 3, 10.1007/BF03037407 Sacca, 1986, On the Implementation of a Simple Class of Logic Queries for Databases, Proceedings of the ACM SIGMOD-SIGACT Symposium on Principles of Database Systems, 10.1145/6012.6013 Sacca, 1986, The Generalized Counting Method for Recursive Logic Queries, Proceedings of the International Conference on Database Theory Ullman, 1985, Implementation of Logical Query Languages for Databases, ACM Trans. Database Systems, 10, 289, 10.1145/3979.3980 Van Emden, 1976, The Semantics of Predicate Logic as a Programming Language, J. Assoc. Comput. Mach., 23, 4, 10.1145/321978.321991 Rohmer, 1985, La Methode Alexandre: une solution pour traiter les axiomes recursifs dans les bases de donnees deductives, Colloque Reconnaissance de Formes et Intelligence Artificielle Van Gelder, 1986, A Message Passing Framework for Recursive Query Evaluation, Proceedings of the ACM SIGMOD International Conference on Management of Data, 10.1145/16856.16870 Vieille, 1986, Recursive Axioms in Deductive Databases: The Query/Subquery Approach, Proceedings of the International Conference on Expert Database Systems Vieille, 1988, From QSQ Towards QoSaQ: Global Optimization of Recursive Queries, Proceedings of the International Conference on Expert Database Systems Jaffar, 1987, Methodology and Implementation of a CLP System, Proceedings of the International Conference on Logic Programming Heintze, 1986, The CLP(R) Programmer's Manual