provsql
provsql
provsql : Semiring provenance and uncertainty management for PostgreSQL
Overview
| ID | Extension | Package | Version | Category | License | Language |
|---|---|---|---|---|---|---|
| 2900 | provsql
|
provsql
|
1.2.3 |
FEAT
|
MIT
|
C++
|
| Attribute | Has Binary | Has Library | Need Load | Has DDL | Relocatable | Trusted |
|---|---|---|---|---|---|---|
--sLdt-
|
No
|
Yes
|
Yes
|
Yes
|
no
|
yes
|
| Relationships | |
|---|---|
| Requires | uuid-ossp
|
Packages
| Type | Repo | Version | PG Major Compatibility | Package Pattern | Dependencies |
|---|---|---|---|---|---|
| EXT | PIGSTY
|
1.2.3 |
18
17
16
15
14
|
provsql |
uuid-ossp |
| RPM | PIGSTY
|
1.2.3 |
18
17
16
15
14
|
provsql_$v |
- |
| DEB | PIGSTY
|
1.2.3 |
18
17
16
15
14
|
postgresql-$v-provsql |
- |
| Linux / PG | PG18 | PG17 | PG16 | PG15 | PG14 |
|---|---|---|---|---|---|
el8.x86_64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
el8.aarch64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
el9.x86_64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
el9.aarch64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
el10.x86_64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
el10.aarch64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
d12.x86_64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
d12.aarch64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
d13.x86_64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
d13.aarch64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
u22.x86_64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
u22.aarch64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
u24.x86_64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
u24.aarch64
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
PIGSTY 1.2.3
|
Source
pig build pkg provsql; # build rpm/debInstall
Make sure PGDG and PIGSTY repo available:
pig repo add pgsql -u # add both repo and update cacheInstall 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 14Config this extension to shared_preload_libraries:
shared_preload_libraries = 'provsql';Create this extension with:
CREATE EXTENSION provsql CASCADE; -- requires uuid-osspUsage
- 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.
Last updated on