Attacking Diophantus: Solving a Special Case of Bag Containment
Summary: Shows decidability (in Π^P_2) of bag-containment for projection-free CQs contained in arbitrary CQs, settling a major open special case under multiset semantics. Reduces a special Diophantine-inequality case to linear inequalities, revealing core obstacles for the general bag-containment question. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,775 | Bag Query Containment and Information Theory | 2020 | PODS | 6.775636e-05 |
| 6,995 | Structure and Complexity of Bag Consistency | 2021 | PODS | 4.8683245e-05 |
| 7,022 | A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP Relaxations | 2023 | SIGMOD | 4.8576599e-05 |
| 9,791 | Bag Semantics Conjunctive Query Containment. Four Small Steps Towards Undecidability. | 2024 | PODS | 4.2818172e-05 |
| 10,002 | Bag Semantics Query Containment: The CQ vs. UCQ Case and Other Stories | 2026 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 7 of 7 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 82 | Answering Queries Using Views (Extended Abstract) | 1995 | PODS | 0.00054402763 |
| 335 | Optimization of Real Conjunctive Queries | 1993 | PODS | 0.00027036073 |
| 583 | FAQ: Questions Asked Frequently | 2016 | PODS | 0.00019717214 |
| 1,522 | The Containment Problem for Real Conjunctive Queries with Inequalities | 2006 | PODS | 0.0001153051 |
| 2,099 | Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries | 2018 | VLDB | 9.5479391e-05 |
| 5,144 | Scalable Query Rewriting: A Graph-Based Approach | 2011 | SIGMOD | 5.6651982e-05 |
| 5,195 | Equivalence of Queries Combining Set and Bag-Set Semantics | 2006 | PODS | 5.6366303e-05 |
Previous
Page 1 / 1
Next