References

[ABS15] Antoine Amarilli, Pierre Bourhis, Pierre Senellart. Provenance Circuits for Trees and Treelike Instances. In Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, Lecture Notes in Computer Science, 56–68. Springer, 2015. doi:10.1007/978-3-662-47666-6\_5, URL: https://doi.org/10.1007/978-3-662-47666-6_5. [1]
[Ame84] K. Amer. Equationally complete classes of commutative monoids with monus. Algebra Universalis, 18(1):129-131, 1984. [1] [2]
[ADT11a] Yael Amsterdamer, Daniel Deutch, Val Tannen. On the Limitations of Provenance for Queries with Difference. In Peter Buneman, Juliana Freire, editors, 3rd Workshop on the Theory and Practice of Provenance, TaPP'11, Heraklion, Crete, Greece, June 20-21, 2011. USENIX Association, 2011. URL: https://www.usenix.org/conference/tapp11/limitations-provenance-queries-difference. [1] [2] [3] [4] [5] [6]
[ADT11b] Yael Amsterdamer, Daniel Deutch, Val Tannen. Provenance for aggregate queries. In Maurizio Lenzerini, Thomas Schwentick, editors, Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011, June 12-16, 2011, Athens, Greece, 153–164. ACM, 2011. doi:10.1145/1989284.1989302, URL: https://doi.org/10.1145/1989284.1989302. [1] [2]
[BCBC+21] Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini. A Coq formalization of data provenance. In Catalin Hritcu, Andrei Popescu, editors, CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021, 152–162. ACM, 2021. doi:10.1145/3437992.3439920, URL: https://doi.org/10.1145/3437992.3439920. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
[GP10] Floris Geerts, Antonella Poggi. On database query languages for K-relations. J. Appl. Log., 8(2):173–185, 2010. doi:10.1016/J.JAL.2009.09.001, URL: https://doi.org/10.1016/j.jal.2009.09.001. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
[GT25] Erich Grädel, Val Tannen. Provenance Analysis and Semiring Semantics for First-Order Logic, pages 351–401. Springer Nature Switzerland, Cham, 2025. doi:10.1007/978-3-031-86319-6_21, URL: https://doi.org/10.1007/978-3-031-86319-6_21. [1] [2]
[GKT07] Todd J. Green, Gregory Karvounarakis, Val Tannen. Provenance semirings. In Leonid Libkin, editor, Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, 31–40. ACM, 2007. doi:10.1145/1265530.1265535, URL: https://doi.org/10.1145/1265530.1265535. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
[GT17] Todd J. Green, Val Tannen. The Semiring Framework for Database Provenance. In Emanuel Sallinger, Jan Van den Bussche, Floris Geerts, editors, Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017, 93–99. ACM, 2017. doi:10.1145/3034786.3056125, URL: https://doi.org/10.1145/3034786.3056125. [1] [2] [3] [4] [5] [6] [7] [8]
[SMS26] Aryak Sen, Silviu Maniu, Pierre Senellart. ProvSQL: A General System for Keeping Track of the Provenance and Probability of Data. In Proc. IEEE 42nd International Conference on Data Engineering (ICDE), Montréal, Canada, May 2026. 2026. Also arXiv abs/2504.12058. URL: https://pierre.senellart.com/publications/sen2026provsql.pdf. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33]
[Sen17] Pierre Senellart. Provenance and Probabilities in Relational Databases. SIGMOD Rec., 46(4):5–15, 2017. doi:10.1145/3186549.3186551, URL: https://doi.org/10.1145/3186549.3186551. [1] [2]
[WDDS25] Albert Ariel Widiaatmaja, Belkis Djeffal, Ashish Dandekar, Pierre Senellart. Demonstration of ProvSQL Update Provenance through Temporal Databases. In Proceedings of the Provenance Week 2025, PW'25, Berlin, Germany, June 22-27, 2025, 71–76. ACM, 2025. Demonstration. doi:10.1145/3736229.3736253, URL: https://pierre.senellart.com/publications/widiaatmaja2025demonstration.pdf. [1]