On Preservation under Homomorphisms and Unions of Conjunctive Queries
Summary: Shows that first-order formulas preserved under homomorphisms on finite structures are equivalent to existential-positive (i.e., unions of conjunctive) formulas for many natural classes. Specifically proves the finite homomorphism-preservation theorem for classes of bounded degree, bounded treewidth, and more generally classes whose cores exclude some minor. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Albert Atserias (Polytechnic University of Catalonia)
- 2. Anuj Dawar (University of Cambridge)
- 3. Phokion G. Kolaitis (University of California Santa Cruz)
BibTeX Citation
@inproceedings{atserias_pods04,
address = {New York, NY, USA},
series = {{PODS} '04},
title = {{On Preservation under Homomorphisms and Unions of Conjunctive Queries}},
url = {https://dl.acm.org/doi/10.1145/1055558.1055602},
doi = {10.1145/1055558.1055602},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Atserias, Albert and Dawar, Anuj and Kolaitis, Phokion G.},
year = {2004}
}
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,032 | Explaining Missing Answers to SPJUA Queries | 2010 | VLDB | 9.2828822e-05 |
| 5,271 | Incomplete Data: What Went Wrong, and How to Fix It | 2014 | PODS | 6.2907571e-05 |
| 6,852 | When is Naive Evaluation Possible? | 2013 | PODS | 5.7540317e-05 |
| 10,639 | Circuit Bounds for Conjunctive Queries with Self-joins | 2025 | PODS | 5.093636e-05 |
| 11,532 | LACE: A Logical Approach to Collective Entity Resolution | 2022 | PODS | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 377 | Data Exchange: Getting to the Core | 2003 | PODS | 0.00019643793 |
| 382 | Conjunctive-Query Containment and Constraint Satisfaction | 1998 | PODS | 0.00019546431 |
| 1,538 | Bottom-Up Beats Top-Down For Datalog | 1989 | PODS | 0.00010446034 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 4,336 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS |
| 2 | 4,013 | Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) | 1996 | PODS |
| 3 | 6,286 | Finite Queries do not Have Effective Syntax | 1995 | PODS |
| 4 | 382 | Conjunctive-Query Containment and Constraint Satisfaction | 1998 | PODS |
| 5 | 6,166 | Classification of Annotation Semirings over Query Containment | 2012 | PODS |
| 6 | 11,363 | Extremal Fitting Problems for Conjunctive Queries | 2023 | PODS |
| 7 | 4,226 | Safe Constraint Queries | 1998 | PODS |
| 8 | 4,266 | Counting Answers to Existential Positive Queries: A Complexity Classification | 2016 | PODS |
| 9 | 2,241 | Finitely Representable Databases | 1994 | PODS |
| 10 | 11,832 | Testability of Homomorphism Inadmissibility: Property Testing Meets Database Theory | 2019 | PODS |