Bibliography

[1]

Aryak Sen, Silviu Maniu, and 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), Montréal, Canada, May 2026. 2026. Also arXiv abs/2504.12058.

[2]

Pierre Senellart, Louis Jachiet, Silviu Maniu, and Yann Ramusat. ProvSQL: provenance and probability management in PostgreSQL. Proc. VLDB Endow., 11(12):2034–2037, 2018. Demonstration. doi:10.14778/3229863.3236253.

[3]

Pierre Senellart. Provenance in databases: principles and applications. In Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures, Lecture Notes in Computer Science, 104–109. Springer, 2019. doi:10.1007/978-3-030-31423-1_3.

[4]

Pierre Senellart. Provenance and probabilities in relational databases. SIGMOD Rec., 46(4):5–15, 2017. doi:10.1145/3186549.3186551.

[5]

Todd J. Green, Gregory Karvounarakis, and Val Tannen. Provenance semirings. In 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.

[6]

Daniel Deutch, Tova Milo, Sudeepa Roy, and Val Tannen. Circuits for datalog provenance. In Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014, 201–212. OpenProceedings.org, 2014. doi:10.5441/002/ICDT.2014.22.

[7]

Yael Amsterdamer, Daniel Deutch, and Val Tannen. Provenance for aggregate queries. In 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.

[8]

Floris Geerts and 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.

[9]

Todd J. Green and Val Tannen. Models for incomplete and probabilistic information. In Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops, Munich, Germany, March 26-31, 2006, Revised Selected Papers, Lecture Notes in Computer Science, 278–296. Springer, 2006. doi:10.1007/11896548_24.

[10]

Antoine Amarilli, Florent Capelli, Mikaël Monet, and Pierre Senellart. Connecting knowledge compilation classes and width parameters. Theory Comput. Syst., 64(5):861–914, 2020. doi:10.1007/S00224-019-09930-2.

[11]

Pratik Karmakar, Mikaël Monet, Pierre Senellart, and Stéphane Bressan. Expected shapley-like scores of boolean functions: complexity and applications to probabilistic databases. Proc. ACM Manag. Data, 2(2):92, 2024. Presented at the PODS 2024 conference in Santiago, Chile. Also arXiv abs/2401.06493. doi:10.1145/3651593.

[12]

Peter Buneman, Sanjeev Khanna, and Wang Chiew Tan. Why and where: A characterization of data provenance. In Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings, Lecture Notes in Computer Science, 316–330. Springer, 2001. doi:10.1007/3-540-44503-X_20.

[13]

Pierre Bourhis, Daniel Deutch, and Yuval Moskovitch. Equivalence-invariant algebraic provenance for hyperplane update queries. In Proceedings of the 2020 International Conference on Management of Data, SIGMOD Conference 2020, online conference [Portland, OR, USA], June 14-19, 2020, 415–429. ACM, 2020. doi:10.1145/3318464.3380578.

[14]

Albert Ariel Widiaatmaja, Belkis Djeffal, Ashish Dandekar, and 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.