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.6999549e-05
Overall Rank
1,758 | 88.22%
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
533 The Magic of Duplicates and Aggregates 1990 VLDB 0.00016794756
1,255 Consistency Analysis in Bloom: a CALM and Collected Approach 2011 CIDR 0.00011313104
2,255 CORAL—Control, Relations and Logic 1992 VLDB 8.7427063e-05
3,493 Design and Implementation of the Glue-Nail Database System 1993 SIGMOD 7.2388675e-05
4,102 Monotonic Aggregation in Deductive Databases 1992 PODS 6.7929603e-05
6,774 An alternating fixpoint tailored to magic programs 1993 PODS 5.669182e-05
7,622 Modular Acyclicity and Tail Recursion in Logic Programs 1991 PODS 5.4663379e-05
8,275 The Valid Model Semantics for Logic Programs 1992 PODS 5.3477168e-05
8,756 Coral++: Adding Object-Orientation to a Logic Database Language 1993 VLDB 5.2705676e-05
13,369 XSB as an Efficient Deductive Database Engine 1994 SIGMOD 4.9605343e-05
14,752 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.0003786983
353 On the Power of Magic 1987 PODS 0.0002014941
1,557 Unfounded Sets and Well-Founded Semantics for General Logic Programs 1988 PODS 0.00010228729
1,571 Bottom-Up Beats Top-Down For Datalog 1989 PODS 0.00010176128
2,091 A Procedural Semantics for Well Founded Negation in Logic Programs 1989 PODS 9.0443821e-05
2,535 Logic Programming as Constructivism: A Formalization and its Application to Databases 1989 PODS 8.3090714e-05
2,640 Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) 1989 PODS 8.1737431e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

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