inriavalda/provsql

ProvSQL

PostgreSQL的(m-)半环溯源与不确定性管理扩展镜像

ProvSQL是PostgreSQL的扩展，可透明追踪查询结果的溯源信息（以电路令牌形式），支持概率计算、Shapley/Banzhaf值及多种半环评估（布尔、计数、why/how/which、公式、热带、Viterbi、Łukasiewicz、min-max等），还支持连续随机变量。本镜像为即开即用的演示版本：预装ProvSQL的PostgreSQL，包含ProvSQL Playground的教程和案例数据库（tutorial、cs1、cs2、cs4–cs7），并启动了ProvSQL Studio（Web UI）。

核心功能

1. 透明追踪查询结果的溯源信息
2. 支持多种半环评估及概率计算
3. 提供Web UI（ProvSQL Studio）可视化溯源电路
4. 预装示例数据库，便于快速上手

使用场景

• 数据库查询结果的溯源分析
• 不确定性数据的查询验证
• 教学演示或技术研究中的溯源功能测试

配置说明

快速启动

sh
docker run --rm -p 5433:5432 -p 8001:8000 docker.xuanyuan.run/inriavalda/provsql

• 端口说明：5433映射PostgreSQL服务（避免与本地5432冲突），8001映射ProvSQL Studio（避免与本地8000冲突），可根据需要调整左侧端口。
• ProvSQL Studio：访问http://localhost:8001，可查看溯源电路、执行半环/概率评估、切换示例数据库。
• psql连接：使用test用户连接示例数据库，如psql -h localhost -p 5433 -U test tutorial。

标签说明

• :latest：跟踪master分支的最新版本
• :X.Y.Z：标记扩展的正式发布版本（镜像构建时固定Studio版本）

文档资源

• 项目官网：<[***]>
• 文档地址：<[***]>
• 源码与问题反馈：https://github.com/PierreSenellart/provsql
• 许可协议：ProvSQL及ProvSQL Studio采用MIT License

第三方工具

镜像中捆绑了可选的外部工具（作为独立子进程调用，未链接到扩展）：

• 知识编译器：d4、dsharp
• 加权模型计数器：ganak、sharpsat-td、weightmc
• 渲染工具：Graphviz（dot）、graph-easy 各工具遵循其上游许可协议，具体版本及构建步骤见https://github.com/PierreSenellart/provsql/blob/master/docker/Dockerfile。 ===FULL_DESC===