Ross, K.R. Modular Stratification and Magic Sets for DATALOG Programs with Negation. In Proceedings of the ACM Symposium on Principles of Database Systems (1990), 161--171. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Pushing Extrema Aggregates to Optimize Logic Queries - Greco (2002) (1 citation) (Correct)
Nondeterministic, Nonmonotonic Logic Databases - Giannotti, Manco, Nanni.. (Correct)
Disjunctive Datalog - Eiter, Gottlob, Mannila (1997) (16 citations) (Correct)
On the Partial Semantics for Disjunctive Deductive Databases - Eiter, Leone, Sacca (1997) (7 citations) (Correct)
Towards Well-Behaved Semantics Suitable for Aggregation - Dix, Osorio (1997) (1 citation) (Correct)
Efficient Evaluation of Normal Logic Programs - Swift (1994) (3 citations) (Correct)
Extending the Well-Founded and Valid Semantics for.. - Sudarshan, Srivastava, .. (1993) (14 citations) (Correct)
Tabling for Logic-based Artificial Intelligence - Swift (1999) (Correct)
Disjunctive Stable Models: Unfounded Sets, Fixpoint.. - Leone, Rullo, Scarcello (1997) (Correct)
Foundations of Deductive Object-Oriented Database Systems - Dobbie (1996) (3 citations) (Correct)
On the Effective Semantics of Nondeterministic.. - Giannotti, Manco.. (1999) (1 citation) (Correct)
Tabled Logic Programs: Principles, Practice and.. - Ramakrishnan.. (1996) (Correct)
Semantics Of Behavioral Inheritance In Deductive Object-Oriented.. - Jamil (1995) (1 citation) (Correct)
Taking I/O Seriously: Resolution Reconsidered for Disk - Freire, Swift, Warren (1997) (Correct)
Taking I/O Seriously: Resolution Reconsidered for Disk - Freire, Swift, Warren (Correct)
Taking I/O Seriously: Resolution Reconsidered for Disk - Freire, Swift, Warren (Correct)
Extending the Well-Founded and Valid Semantics for.. - Sudarshan.. (1993) (14 citations) (Correct)
The Limits of Fixed-Order Computation - Sagonas, Swift, Warren (1996) (2 citations) (Correct)
XSB as an Efficient Deductive Database Engine - Sagonas, Swift, Warren (1994) (73 citations) (Correct)
Magic-sets Transformation in Nonrecursive Systems - Gupta, Mumick (1993) (4 citations) (Correct)
Query Restricted Bottom-up Evaluation of Normal Logic Programs - Kemp (1992) (14 citations) (Correct)
Negation and Aggregates in Recursive Rules: the LDL++ Approach - Zaniolo, Arni, Ong (1993) (16 citations) (Correct)
Efficient Top-Down Computation of Queries under the.. - Chen, Swift, Warren (1994) (39 citations) (Correct)
The Limits of Fixed-Order Computation - Sagonas, Swift, Warren (1996) (2 citations) (Correct)
CORAL-Control, Relations and Logic - Ramakrishnan (1992) (9 citations) (Correct)
The Valid Model Semantics for Logic Programs - Catriel Beeri (1994) (4 citations) (Correct)
The Nonmonotonic Semantics of Active Rules in Deductive Databases - Zaniolo (1997) (1 citation) (Correct)
Semantics of Logic Programs with Aggregates - Kemp, Stuckey (1991) (38 citations) (Correct)
The Limits of Fixed-Order Computation - Sagonas, Swift, Warren (1996) (2 citations) (Correct)
Efficiently Implementing SLG Resolution: - Swift, Warren (1994) (Correct)
The CORAL Deductive System - Ramakrishnan, Srivastava, Sudarshan, .. (1994) (23 citations) (Correct)
Syntactically Recognizable Modularly Stratified Programs - Kemp, Ramamohanarao (1994) (Correct)
HySpirit - a Probabilistic Inference Engine for Hypermedia.. - Fuhr, Rölleke (1998) (5 citations) (Correct)
Deductive Databases: A short Overview for The Handbook of Data.. - Zaniolo (Correct)
Performance of Sequential SLG Evaluation - Swift, Warren (1993) (Correct)
Suitable semantics for Logic Programming - Arrazola, Osorio (Correct)
A Deductive Database Solution to the Preferential Vote Counting .. - David Kemp (Correct)
Efficient Top-Down Computation Of Queries Under The Well-Founded.. - Chen (1994) (39 citations) (Correct)
Magic-sets Transformation in Nonrecursive Systems - Gupta, Mumick (1992) (4 citations) (Correct)
A Survey of Research on Deductive Database Systems - Ramakrishnan, Ullman (1993) (34 citations) (Correct)
Efficient Bottom-Up Evaluation Of Logic Programs - Ramakrishnan, Srivastava.. (1992) (12 citations) (Correct)
Bottom-up Evaluation and Query Optimization of Well-Founded - Models David Kemp (1995) (19 citations) (Correct)
User-Defined Aggregates for Advanced Database Applications - Wang (2000) (Correct)
The Limits of Fixed-Order Computation - Sagonas, Swift, Warren (1996) (2 citations) (Correct)
Enhancing Disjunctive Datalog by Constraints - Buccafurri, Leone, Rullo (1999) (17 citations) (Correct)
SWORD: A Declarative Object-Oriented Database Architecture - Mumick, Ross (1992) (2 citations) Self-citation (Ross) (Correct)
Constraint Stratification in Deductive Databases - Ross Self-citation (Ross) (Correct)
Efficient Incremental Evaluation of Queries with.. - Ramakrishnan, Ross.. (1994) (9 citations) Self-citation (Ross) (Correct)
On Negation in HiLog - Ross (1994) (5 citations) Self-citation (Ross) (Correct)
Design and Implementation of the SWORD Declarative.. - Mumick, Ross, Sudarshan (1993) (1 citation) Self-citation (Ross) (Correct)
First 50 documents Next 50
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