Postulates for Provenance: Instance-based provenance for first-order logic
Summary: Seven postulates for instance-based provenance of first-order queries; six link subinstances to provenance polynomials, three-valued semantics, and Halpern-Pearl causality, determinism as the seventh. It adds minimality and a satisfiability characterization, via a three-valued instance framework that enables negation in FO provenance. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 31 | Provenance Semirings | 2007 | PODS | 0.0007857786 |
| 1,119 | The Complexity of Causality and Responsibility for Query Answers and non-Answers | 2011 | VLDB | 0.0001386199 |
| 2,028 | Putting Lipstick on Pig: Enabling Database-style Workflow Provenance | 2012 | VLDB | 9.7433981e-05 |
| 5,691 | Putting Things into Context: Rich Explanations for Query Answers using Join Graphs | 2021 | SIGMOD | 5.3684557e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,029 | Provenance for SQL through Abstract Interpretation: Value-less, but Worthwhile | 2015 | VLDB | 4.4040532e-05 |
| 12,014 | A Provenance Framework for Data-Dependent Process Analysis | 2014 | VLDB | 4.1945683e-05 |
| 31 | Provenance Semirings | 2007 | PODS | 0.0007857786 |
| 652 | On the Provenance of Non-Answers to Queries over Extracted Data | 2008 | VLDB | 0.00018634477 |
| 9,179 | Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries | 2020 | SIGMOD | 4.3820222e-05 |
| 8,954 | Understanding Queries by Conditional Instances | 2022 | SIGMOD | 4.4221863e-05 |
| 2,173 | Querying Data Provenance | 2010 | SIGMOD | 9.3676609e-05 |
| 1,106 | Provenance for Aggregate Queries | 2011 | PODS | 0.0001398766 |
| 10,922 | Below and Above Why-Provenance for Datalog Queries | 2024 | PODS | 4.1945683e-05 |
| 6,186 | On Provenance Minimization | 2011 | PODS | 5.166082e-05 |