References

• [Ame84] K. Amer. Equationally complete classes of commutative monoids with monus. Algebra Universalis, 18(1):129-131, 1984. [1] [2]
• [ADT11] 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]
• [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]
• [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]