provsql

provsql : Semiring provenance and uncertainty management for PostgreSQL

Overview

Packages

Source

pig build pkg provsql;		# build rpm/deb

Install

Make sure PGDG and PIGSTY repo available:

pig repo add pgsql -u   # add both repo and update cache

Install this extension with pig:

pig install provsql;		# install via package name, for the active PG version

pig install provsql -v 18;   # install for PG 18
pig install provsql -v 17;   # install for PG 17
pig install provsql -v 16;   # install for PG 16
pig install provsql -v 15;   # install for PG 15
pig install provsql -v 14;   # install for PG 14

Config this extension to shared_preload_libraries:

shared_preload_libraries = 'provsql';

Create this extension with:

CREATE EXTENSION provsql CASCADE; -- requires uuid-ossp

Usage

• Source: GitHub repo, project docs, getting started guide
• ProvSQL adds m-semiring provenance and uncertainty management to PostgreSQL, with support for probabilities, Shapley values, and semiring evaluation.

shared_preload_libraries = 'provsql'
CREATE EXTENSION provsql CASCADE;

The upstream quick install also calls out these prerequisites: PostgreSQL 10 or later, a C++17 compiler, PostgreSQL headers, uuid-ossp, and Boost libraries.

Core Workflow

ProvSQL is loaded through shared_preload_libraries, then installed with CREATE EXTENSION provsql CASCADE;.

Typical use cases include:

• evaluating provenance over different semirings
• computing probabilities and expected values
• computing game-theoretic contributions such as Shapley values
• using the built-in compiled semirings for common cases

Notes

The project homepage and documentation live at provsql.org. The README links to the user guide for the full installation and testing workflow.