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.7353228e-05
Overall Rank
1,744 | 88.28%
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.00016847212
1,245 Consistency Analysis in Bloom: a CALM and Collected Approach 2011 CIDR 0.00011353116
2,237 CORAL—Control, Relations and Logic 1992 VLDB 8.7753131e-05
3,484 Design and Implementation of the Glue-Nail Database System 1993 SIGMOD 7.265089e-05
4,076 Monotonic Aggregation in Deductive Databases 1992 PODS 6.8187173e-05
6,749 An alternating fixpoint tailored to magic programs 1993 PODS 5.6906839e-05
7,599 Modular Acyclicity and Tail Recursion in Logic Programs 1991 PODS 5.487029e-05
8,253 The Valid Model Semantics for Logic Programs 1992 PODS 5.3679991e-05
8,728 Coral++: Adding Object-Orientation to a Logic Database Language 1993 VLDB 5.2905577e-05
13,322 XSB as an Efficient Deductive Database Engine 1994 SIGMOD 4.9793485e-05
14,707 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.00038009523
352 On the Power of Magic 1987 PODS 0.00020223279
1,556 Unfounded Sets and Well-Founded Semantics for General Logic Programs 1988 PODS 0.00010267435
1,566 Bottom-Up Beats Top-Down For Datalog 1989 PODS 0.00010214543
2,076 A Procedural Semantics for Well Founded Negation in Logic Programs 1989 PODS 9.0786404e-05
2,528 Logic Programming as Constructivism: A Formalization and its Application to Databases 1989 PODS 8.3404822e-05
2,629 Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) 1989 PODS 8.2045999e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 14,707 On Negation in HiLog 1991 PODS
2 6,749 An alternating fixpoint tailored to magic programs 1993 PODS
3 7,682 Database Updates in Logic Programming 1988 PODS
4 2,716 Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions 1993 PODS
5 13,100 Soft Stratification for Magic Set Based Query Evaluation in Deductive Databases 2003 PODS
6 13,407 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,457 Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model 1989 PODS
10 7,599 Modular Acyclicity and Tail Recursion in Logic Programs 1991 PODS