David B. Kemp, Peter J. Stuckey, Divesh Srivastava  Home/Search
Context Related
| att.com/~divesh/papers/kss92wfn.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: att.com/~divesh/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Several program transformations---magic sets, envelopes, NRSU transformations and context transformations, among others---have been proposed for efficiently computing the answers to a query while taking advantage of the query constants. These transformations use sideways information passing strategies (sips) to restrict bottom-up evaluation to facts potentially relevant to the query. It is of interest to extend these transformations to all logic programs with negation, and identify classes of... (Update)
Context of citations to this paper: More
.... the magic sets techniques to larger classes of programs with negation, be it stratified, modularly stratified, or general negation [Ros90, RSS92, Mor93, KSS92]. In general, the larger the class of programs allowed, the fewer options there are for optimization, and so we look for...
...thereby giving semantics to every program. For this semantics several query evaluation procedures have been defined [7, 11, 13, 32, 47, 53, 54, 57, 61]. The well founded semantics deals only with normal programs, i.e. those with just negation by default, and thus it provides...
Cited by: More
A Framework for Goal-Directed Bottom-Up Evaluation of.. - Almendros-Jiménez, al. (Correct)
Tabled Evaluation with Delaying for General Logic Programs - Weidong Chen Computer (1996) (Correct)
Top-Down Query Evaluation for Well-Founded Semantics .. - Alferes.. (1994) (Correct)
Similar documents (at the sentence level):
12.1%: Bottom-up Evaluation and Query Optimization of.. - Kemp, Srivastava, Stuckey (1995) (Correct)
10.2%: Bottom-up Evaluation and Query Optimization of Well-Founded - Models David Kemp (1995) (Correct)
5.3%: Magic Sets and Bottom-up Evaluation of Well-Founded Models - Kemp, Stuckey (1991) (Correct)
Similar documents based on text:
92.0: Unknown - (Correct)
Related documents from co-citation: More All
13: Foundations of Logic Programming (context) - Lloyd - 1987
11: A procedural semantics for well founded negation in logic programs - Ross - 1989
11: Magic sets and bottom-up evaluation of well-founded models - Kemp, Stuckey et al. - 1991
BibTeX entry: (Update)
David B. Kemp, Peter J. Stuckey, and Divesh Srivastava. Query restricted bottom-up evaluation of normal logic programs. In Joint Intl. Conference and Symposium on Logic Programming, pages 288--302, 1992. http://citeseer.ist.psu.edu/kemp92query.html More
@inproceedings{ kemp92query,
author = "Kemp, D. B. and Stuckey, P. J. and Srivastava, D.",
title = "Query Restricted Bottom-Up Evaluation of Normal Logic Programs",
booktitle = "Proceedings of the Joint International Conference and Symposium on Logic Programming",
publisher = "The MIT Press",
address = "Washington, USA",
editor = "Apt",
isbn = "0-262-51064-2",
pages = "288-302",
year = "1992",
url = "citeseer.ist.psu.edu/kemp92query.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://public.research.att.com/~divesh/papers/): More
Diamond in the Rough: Finding Hierarchical Heavy.. - Cormode, Korn.. (2004) (Correct)
Explaining Program Execution in Deductive Systems - Arora, Ramakrishnan, Roth.. (1993) (Correct)
Using LDAP Directory Caches - Cluet, Kapitskaia, Srivastava (1999) (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