Provsql: a General System for Keeping Track of the Provenance and Probability of Data
Aryak Sen, Silviu Maniu, Pierre Senellart
Abstract
We present the data model, design choices, and performance of ProvSQL, a general and easy-to-deploy provenance tracking and probabilistic database system implemented as a PostgreSQL extension. ProvSQL's data and query models closely reflect that of a large core of SQL, including multiset semantics, the full relational algebra, and aggregation. A key part of its implementation relies on generic provenance circuits stored in memory-mapped files. We propose benchmarks to measure the overhead of provenance and probabilistic evaluation and demonstrate its scalability and competitiveness with respect to other state-of-the-art systems.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 6829f72d-679b-4857-bdb6-86e8829b084fCited by top-tier papers1
Ask how each one uses itBuilds on1
Related papers
- GenSQL: A Probabilistic Programming System for Querying Generative Models of Database TablesMathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle et al.PLDI 2024 · 6 citations
- Computing Why-Provenance for Property Graph QueriesKoumudi Ganepola, Maxime Jakubowski, Katja HoseVLDB 2026
- Computing the Shapley Value of Facts in Query AnsweringDaniel Deutch, Nave Frost, Benny Kimelfeld, Mikaël MonetSIGMOD 2022 · 31 citations
- VeriDB: An SGX-based Verifiable DatabaseWenchao Zhou, Yifan Cai, Yanqing Peng, Sheng Wang et al.SIGMOD 2021 · 52 citations
- qedb: Expressive and Modular Verifiable Databases (without SNARKs)Vincenzo Botta, Simone Bottoni, Matteo Campanelli, Emanuele Ragnoli et al.CCS 2026 · 3 citations
