Abstract
We report on the practical efficiency and on the effectiveness for real-world applications of ProvSQL, a system that manages the provenance and probability of tuples in database management systems, built on the theoretical framework of provenance semirings, provenance circuits, and tree decomposition for knowledge compilation. ProvSQL is benchmarked and compared to other provenance-aware and probabilistic database management systems.