A Necessary Condition For A Doubly Recursive Rule To Be Equivalent To A Linear Recursive Rule
Summary: Identifies a necessary (and sufficient) condition on variable placement in a class of doubly recursive rules to collapse them into a single linear recursive rule; formal proof in Sec. 4. Extends TrYu to enable recognizing nonlinear recursive queries that are equivalent to linear ones, enabling efficient linear-recursive-query processing. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Wenming Zhang
- 2. C T Yu
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 10 of 10 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 |
| 79 | An Amateur's Introduction to Recursive Query Processing Strategies | 1986 | SIGMOD | 0.00056010993 |
| 173 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038731283 |
| 299 | On the Implementation of a Simple Class of Logic Queries for Databases | 1986 | PODS | 0.00028555103 |
| 413 | Computing Queries from Derived Relations | 1985 | VLDB | 0.00023802724 |
| 612 | A Time Bound on the Materialization of Some Recursively Defined Views | 1985 | VLDB | 0.0001915957 |
| 1,200 | Data Independent Recursion in Deductive Databases | 1986 | PODS | 0.00013342243 |
| 1,636 | Bounds on the Propagation of Selection into Logic Programs | 1987 | PODS | 0.00011058643 |
| 2,212 | A Decidable Class of Bounded Recursions | 1987 | PODS | 9.2818302e-05 |
| 4,884 | Translation And Optimization Of Logic Queries: The Algebraic Approach | 1986 | VLDB | 5.8511369e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,552 | Evaluation Of Database Recursive Logic Programs As Recurrent Function Series | 1986 | SIGMOD | 0.00011393892 |
| 1,905 | A Study of Transitive Closure As a Recursion Mechanism | 1987 | SIGMOD | 0.00010142772 |
| 3,417 | Overbound and Right-Linear Queries | 1991 | PODS | 7.116211e-05 |
| 12,972 | Classification Of Recursive Formulas In Deductive Databases | 1988 | SIGMOD | 4.1905499e-05 |
| 12,931 | Semigroup techniques in recursive query optimization | 1990 | PODS | 4.1905499e-05 |
| 9,110 | Optimizing Recursive Queries in SQL | 2005 | SIGMOD | 4.3900304e-05 |
| 4,324 | Commutativity And Its Role In The Processing Of Linear Recursion | 1989 | VLDB | 6.279813e-05 |
| 2,048 | Efficient Evaluation of Right-, Left-, and Multi-Linear Rules | 1989 | SIGMOD | 9.689916e-05 |
| 3,990 | EFFICIENT EVALUATION FOR A SUBSET OF RECURSIVE QUERIES (Extended Abstract) | 1987 | PODS | 6.5536618e-05 |
| 5,183 | Linearizing nonlinear recursions in polynomial time (Extended Abstract) | 1989 | PODS | 5.6368566e-05 |