The Semiring Framework for Database Provenance | Synapse