A Decision Procedure for Conjunctive Query Disjointness
Summary: Decides whether two conjunctive queries are always disjoint, resolving the view-recomputation-under-FDs problem; algorithm time is optimal unless directed reachability admits sublinear solutions. Key idea: combine FD and dense-order decision procedures via tableaux supporting <, <=, =, >=, >, !=. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,189 | Independence of Logic Database Queries and Updates | 1990 | PODS | 0.0001342924 |
| 2,344 | Chasing Constrained Tuple-Generating Dependencies | 1996 | PODS | 8.9942907e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 55 | Efficiently Updating Materialized Views | 1986 | SIGMOD | 0.00065687017 |
| 413 | Computing Queries from Derived Relations | 1985 | VLDB | 0.00023802724 |
| 927 | Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates | 1986 | VLDB | 0.00015237571 |
| 4,099 | The Complexity Of Testing Predicate Locks | 1979 | SIGMOD | 6.4483777e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,269 | The Dichotomy of Conjunctive Queries on Probabilistic Structures | 2007 | PODS | 0.00012911894 |
| 7,829 | Optimization of Multiple-Relation Multiple-Disjunct Queries | 1988 | PODS | 4.6373918e-05 |
| 1,520 | The Containment Problem for Real Conjunctive Queries with Inequalities | 2006 | PODS | 0.00011524911 |
| 912 | The Complexity of Evaluating Relational Queries | 1983 | PODS | 0.00015374685 |
| 8,718 | Aggregated Deletion Propagation for Counting Conjunctive Query Answers | 2021 | VLDB | 4.4566012e-05 |
| 12,944 | Complexity of Query Processing in Databases with OR-Objects | 1989 | PODS | 4.1905499e-05 |
| 9,263 | Materializing Views with Minimal Size To Answer Queries | 2003 | PODS | 4.3648789e-05 |
| 8,972 | Output-sensitive Conjunctive Query Evaluation | 2024 | PODS | 4.4150824e-05 |
| 2,864 | A Dichotomy in the Complexity of Deletion Propagation with Functional Dependencies | 2012 | PODS | 7.9964194e-05 |
| 4,055 | On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates | 1998 | PODS | 6.4906839e-05 |