Catriel Beeri, Raghu Ramakrishnan  Home/Search
Context Related
| wisc.edu/coral/doc/magic.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wisc.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper considers the efficient evaluation of recursive queries expressed using Horn Clauses. We define sideways information passing formally and show how a query evaluation algorithm may be defined in terms of sideways information passing and control. We then consider a class of information passing strategies that suffices to describe most query evaluation algorithms in the database literature, and show that these strategies may always be implemented by rewriting a given program and... (Update)
Similar documents based on text: More All
0.3: The Valid Model Semantics for Logic Programs - Catriel Beeri (1994) (Correct)
0.2: Magic Conditions - Mumick, Finkelstein, Pirahesh.. (1990) (Correct)
0.2: Extending the Well-Founded and Valid Semantics for.. - Sudarshan.. (1993) (Correct)
Related documents from co-citation: More All
52: Magic Sets and Other Strange Ways to Implement Logic Programs (context) - Bancilhon, Maier et al. - 1986
35: Magic Templates: A Spellbinding Approach to Logic Programs - Ramakrishnan - 1988
25: Ullman J. D.: Principles of Database and Knowledge-Base Systems, Volumes 1 and 2. Computer Science Press, 1988. This article was processed using the L scaled 913a T E X macro package with LLNCS style
BibTeX entry: (Update)
C. Beeri and R. Ramakrishnan. On the power of magic. In Proceedings of the Sixth ACM Symposium on Principles of Database Systems, pages 269--293, San Diego, CA, March 1987. http://citeseer.ist.psu.edu/beeri87power.html More
@inproceedings{ beeri87power,
author = "C. Beeri and R. Ramakrishnan",
title = "On the power of magic",
pages = "269--284",
year = "1987",
url = "citeseer.ist.psu.edu/beeri87power.html" }
Citations (may not include all citations):40 Sets and Negation in a Logic Database Language (context) - Sets, Logic et al. - 1987
32 Springer-Verlag (context) - Logic, Lloyd - 1984
2 Conference on Expert Database Systems (context) - in, Databases et al. - 1986
2 Technical Report - in, Databases et al. - 1985
2 La Methode Alexandre: une solution pour traiter les axiomes .. (context) - Lescoeur, Alexandre et al. - 1985
1 Bancilhon and R (context) - Introduction, Query et al. - 1986
1 To appear in Foundations of Deductive Databases and Logic Pr.. (context) - of, Logic et al. - 1987
1 Advanced Database Symposium (context) - for, Implementation et al. - 1986
1 th -- -- - 37 - International Joint Conference on Artificial.. (context) - in, by et al. - 1985
1 Van Gelder (context) - Passing, Recursive et al. - 1986
1 Computing Surveys (context) - Data, Approach et al. - 1984
1 ith Recursive Rules," D. McKay and S. Shapiro, Proc. 7th Int.. (context) - Connection, Reasoning - 1981
1 University of Melbourne (context) - Computation, Databases et al.
1 Henschen and S (context) - Queries, First-Order et al. - 1984
1 Joint Symposium on Logic Programming and International Confe.. (context) - Templates, Approach et al. - 1988
1 Conference on Expert Database Systems (context) - towards, Global et al. - 1986
1 MCC Technical Report DB (context) - on, of et al. - 1985
1 th ACM SIGMOD-SIGACT Symposium on Principles of Database Sys.. (context) - Sets, Ways et al. - 1986
1 Groupe Intelligence Artificielle (context) - Manuel, de Utilisation et al. - 1975
1 On the Implementation of a Simple Class of Logic Queries for.. (context) - of, of et al. - 1986
1 First International Conference on Database Theory (context) - Counting, Recursive et al. - 1986
1 Sacca and C (context) - Methods - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.wisc.edu.html): More
Precise Interprocedural Dataflow Analysis with.. - Sagiv, Reps, Horwitz (1995) (Correct)
A Comparison of Trace-Sampling Techniques for Multi-Megabyte .. - Kessler, HIll, Wood (1994) (Correct)
Parallel Processing on Dynamic Resources with CARMI - Pruyne (1995) (Correct)
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