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.00078516827 |
| 1,119 | The Complexity of Causality and Responsibility for Query Answers and non-Answers | 2011 | VLDB | 0.00013851012 |
| 2,031 | Putting Lipstick on Pig: Enabling Database-style Workflow Provenance | 2012 | VLDB | 9.7341007e-05 |
| 5,706 | Putting Things into Context: Rich Explanations for Query Answers using Join Graphs | 2021 | SIGMOD | 5.3633001e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,031 | Provenance for SQL through Abstract Interpretation: Value-less, but Worthwhile | 2015 | VLDB | 4.3998298e-05 |
| 12,022 | A Provenance Framework for Data-Dependent Process Analysis | 2014 | VLDB | 4.1905499e-05 |
| 31 | Provenance Semirings | 2007 | PODS | 0.00078516827 |
| 653 | On the Provenance of Non-Answers to Queries over Extracted Data | 2008 | VLDB | 0.00018616975 |
| 9,183 | Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries | 2020 | SIGMOD | 4.3778211e-05 |
| 8,958 | Understanding Queries by Conditional Instances | 2022 | SIGMOD | 4.417947e-05 |
| 2,182 | Querying Data Provenance | 2010 | SIGMOD | 9.3596252e-05 |
| 1,106 | Provenance for Aggregate Queries | 2011 | PODS | 0.00013976386 |
| 10,926 | Below and Above Why-Provenance for Datalog Queries | 2024 | PODS | 4.1905499e-05 |
| 6,187 | On Provenance Minimization | 2011 | PODS | 5.1611195e-05 |