Transparent Query Rewriting
SQL queries are automatically rewritten to track provenance circuits. No changes to your schema or application code required.
Rich Semiring Support
Boolean, counting, why-provenance, where-provenance, bag semirings, and user-defined semirings via a clean extension API.
Probability & Shapley
Compute tuple-independent probabilities via knowledge compilation (d-DNNF, tree decomposition). Compute Shapley values of query answers.
C/C++ API
Internal C/C++ API for extending ProvSQL with new semirings and gate types.