@InProceedings{senellart:OASIcs.Tannen.9, author = {Senellart, Pierre}, title = {{On the Impact of Provenance Semiring Theory on the Design of a Provenance-Aware Database System}}, booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen}, pages = {9:1--9:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-320-1}, ISSN = {2190-6807}, year = {2024}, volume = {119}, editor = {Amarilli, Antoine and Deutsch, Alin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.9}, URN = {urn:nbn:de:0030-drops-201050}, doi = {10.4230/OASIcs.Tannen.9}, annote = {Keywords: provenance, provenance semiring, ProvSQL} }