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
- 1. George Konstantinidis (University of Southampton)
- 2. Fabio Mogavero (University of Naples)
BibTeX Citation
@inproceedings{konstantinidis_pods19,
address = {New York, NY, USA},
series = {{PODS} '19},
title = {{Attacking Diophantus: Solving a Special Case of Bag Containment}},
url = {https://dl.acm.org/doi/10.1145/3294052.3319689},
doi = {10.1145/3294052.3319689},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Konstantinidis, George and Mogavero, Fabio},
year = {2019}
}Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,457 | Bag Query Containment and Information Theory | 2020 | PODS | 7.3981641e-05 |
| 7,186 | Structure and Complexity of Bag Consistency | 2021 | PODS | 5.6777112e-05 |
| 7,269 | A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP Relaxations | 2023 | SIGMOD | 5.6595955e-05 |
| 9,946 | Bag Semantics Conjunctive Query Containment. Four Small Steps Towards Undecidability. | 2024 | PODS | 5.1915905e-05 |
| 10,175 | Bag Semantics Query Containment: The CQ vs. UCQ Case and Other Stories | 2026 | PODS | 5.093636e-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 |
|---|---|---|---|---|
| 69 | Answering Queries Using Views (Extended Abstract) | 1995 | PODS | 0.00038090878 |
| 309 | Optimization of Real Conjunctive Queries | 1993 | PODS | 0.00021768596 |
| 358 | FAQ: Questions Asked Frequently | 2016 | PODS | 0.00020243592 |
| 1,269 | The Containment Problem for Real Conjunctive Queries with Inequalities | 2006 | PODS | 0.000113935 |
| 1,829 | Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries | 2018 | VLDB | 9.6671311e-05 |
| 5,062 | Equivalence of Queries Combining Set and Bag-Set Semantics | 2006 | PODS | 6.3799383e-05 |
| 6,090 | Scalable Query Rewriting: A Graph-Based Approach | 2011 | SIGMOD | 5.9796288e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 5,736 | On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract) | 1997 | PODS |
| 2 | 6,542 | Determinacy of Real Conjunctive Queries. The Boolean Case | 2022 | PODS |
| 3 | 3,039 | Query Containment for Data Integration Systems | 2000 | PODS |
| 4 | 3,801 | On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates | 1998 | PODS |
| 5 | 1,630 | On the Decidability of Query Containment under Constraints | 1998 | PODS |
| 6 | 382 | Conjunctive-Query Containment and Constraint Satisfaction | 1998 | PODS |
| 7 | 9,946 | Bag Semantics Conjunctive Query Containment. Four Small Steps Towards Undecidability. | 2024 | PODS |
| 8 | 10,175 | Bag Semantics Query Containment: The CQ vs. UCQ Case and Other Stories | 2026 | PODS |
| 9 | 3,457 | Bag Query Containment and Information Theory | 2020 | PODS |
| 10 | 1,269 | The Containment Problem for Real Conjunctive Queries with Inequalities | 2006 | PODS |