Database Paper Browser

Back to papers

On the Implementation of a Simple Class of Logic Queries for Databases

Summary: Unifying framework for implementing canonical strongly linear (CSL) recursive queries, introducing binding-set/binding-passing and l-bound CSL where initial bindings propagate to a single recursive argument. Compares counting, eager, magic-set and a new hybrid "magic counting", characterizing trade-offs in binding propagation and execution cost. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
768
Venue
PODS
Year
1986
Pagerank
0.00028555103
Overall Rank
299 | 97.93%
DOI
-

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 19 of 19 citing papers.

Rank Citing Paper Year Venue Pagerank
79 An Amateur's Introduction to Recursive Query Processing Strategies 1986 SIGMOD 0.00056010993
209 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.00034147258
359 On the Power of Magic 1987 PODS 0.00025830228
364 A Graphical Query Language Supporting Recursion 1987 SIGMOD 0.00025657601
1,636 Bounds on the Propagation of Selection into Logic Programs 1987 PODS 0.00011058643
2,038 Proof-Tree Transformation Theorems and Their Applications 1989 PODS 9.7062591e-05
4,440 Magic Counting Methods 1987 SIGMOD 6.180671e-05
4,884 Translation And Optimization Of Logic Queries: The Algebraic Approach 1986 VLDB 5.8511369e-05
5,183 Linearizing nonlinear recursions in polynomial time (Extended Abstract) 1989 PODS 5.6368566e-05
5,267 On the Optimization of Recursive Relational Queries: Application to Graph Queries 2020 SIGMOD 5.5930569e-05
5,347 Worst-case Complexity Analysis of Methods for Logic Query Implementation 1987 PODS 5.555803e-05
7,603 Polynomial-time program transformations in deductive databases 1990 PODS 4.6959912e-05
8,015 Non-deterministic Modelling of Logical Queries in Deductive Databases 1987 SIGMOD 4.6020313e-05
9,128 Counting Methods for Cyclic Relations 1988 PODS 4.3866751e-05
9,833 Magic Functions : A Technique To Optimize Extended Datalog Recursive Programs 1987 VLDB 4.2710095e-05
11,056 Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers 2024 VLDB 4.1905499e-05
12,974 A Data/Knowledge Base Management Testbed and Experimental Results on Data/Knowledge Base Query and Update Processing 1988 SIGMOD 4.1905499e-05
12,980 Computing Facts In Non-Horn Deductive Systems. 1988 VLDB 4.1905499e-05
12,992 A Necessary Condition For A Doubly Recursive Rule To Be Equivalent To A Linear Recursive Rule 1987 SIGMOD 4.1905499e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

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

Rank Cited Paper Year Venue Pagerank
16 MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) 1986 PODS 0.00099936325
490 Horn Clauses and the Fixpoint Query Hierarchy 1982 PODS 0.00021979489
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
12,972 Classification Of Recursive Formulas In Deductive Databases 1988 SIGMOD 4.1905499e-05
3,556 Compiling Separable Recursions 1988 SIGMOD 6.9712392e-05
12,931 Semigroup techniques in recursive query optimization 1990 PODS 4.1905499e-05
13,019 QUERYING LOGICAL DATABASES: Preliminary Report 1985 PODS 4.1905499e-05
1,552 Evaluation Of Database Recursive Logic Programs As Recurrent Function Series 1986 SIGMOD 0.00011393892
79 An Amateur's Introduction to Recursive Query Processing Strategies 1986 SIGMOD 0.00056010993
5,637 Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries 1990 VLDB 5.3978567e-05
4,440 Magic Counting Methods 1987 SIGMOD 6.180671e-05
16 MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) 1986 PODS 0.00099936325
5,347 Worst-case Complexity Analysis of Methods for Logic Query Implementation 1987 PODS 5.555803e-05