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: 1412
Venue: PODS
Year: 2007
Pagerank: 0.00059843817
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 178 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
211	EmptyHeaded: A Relational Engine for Graph Processing	2016	SIGMOD	0.00024797217
605	The Complexity of Causality and Responsibility for Query Answers and non-Answers	2011	VLDB	0.00015839628
628	On the Provenance of Non-Answers to Queries over Extracted Data	2008	VLDB	0.00015630285
806	Provenance for Aggregate Queries	2011	PODS	0.00013890398
836	Recursive Mechanism: Towards Node Differential Privacy and Unrestricted Joins	2013	SIGMOD	0.00013715654
910	Cosette: An Automated Prover for SQL	2017	CIDR	0.00013285905
960	Incremental Query Evaluation in a Ring of Databases	2010	PODS	0.00012945163
1,060	Curated Databases	2008	PODS	0.00012371807
1,096	Tiresias: The Database Oracle for How-To Queries	2012	SIGMOD	0.00012189583
1,327	A Unified Approach to Ranking in Probabilistic Databases	2009	VLDB	0.00011141552
1,549	AJAR: Aggregations and Joins over Annotated Relations	2016	PODS	0.00010390168
1,576	Data Markets in the Cloud: An Opportunity for the Database Community	2011	VLDB	0.00010317008
1,594	Sensitivity Analysis and Explanations for Robust Query Evaluation in Probabilistic Databases	2011	SIGMOD	0.00010252583
1,599	Update Exchange with Mappings and Provenance	2007	VLDB	0.00010241307
1,752	Approximate Lineage for Probabilistic Databases	2008	VLDB	9.8358116e-05
1,786	Putting Lipstick on Pig: Enabling Database-style Workflow Provenance	2012	VLDB	9.7690421e-05
1,829	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB	9.6671311e-05
1,912	Querying Data Provenance	2010	SIGMOD	9.4946756e-05
1,952	Caravan: Provisioning for What-If Analysis	2013	CIDR	9.4233049e-05
1,965	ProvSQL: Provenance and Probability Management in PostgreSQL	2018	VLDB	9.3852716e-05
1,982	WeTune: Automatic Discovery and Verification of Query Rewrite Rules	2022	SIGMOD	9.3573897e-05
2,025	Data Market Platforms: Trading Data Assets to Solve Data Problems	2020	VLDB	9.2903125e-05
2,026	Orchestra: Facilitating Collaborative Data Sharing	2007	SIGMOD	9.287998e-05
2,242	CHORUS: Foundation Models for Unified Data Discovery and Exploration	2024	VLDB	8.8823802e-05
2,392	FDB: A Query Engine for Factorised Relational Databases	2012	VLDB	8.6404947e-05
2,424	Computing the Shapley Value of Facts in Query Answering	2022	SIGMOD	8.6009068e-05
2,432	Tracing Data Errors with View-Conditioned Causality	2011	SIGMOD	8.5870067e-05
2,503	The Semiring Framework for Database Provenance	2017	PODS	8.4964654e-05
2,570	Query-Oriented Data Cleaning with Oracles	2015	SIGMOD	8.4061164e-05
2,584	Complaint-driven Training Data Debugging for Query 2.0	2020	SIGMOD	8.3783546e-05
2,600	Convergence of Datalog over (Pre-) Semirings	2022	PODS	8.3571843e-05
2,759	Data X-Ray: A Diagnostic Tool for Data Errors	2015	SIGMOD	8.1577506e-05
2,914	Reverse Data Management	2011	VLDB	7.9667467e-05
3,032	Learning to Create Data-Integrating Queries	2008	VLDB	7.8323614e-05
3,172	Demonstration of the Cosette Automated SQL Prover	2017	SIGMOD	7.6679093e-05
3,206	Incremental View Maintenance with Triple Lock Factorization Benefits	2018	SIGMOD	7.6367549e-05
3,323	Efficient Querying and Maintenance of Network Provenance at Internet-Scale	2010	SIGMOD	7.5211754e-05
3,392	Complete Yet Practical Search for Minimal Query Reformulations Under Constraints	2014	SIGMOD	7.4515019e-05
3,483	Consensus Answers for Queries over Probabilistic Databases	2009	PODS	7.372823e-05
3,536	How Large Language Models Will Disrupt Data Management	2023	VLDB	7.3297343e-05
3,918	From Shapley Value to Model Counting and Back	2024	PODS	7.0181891e-05
3,941	Guaranteeing the O~(AGM/OUT) Runtime for Uniform Sampling and Size Estimation over Joins	2023	PODS	7.0074268e-05
3,991	The Complexity of Resilience and Responsibility for Self-Join-Free Conjunctive Queries	2016	VLDB	6.9695922e-05
4,098	Aggregation in Probabilistic Databases via Knowledge Compilation	2012	VLDB	6.9035475e-05
4,130	PrIU: A Provenance-Based Approach for Incrementally Updating Regression Models	2020	SIGMOD	6.8839621e-05
4,240	LIMA: Fine-grained Lineage Tracing and Reuse in Machine Learning Systems	2021	SIGMOD	6.809685e-05
4,371	Instance and Output Optimal Parallel Algorithms for Acyclic Joins	2019	PODS	6.738679e-05
4,602	Provenance for Natural Language Queries	2017	VLDB	6.6107638e-05
4,638	Going Beyond Provenance: Explaining Query Answers with Pattern-based Counterbalances	2019	SIGMOD	6.5919801e-05
4,670	New Results for the Complexity of Resilience for Binary Conjunctive Queries with Self-Joins	2020	PODS	6.5734205e-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
50	Efficient Query Evaluation on Probabilistic Databases	2004	VLDB	0.00043596705
78	ULDBs: Databases with Uncertainty and Lineage	2006	VLDB	0.00036571789
382	Conjunctive-Query Containment and Constraint Satisfaction	1998	PODS	0.00019546431
527	The Magic of Duplicates and Aggregates	1990	VLDB	0.00017108864
834	Debugging Schema Mappings with Routes	2006	VLDB	0.00013724553

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,829	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB
2	6,166	Classification of Annotation Semirings over Query Containment	2012	PODS
3	8,976	Computing How-Provenance for SPARQL Queries via Query Rewriting	2021	VLDB
4	7,904	Tight Bounds of Circuits for Sum-Product Queries	2024	PODS
5	2,503	The Semiring Framework for Database Provenance	2017	PODS
6	5,502	Annotated XML: Queries and Provenance	2008	PODS
7	6,358	On Provenance Minimization	2011	PODS
8	9,416	Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries	2020	SIGMOD
9	1,912	Querying Data Provenance	2010	SIGMOD
10	806	Provenance for Aggregate Queries	2011	PODS