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.00013441514 |
| 2,341 | Chasing Constrained Tuple-Generating Dependencies | 1996 | PODS | 9.0034124e-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.00065762967 |
| 416 | Computing Queries from Derived Relations | 1985 | VLDB | 0.0002380776 |
| 929 | Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates | 1986 | VLDB | 0.00015241524 |
| 4,098 | The Complexity Of Testing Predicate Locks | 1979 | SIGMOD | 6.4546085e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,162 | Computing the Difference of Conjunctive Queries Efficiently | 2023 | SIGMOD | 4.8132423e-05 |
| 7,824 | Optimization of Multiple-Relation Multiple-Disjunct Queries | 1988 | PODS | 4.6418459e-05 |
| 1,522 | The Containment Problem for Real Conjunctive Queries with Inequalities | 2006 | PODS | 0.0001153051 |
| 915 | The Complexity of Evaluating Relational Queries | 1983 | PODS | 0.0001538509 |
| 8,721 | Aggregated Deletion Propagation for Counting Conjunctive Query Answers | 2021 | VLDB | 4.4608778e-05 |
| 12,934 | Complexity of Query Processing in Databases with OR-Objects | 1989 | PODS | 4.1945683e-05 |
| 9,259 | Materializing Views with Minimal Size To Answer Queries | 2003 | PODS | 4.3690661e-05 |
| 8,966 | Output-sensitive Conjunctive Query Evaluation | 2024 | PODS | 4.4193184e-05 |
| 2,857 | A Dichotomy in the Complexity of Deletion Propagation with Functional Dependencies | 2012 | PODS | 8.0037703e-05 |
| 4,048 | On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates | 1998 | PODS | 6.4968603e-05 |