ORACLE PRAGMA RESTRICT_REFERENCES 纯度声明 迁移 postgresql 16 怎么改

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

兼容性判定

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

怎么改

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

判定说明

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

库侧 / 应用侧路径

库侧改造

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

应用侧改造

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

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

规则样例

参考来源

相关改造点

社群/联系

迁移卡住时,带着案例找人复核

迁移路上遇到具体问题?微信群、1v1 咨询与邮箱,随时找得到人。

微信交流群 微信二维码

扫码添加微信,邀您加入交流群;亦可搜索微信号 prejudice_me。

邮箱咨询

m01dm01db01@foxmail.com

发源库、目标库、代码规模和已脱敏案例短链,便于估算改造工作量。