ORACLE PRAGMA RESTRICT_REFERENCES 纯度声明 迁移 PostgreSQL 16 + orafce 4.16 适配说明

迁衡基于规则 ora.plsql.pragma_restrict_references 分析 ORACLE PRAGMA RESTRICT_REFERENCES 纯度声明 到 PostgreSQL 16 + orafce 4.16 的兼容性、改写路径与验证建议。

兼容性判定

公开资料依据 · 建议 PoC 复核
支持度none
严重度major
置信度medium
依据规则ora.plsql.pragma_restrict_references

迁移建议

审计副作用后按目标 VOLATILE/STABLE/IMMUTABLE、权限和测试重建契约

判定说明

core 无 RNDS/WNDS/RNPS/WNPS 同构声明;错误打标会产生静默错果,建议 PoC 复核

库侧 / 应用侧路径

库侧改造

可行:审计表读写、包状态和非确定调用,按目标函数属性补约束

应用侧改造

可行:关键纯函数可上移并用单元测试固定无副作用契约

推荐路线:db_side。验证建议:建议 PoC 复核四类纯度约束、异常路径与并发会话状态

规则样例

参考来源

相关改造点

技术支持

微信交流群 微信二维码

微信:prejudice_me