DBScholar

Back to papers

Modular Stratification and Magic Sets for DATALOG Programs with Negation

Summary: Propose modularly stratified Datalog with negation, generalizing stratification/local stratification and ensuring total semantics (well-founded = stable). Develop a bottom-up rewriting and magic-set extension that preserve well-founded answers and enable subgoal-at-a-time evaluation; note extensibility to aggregation. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
hb0ab21b271c514e0
Venue
PODS
Year
1990
Pagerank
9.7314096e-05
Overall Rank
1,746 | 88.27%
DOI
10.1145/298514.298558

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{ross_pods90,
        address = {New York, NY, USA},
        series = {{PODS} '90},
        title = {{Modular Stratification and Magic Sets for DATALOG Programs with Negation}},
        url = {https://dl.acm.org/doi/10.1145/298514.298558},
        doi = {10.1145/298514.298558},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Ross, Kenneth A.},
        year = {1990}
}

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank Citing Paper Year Venue Pagerank
531 The Magic of Duplicates and Aggregates 1990 VLDB 0.00016845756
1,248 Consistency Analysis in Bloom: a CALM and Collected Approach 2011 CIDR 0.00011347831
2,239 CORAL—Control, Relations and Logic 1992 VLDB 8.7712266e-05
3,484 Design and Implementation of the Glue-Nail Database System 1993 SIGMOD 7.2621777e-05
4,079 Monotonic Aggregation in Deductive Databases 1992 PODS 6.8154895e-05
6,754 An alternating fixpoint tailored to magic programs 1993 PODS 5.68799e-05
7,605 Modular Acyclicity and Tail Recursion in Logic Programs 1991 PODS 5.4844322e-05
8,259 The Valid Model Semantics for Logic Programs 1992 PODS 5.365458e-05
8,736 Coral++: Adding Object-Orientation to a Logic Database Language 1993 VLDB 5.2880532e-05
13,328 XSB as an Efficient Deductive Database Engine 1994 SIGMOD 4.9769913e-05
14,712 On Negation in HiLog 1991 PODS -
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
67 An Amateur's Introduction to Recursive Query Processing Strategies 1986 SIGMOD 0.00037991902
353 On the Power of Magic 1987 PODS 0.00020213935
1,556 Unfounded Sets and Well-Founded Semantics for General Logic Programs 1988 PODS 0.00010262577
1,566 Bottom-Up Beats Top-Down For Datalog 1989 PODS 0.00010209764
2,079 A Procedural Semantics for Well Founded Negation in Logic Programs 1989 PODS 9.0743477e-05
2,528 Logic Programming as Constructivism: A Formalization and its Application to Databases 1989 PODS 8.3365843e-05
2,631 Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) 1989 PODS 8.2007667e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 14,712 On Negation in HiLog 1991 PODS
2 6,754 An alternating fixpoint tailored to magic programs 1993 PODS
3 7,688 Database Updates in Logic Programming 1988 PODS
4 2,716 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions 1993 PODS
5 13,106 Soft Stratification for Magic Set Based Query Evaluation in Deductive Databases 2003 PODS
6 13,413 Backward chaining evaluation in stratified disjunctive theories 1990 PODS
7 2,528 Logic Programming as Constructivism: A Formalization and its Application to Databases 1989 PODS
8 1,049 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS
9 1,459 Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model 1989 PODS
10 7,605 Modular Acyclicity and Tail Recursion in Logic Programs 1991 PODS