pg_improv

概览

Superuser install; commit mode needs preload; logical mode also needs shared preload/restart, wal_level=logical and a worker database. Logical slots retain WAL; numeric results use float8. PG15-18; build pgrx 0.19.3, upstream 0.17.0.

版本

构建

您可以使用 pig build 命令构建 pg_improv 扩展的 RPM / DEB 包：

pig build pkg pg_improv         # 构建 RPM / DEB 包

安装

您可以直接安装 pg_improv 扩展包的预置二进制包，首先确保 PGDG 和 PIGSTY 仓库已经添加并启用：

pig repo add pgsql -u          # 添加仓库并更新缓存

使用 pig 或者是 apt/yum/dnf 安装扩展：

pig install pg_improv;          # 当前活跃 PG 版本安装

pig ext install -y pg_improv -v 18  # PG 18
pig ext install -y pg_improv -v 17  # PG 17
pig ext install -y pg_improv -v 16  # PG 16
pig ext install -y pg_improv -v 15  # PG 15

dnf install -y pg_improv_18       # PG 18
dnf install -y pg_improv_17       # PG 17
dnf install -y pg_improv_16       # PG 16
dnf install -y pg_improv_15       # PG 15

apt install -y postgresql-18-pg-improv   # PG 18
apt install -y postgresql-17-pg-improv   # PG 17
apt install -y postgresql-16-pg-improv   # PG 16
apt install -y postgresql-15-pg-improv   # PG 15

创建扩展：

CREATE EXTENSION pg_improv;

用法

来源：

• 发行日志

• 官方资料

• 官方资料

• 官方资料

pg_improv 0.12.1 将 PostgreSQL 表绑定到多维模型，计算公式并物化结果。它支持 PostgreSQL 15–18，安装需要超级用户。以下示例使用手工同步模式，无需预加载库。

核心流程

CREATE EXTENSION pg_improv;
CREATE TABLE sales (quarter text, price float8, qty float8);
INSERT INTO sales VALUES ('Q1', 10, 100), ('Q2', 12, 200);
SELECT improv.create_model('plan');
SELECT improv.set_sync_mode('plan', 'manual');
SELECT improv.bind_category('plan', 'Time', 'sales', 'quarter');
SELECT improv.bind_measure('plan', 'Price', 'sales', 'price');
SELECT improv.bind_measure('plan', 'Quantity', 'sales', 'qty');
SELECT improv.define('plan', 'Revenue = Price * Quantity');
SELECT improv.recalc('plan');
SELECT * FROM improv_plan.revenue;
SELECT * FROM improv.status('plan');

先绑定类别，再绑定对应度量。重复坐标需要显式聚合，空值不会生成模型单元。结果表位于模型专属模式中。improv.define 可用 replace => true 替换公式，improv.recalc 返回发生变化的结果行数。

同步模式

improv.set_sync_mode 选择手工、触发器、提交或逻辑同步。触发器模式无需预加载；提交模式需要会话或服务器预加载。默认的逻辑模式要求配置 shared_preload_libraries、重启服务器、启用 wal_level=logical，并正确设置工作进程使用的 improv.database。逻辑同步结果异步可见；事务内需要立即看到当前结果时，应显式重算。

监控 improv.status，并通过 max_slot_wal_keep_size 限制保留的 WAL。工作进程停滞时，逻辑复制槽可能持续保留 WAL。绑定表可能创建发布并修改复制身份，启用逻辑模式前应评估这些影响。

公式与维护边界

improv 语言支持标量公式与模型表达式，但不能执行任意 SQL 调用或外部 I/O。公式错误通常转换为空值，improv.raise_errors 可以改变该策略。数值和大整数通过浮点运算求值，超过 2^53 的精度需要特别注意。improv.max_cells 限制载入的输入单元数。

使用数据库转储备份模型定义与结果状态，并演练恢复；逻辑模式恢复后需要新建复制槽并重算。升级库时需重启已预加载的进程，并更新扩展 SQL。模型计算结果与应用事务中的权威源表是不同层次的数据。

0.11.0 起的所有权与数据库级逻辑同步

模型现在以其所有者身份读写，目录、维度项和单元格受到行级安全保护。只有超级用户或有权切换为所有者的角色才能修改和重算该模型。向创建者授予 improv_user 及必要的源表权限；管理员角色并不自动获得所有模型所有者的身份。共享结果表仍需普通表授权；what_if 可暴露所有者可读的数据，应谨慎授权。同一数据库的逻辑同步模型现在共用一个槽和发布。升级时配套更新库与 SQL，恢复模型转储前先恢复角色，并监控保留的 WAL。

0.12.1 发行说明

0.12.0 的 SQL 迁移添加 improv.measure.format 以保存显示格式；保存格式前应先更新扩展。0.12.1 相对 0.12.0 只修改版本，没有额外代码变化，并恢复兼容 RHEL 8（glibc 2.28）的工件。上游仍使用 pgrx 0.17.0。逻辑同步仍要求 shared_preload_libraries、wal_level=logical 和重启；触发器与手工模式不要求预加载。