Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries

Summary: Proposes an equivalence-invariant provenance model for a fragment of hyperplane-update queries, grounded in Karabeg–Vianu axiomatization. Uses a normal-form provenance to avoid blowup, enabling efficient generation during evaluation; experiments show scalability. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: hda9051354b41868b
Venue: SIGMOD
Year: 2020
Pagerank: 5.1534211e-05
Overall Rank: 9,604 | 35.46%
DOI: 10.1145/3318464.3380578

Incoming Non-self Citations Over Time

Authors

1. Pierre Bourhis (CNRS; University of Lille)
2. Daniel Deutch (Tel Aviv University)
3. Yuval Moskovitch (Tel Aviv University)

BibTeX Citation

@inproceedings{bourhis_sigmod20,
        title = {{Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries}},
        author = {Bourhis, Pierre and Deutch, Daniel and Moskovitch, Yuval},
        series = {{SIGMOD} '20},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3318464.3380578},
        url = {https://dl.acm.org/doi/10.1145/3318464.3380578},
        year = {2020}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
4,920	Efficient Answering of Historical What-if Queries	2022	SIGMOD	6.3514733e-05
10,636	Causal Explanations for Disparate Trends: Where and Why?	2026	SIGMOD	4.9769913e-05

Outgoing Citations (Sorted by Pagerank)

Showing 13 of 13 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.00059813669
671	A Formal Approach to Finding Explanations for Database Queries	2014	SIGMOD	0.00014948069
811	Provenance for Aggregate Queries	2011	PODS	0.00013746145
943	Provenance and Scientific Workflows: Challenges and Opportunities	2008	SIGMOD	0.00012939577
1,051	Tiresias: The Database Oracle for How-To Queries	2012	SIGMOD	0.00012274277
1,554	Update Exchange with Mappings and Provenance	2007	VLDB	0.00010265583
1,611	Efficient Provenance Storage	2008	SIGMOD	0.00010072076
1,941	Caravan: Provisioning for What-If Analysis	2013	CIDR	9.3276626e-05
2,172	Provenance Management in Curated Databases	2006	SIGMOD	8.9202679e-05
2,950	Reverse Data Management	2011	VLDB	7.817636e-05
4,176	Aggregation in Probabilistic Databases via Knowledge Compilation	2012	VLDB	6.7541079e-05
5,628	Distributed Provenance Compression	2017	SIGMOD	6.0576733e-05
6,719	TRAMP: Understanding the Behavior of Schema Mappings through Provenance	2010	VLDB	5.6973551e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,712	Selective Provenance for Datalog Programs Using Top-K Queries	2015	VLDB
2	8,590	OneProvenance: Efficient Extraction of Dynamic Coarse-Grained Provenance From Database Query Event Logs	2023	VLDB
3	1,680	Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries	2018	VLDB
4	7,235	Hypothetical Reasoning via Provenance Abstraction	2019	SIGMOD
5	10,888	Computing Why-Provenance for Property Graph Queries	2026	VLDB
6	17	Provenance Semirings	2007	PODS
7	8,323	Computing How-Provenance for SPARQL Queries via Query Rewriting	2021	VLDB
8	6,459	On Provenance Minimization	2011	PODS
9	1,827	Querying Data Provenance	2010	SIGMOD
10	811	Provenance for Aggregate Queries	2011	PODS