Provenance Semirings

Summary: Comm. semirings unify provenance: bag, probabilistic, incomplete DBs and why‑provenance are instances and positive relational-algebra semantics factor through semiring homomorphisms. Proposes polynomial/formal‑power‑series provenance, extends to Datalog via fixed‑point semirings and gives algorithms to decide/compute finite series and monomial coefficients. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h5dd3a15a7e2c5fe0
Venue: PODS
Year: 2007
Pagerank: 0.00059813669
Overall Rank: 17 | 99.89%
DOI: 10.1145/1265530.1265535

Incoming Non-self Citations Over Time

Authors

1. Todd J. Green (University of Pennsylvania)
2. Grigoris Karvounarakis (University of Pennsylvania)
3. Val Tannen (University of Pennsylvania)

BibTeX Citation

@inproceedings{green_pods07,
        address = {New York, NY, USA},
        series = {{PODS} '07},
        title = {{Provenance Semirings}},
        url = {https://dl.acm.org/doi/10.1145/1265530.1265535},
        doi = {10.1145/1265530.1265535},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Green, Todd J. and Karvounarakis, Grigoris and Tannen, Val},
        year = {2007}
}

Incoming Citations (Sorted by Pagerank)

Showing 50 of 183 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
208	EmptyHeaded: A Relational Engine for Graph Processing	2016	SIGMOD	0.00024899872
578	The Complexity of Causality and Responsibility for Query Answers and non-Answers	2011	VLDB	0.00016093679
621	On the Provenance of Non-Answers to Queries over Extracted Data	2008	VLDB	0.0001548582
790	Cosette: An Automated Prover for SQL	2017	CIDR	0.00013971102
811	Provenance for Aggregate Queries	2011	PODS	0.00013746145
854	Recursive Mechanism: Towards Node Differential Privacy and Unrestricted Joins	2013	SIGMOD	0.00013435506
977	Incremental Query Evaluation in a Ring of Databases	2010	PODS	0.00012730241
1,051	Tiresias: The Database Oracle for How-To Queries	2012	SIGMOD	0.00012274277
1,077	Curated Databases	2008	PODS	0.00012153352
1,360	A Unified Approach to Ranking in Probabilistic Databases	2009	VLDB	0.00010913787
1,554	Update Exchange with Mappings and Provenance	2007	VLDB	0.00010265583
1,570	AJAR: Aggregations and Joins over Annotated Relations	2016	PODS	0.0001020376
1,593	Data Markets in the Cloud: An Opportunity for the Database Community	2011	VLDB	0.00010130223
1,615	Sensitivity Analysis and Explanations for Robust Query Evaluation in Probabilistic Databases	2011	SIGMOD	0.00010062545
1,680	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB	9.9000396e-05
1,767	Putting Lipstick on Pig: Enabling Database-style Workflow Provenance	2012	VLDB	9.6910812e-05
1,785	Approximate Lineage for Probabilistic Databases	2008	VLDB	9.6438009e-05
1,812	ProvSQL: Provenance and Probability Management in PostgreSQL	2018	VLDB	9.5780882e-05
1,827	Querying Data Provenance	2010	SIGMOD	9.5518797e-05
1,847	Data Market Platforms: Trading Data Assets to Solve Data Problems	2020	VLDB	9.5091361e-05
1,890	WeTune: Automatic Discovery and Verification of Query Rewrite Rules	2022	SIGMOD	9.4234723e-05
1,929	CHORUS: Foundation Models for Unified Data Discovery and Exploration	2024	VLDB	9.3551286e-05
1,941	Caravan: Provisioning for What-If Analysis	2013	CIDR	9.3276626e-05
2,006	Orchestra: Facilitating Collaborative Data Sharing	2007	SIGMOD	9.2046844e-05
2,218	Computing the Shapley Value of Facts in Query Answering	2022	SIGMOD	8.8130445e-05
2,293	FDB: A Query Engine for Factorised Relational Databases	2012	VLDB	8.685044e-05
2,418	The Semiring Framework for Database Provenance	2017	PODS	8.4904382e-05
2,458	Tracing Data Errors with View-Conditioned Causality	2011	SIGMOD	8.4334752e-05
2,505	Query-Oriented Data Cleaning with Oracles	2015	SIGMOD	8.3743595e-05
2,600	Complaint-driven Training Data Debugging for Query 2.0	2020	SIGMOD	8.2346824e-05
2,632	Convergence of Datalog over (Pre-) Semirings	2022	PODS	8.1988853e-05
2,687	Data X-Ray: A Diagnostic Tool for Data Errors	2015	SIGMOD	8.1271333e-05
2,950	Reverse Data Management	2011	VLDB	7.817636e-05
3,090	Learning to Create Data-Integrating Queries	2008	VLDB	7.6561778e-05
3,114	Incremental View Maintenance with Triple Lock Factorization Benefits	2018	SIGMOD	7.6321464e-05
3,204	Demonstration of the Cosette Automated SQL Prover	2017	SIGMOD	7.5379936e-05
3,236	How Large Language Models Will Disrupt Data Management	2023	VLDB	7.4996147e-05
3,364	Efficient Querying and Maintenance of Network Provenance at Internet-Scale	2010	SIGMOD	7.3715499e-05
3,447	Complete Yet Practical Search for Minimal Query Reformulations Under Constraints	2014	SIGMOD	7.2907616e-05
3,542	Consensus Answers for Queries over Probabilistic Databases	2009	PODS	7.212149e-05
3,675	DBSP: Automatic Incremental View Maintenance for Rich Query Languages	2023	VLDB	7.1058941e-05
3,994	Guaranteeing the O~(AGM/OUT) Runtime for Uniform Sampling and Size Estimation over Joins	2023	PODS	6.8652819e-05
4,003	From Shapley Value to Model Counting and Back	2024	PODS	6.857472e-05
4,063	The Complexity of Resilience and Responsibility for Self-Join-Free Conjunctive Queries	2016	VLDB	6.8215087e-05
4,176	Aggregation in Probabilistic Databases via Knowledge Compilation	2012	VLDB	6.7541079e-05
4,197	PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models	2020	SIGMOD	6.7390419e-05
4,327	Query Refinement for Diversity Constraint Satisfaction	2024	VLDB	6.6600895e-05
4,334	LIMA: Fine-grained Lineage Tracing and Reuse in Machine Learning Systems	2021	SIGMOD	6.6537801e-05
4,466	Instance and Output Optimal Parallel Algorithms for Acyclic Joins	2019	PODS	6.584648e-05
4,684	Provenance for Natural Language Queries	2017	VLDB	6.4692258e-05

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
51	Efficient Query Evaluation on Probabilistic Databases	2004	VLDB	0.00042926566
84	ULDBs: Databases with Uncertainty and Lineage	2006	VLDB	0.00035960573
391	Conjunctive-Query Containment and Constraint Satisfaction	1998	PODS	0.00019245666
531	The Magic of Duplicates and Aggregates	1990	VLDB	0.00016845756
846	Debugging Schema Mappings with Routes	2006	VLDB	0.00013527027

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,680	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB
2	6,303	Classification of Annotation Semirings over Query Containment	2012	PODS
3	8,323	Computing How-Provenance for SPARQL Queries via Query Rewriting	2021	VLDB
4	8,080	Tight Bounds of Circuits for Sum-Product Queries	2024	PODS
5	2,418	The Semiring Framework for Database Provenance	2017	PODS
6	5,612	Annotated XML: Queries and Provenance	2008	PODS
7	6,459	On Provenance Minimization	2011	PODS
8	9,604	Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries	2020	SIGMOD
9	1,827	Querying Data Provenance	2010	SIGMOD
10	811	Provenance for Aggregate Queries	2011	PODS