provsql
PostgreSQL 半环溯源与不确定性管理扩展
仓库
PierreSenellart/provsql
https://github.com/PierreSenellart/provsql
源码
provsql-1.2.3.tar.gz
provsql-1.2.3.tar.gz
概览
| 扩展包名 | 版本 | 分类 | 许可证 | 语言 |
|---|---|---|---|---|
provsql | 1.2.3 | FEAT | MIT | C++ |
| ID | 扩展名 | Bin | Lib | Load | Create | Trust | Reloc | 模式 |
|---|---|---|---|---|---|---|---|---|
| 2900 | provsql | 否 | 是 | 是 | 是 | 是 | 否 | - |
| 相关扩展 | uuid-ossp |
|---|
版本
| 类型 | 仓库 | 版本 | PG 大版本 | 包名 | 依赖 |
|---|---|---|---|---|---|
| EXT | PIGSTY | 1.2.3 | 1817161514 | provsql | uuid-ossp |
| RPM | PIGSTY | 1.2.3 | 1817161514 | provsql_$v | - |
| DEB | PIGSTY | 1.2.3 | 1817161514 | postgresql-$v-provsql | - |
构建
您可以使用 pig build 命令构建 provsql 扩展的 RPM / DEB 包：
pig build pkg provsql # 构建 RPM / DEB 包
安装
您可以直接安装 provsql 扩展包的预置二进制包，首先确保 PGDG 和 PIGSTY 仓库已经添加并启用：
pig repo add pgsql -u # 添加仓库并更新缓存
使用 pig 或者是 apt/yum/dnf 安装扩展：
pig install provsql; # 当前活跃 PG 版本安装
pig ext install -y provsql -v 18 # PG 18
pig ext install -y provsql -v 17 # PG 17
pig ext install -y provsql -v 16 # PG 16
pig ext install -y provsql -v 15 # PG 15
pig ext install -y provsql -v 14 # PG 14
dnf install -y provsql_18 # PG 18
dnf install -y provsql_17 # PG 17
dnf install -y provsql_16 # PG 16
dnf install -y provsql_15 # PG 15
dnf install -y provsql_14 # PG 14
apt install -y postgresql-18-provsql # PG 18
apt install -y postgresql-17-provsql # PG 17
apt install -y postgresql-16-provsql # PG 16
apt install -y postgresql-15-provsql # PG 15
apt install -y postgresql-14-provsql # PG 14
预加载配置：
shared_preload_libraries = 'provsql';
创建扩展：
CREATE EXTENSION provsql CASCADE; -- 依赖: uuid-ossp
用法
shared_preload_libraries = 'provsql'
CREATE EXTENSION provsql CASCADE;
上游快速安装说明还列出了这些前置条件：PostgreSQL 10 及以上版本、C++17 编译器、PostgreSQL 头文件、uuid-ossp 以及 Boost 库。
核心流程
ProvSQL 通过 shared_preload_libraries 加载，然后使用 CREATE EXTENSION provsql CASCADE; 安装。
典型用途包括：
- 在不同半环上计算溯源
- 计算概率和期望值
- 计算 Shapley 值等博弈论贡献
- 使用内置的编译型半环处理常见场景
备注
项目主页和文档位于 provsql.org。README 指向用户指南，涵盖完整的安装和测试流程。