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
- 1. Bart Bogaerts (Vrije Universiteit Brussel)
- 2. Maxime Jakubowski (Hasselt University)
- 3. Jan Van den Bussche (Hasselt University)
BibTeX Citation
@inproceedings{bogaerts_pods24,
address = {New York, NY, USA},
series = {{PODS} '24},
title = {{Postulates for Provenance: Instance-based provenance for first-order logic}},
url = {https://dl.acm.org/doi/10.1145/3651596},
doi = {10.1145/3651596},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Bogaerts, Bart and Jakubowski, Maxime and Van den Bussche, Jan},
year = {2024}
}
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 |
|---|---|---|---|---|
| 17 | Provenance Semirings | 2007 | PODS | 0.00059649961 |
| 596 | The Complexity of Causality and Responsibility for Query Answers and non-Answers | 2011 | VLDB | 0.00015952318 |
| 1,790 | Putting Lipstick on Pig: Enabling Database-style Workflow Provenance | 2012 | VLDB | 9.7282755e-05 |
| 5,423 | Putting Things into Context: Rich Explanations for Query Answers using Join Graphs | 2021 | SIGMOD | 6.2069846e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 9,281 | Provenance for SQL through Abstract Interpretation: Value-less, but Worthwhile | 2015 | VLDB |
| 2 | 12,265 | A Provenance Framework for Data-Dependent Process Analysis | 2014 | VLDB |
| 3 | 17 | Provenance Semirings | 2007 | PODS |
| 4 | 627 | On the Provenance of Non-Answers to Queries over Extracted Data | 2008 | VLDB |
| 5 | 9,457 | Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries | 2020 | SIGMOD |
| 6 | 8,934 | Understanding Queries by Conditional Instances | 2022 | SIGMOD |
| 7 | 1,924 | Querying Data Provenance | 2010 | SIGMOD |
| 8 | 812 | Provenance for Aggregate Queries | 2011 | PODS |
| 9 | 11,205 | Below and Above Why-Provenance for Datalog Queries | 2024 | PODS |
| 10 | 6,386 | On Provenance Minimization | 2011 | PODS |