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
897
Venue
PODS
Year
1990
Pagerank
9.9404301e-05
Overall Rank
1,714 | 88.25%
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
527 The Magic of Duplicates and Aggregates 1990 VLDB 0.00017108864
1,240 Consistency Analysis in Bloom: a CALM and Collected Approach 2011 CIDR 0.00011536847
2,194 CORAL—Control, Relations and Logic 1992 VLDB 8.9724143e-05
3,430 Design and Implementation of the Glue-Nail Database System 1993 SIGMOD 7.4202634e-05
4,002 Monotonic Aggregation in Deductive Databases 1992 PODS 6.9661579e-05
6,620 An alternating fixpoint tailored to magic programs 1993 PODS 5.8212982e-05
7,454 Modular Acyclicity and Tail Recursion in Logic Programs 1991 PODS 5.6128072e-05
8,083 The Valid Model Semantics for Logic Programs 1992 PODS 5.4911506e-05
8,561 Coral++: Adding Object-Orientation to a Logic Database Language 1993 VLDB 5.4119882e-05
13,032 XSB as an Efficient Deductive Database Engine 1994 SIGMOD 5.093636e-05
14,396 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
63 An Amateur's Introduction to Recursive Query Processing Strategies 1986 SIGMOD 0.00038782376
344 On the Power of Magic 1987 PODS 0.00020659405
1,522 Unfounded Sets and Well-Founded Semantics for General Logic Programs 1988 PODS 0.00010502706
1,538 Bottom-Up Beats Top-Down For Datalog 1989 PODS 0.00010446034
2,028 A Procedural Semantics for Well Founded Negation in Logic Programs 1989 PODS 9.285972e-05
2,474 Logic Programming as Constructivism: A Formalization and its Application to Databases 1989 PODS 8.5305658e-05
2,579 Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract) 1989 PODS 8.3906191e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

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