On the Decidability of Containment of Recursive Datalog Queries - Preliminary report
Summary: Identifies a new class of recursive Datalog queries with decidable query containment. Extends prior decidable fragments by allowing recursive predicates of arity >2 and nonlinear recursion, generalizing monadic and regular-path-based cases. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,312 | Type Inference for Datalog and its Application to Query Optimisation | 2008 | PODS | 5.1158809e-05 |
| 7,275 | The Impact of Virtual Views on Containment | 2010 | VLDB | 4.7806552e-05 |
| 9,676 | Schema-Based Query Optimisation for Graph Databases | 2025 | SIGMOD | 4.3047774e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 1 of 1 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,490 | On the Decidability of Query Containment under Constraints | 1998 | PODS | 0.00011699154 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,406 | Query Containment and Rewriting Using Views for Regular Path Queries Under Constraints | 2003 | PODS | 5.5243825e-05 |
| 9,280 | A Theory of Regular Queries | 2016 | PODS | 4.3636639e-05 |
| 12,921 | Semigroup techniques in recursive query optimization | 1990 | PODS | 4.1945683e-05 |
| 1,529 | Evaluation Of Database Recursive Logic Programs As Recurrent Function Series | 1986 | SIGMOD | 0.00011496686 |
| 12,962 | Classification Of Recursive Formulas In Deductive Databases | 1988 | SIGMOD | 4.1945683e-05 |
| 6,236 | Inherent Complexity of Recursive Queries (Extended Abstract) | 1999 | PODS | 5.1436959e-05 |
| 3,168 | Query Containment for Data Integration Systems | 2000 | PODS | 7.4508875e-05 |
| 1,185 | Data Independent Recursion in Deductive Databases | 1986 | PODS | 0.00013445831 |
| 2,206 | A Decidable Class of Bounded Recursions | 1987 | PODS | 9.2910236e-05 |
| 1,490 | On the Decidability of Query Containment under Constraints | 1998 | PODS | 0.00011699154 |