On the First-order Expressibility of Computing Certain Answers to Conjunctive Queries over Uncertain Databases

Summary: Characterize when CERTAINTY(q) is FO-expressible for Boolean conjunctive queries over key-violating (uncertain) databases, giving a necessary syntactic condition for queries without self‑join. For acyclic CQs the condition is also sufficient, yielding a decision procedure and a constructive FO‑rewriting (hence AC0). (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: ha7435113564f3692
Venue: PODS
Year: 2010
Pagerank: 5.5584673e-05
Overall Rank: 7,251 | 51.40%
DOI: 10.1145/1807085.1807111

Incoming Non-self Citations Over Time

Authors

1. Jef Wijsen (University of Mons)

BibTeX Citation

@inproceedings{wijsen_pods10,
        address = {New York, NY, USA},
        series = {{PODS} '10},
        title = {{On the First-order Expressibility of Computing Certain Answers to Conjunctive Queries over Uncertain Databases}},
        url = {https://dl.acm.org/doi/10.1145/1807085.1807111},
        doi = {10.1145/1807085.1807111},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Wijsen, Jef},
        year = {2010}
}

Incoming Citations (Sorted by Pagerank)

Showing 14 of 14 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,747	The Data Complexity of Consistent Query Answering for Self-Join-Free Conjunctive Queries Under Primary Key Constraints	2015	PODS	9.7180424e-05
4,892	Uncertainty Annotated Databases - A Lightweight Approach for Approximating Certain Answers	2019	SIGMOD	6.3507497e-05
5,907	Consistent Query Answering for Primary Keys and Conjunctive Queries with Negated Atoms	2018	PODS	5.9344171e-05
7,724	Consistent Query Answering for Primary Keys on Path Queries	2021	PODS	5.4530482e-05
8,415	CAvSAT: A System for Query Answering over Inconsistent Databases	2019	SIGMOD	5.3209056e-05
8,451	Efficient Uncertainty Tracking for Complex Queries with Attribute-level Bounds	2021	SIGMOD	5.3148581e-05
8,819	Charting the Tractability Frontier of Certain Conjunctive Query Answering	2013	PODS	5.2561401e-05
9,339	First-Order Rewritability in Consistent Query Answering with Respect to Multiple Keys	2020	PODS	5.1780302e-05
11,163	Rewriting Consistent Answers on Annotated Data	2025	PODS	4.9605343e-05
11,527	Consistent Query Answering for Primary Keys on Rooted Tree Queries	2024	PODS	4.9605343e-05
11,552	Computing Range Consistent Answers to Aggregation Queries via Rewriting	2024	PODS	4.9605343e-05
11,751	LinCQA: Faster Consistent Query Answering with Linear Time Guarantees	2023	SIGMOD	4.9605343e-05
11,883	A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys	2022	PODS	4.9605343e-05
12,550	Certain Query Answering in Partially Consistent Databases	2014	VLDB	4.9605343e-05

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
33	Consistent Query Answers in Inconsistent Databases	1999	PODS	0.00049435337
597	ConQuer: Efficient Management of Inconsistent Databases	2005	SIGMOD	0.00015742369
2,817	MayBMS: A Probabilistic Database Management System	2009	SIGMOD	7.9538485e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,724	Consistent Query Answering for Primary Keys on Path Queries	2021	PODS
2	11,883	A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys	2022	PODS
3	11,163	Rewriting Consistent Answers on Annotated Data	2025	PODS
4	5,388	Certain Answers Meet Zero-One Laws	2018	PODS
5	9,339	First-Order Rewritability in Consistent Query Answering with Respect to Multiple Keys	2020	PODS
6	11,527	Consistent Query Answering for Primary Keys on Rooted Tree Queries	2024	PODS
7	5,907	Consistent Query Answering for Primary Keys and Conjunctive Queries with Negated Atoms	2018	PODS
8	1,747	The Data Complexity of Consistent Query Answering for Self-Join-Free Conjunctive Queries Under Primary Key Constraints	2015	PODS
9	8,819	Charting the Tractability Frontier of Certain Conjunctive Query Answering	2013	PODS
10	12,550	Certain Query Answering in Partially Consistent Databases	2014	VLDB