References

[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] [3] [4] [5] [6] [7] [8] [9] [10]
[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] [16] [17] [18]
[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] [19] [20] [21] [22]
[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] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45]
[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]