DBScholar

Back to papers

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)

Paper ID
h7440bc7887aaf3be
Venue
PODS
Year
2004
Pagerank
6.6941102e-05
Overall Rank
4,270 | 71.30%
DOI
10.1145/1055558.1055602

Incoming Non-self Citations Over Time

Authors

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,067 Explaining Missing Answers to SPJUA Queries 2010 VLDB 9.0924963e-05
5,392 Incomplete Data: What Went Wrong, and How to Fix It 2014 PODS 6.1502284e-05
7,001 When is Naive Evaluation Possible? 2013 PODS 5.6250062e-05
11,082 Circuit Bounds for Conjunctive Queries with Self-joins 2025 PODS 4.9793485e-05
11,841 LACE: A Logical Approach to Collective Entity Resolution 2022 PODS 4.9793485e-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
390 Conjunctive-Query Containment and Constraint Satisfaction 1998 PODS 0.00019248147
392 Data Exchange: Getting to the Core 2003 PODS 0.0001922472
1,566 Bottom-Up Beats Top-Down For Datalog 1989 PODS 0.00010214543
Previous Page 1 / 1 Next

Semantically Similar Papers