场景说明
该场景属于“函数与表达式”，适用于 sql、mybatis、plsql。权威状态：待核验，不进入权威统计。
正向识别示例
以下均来自规则库中 should_hit=true 的合成公开示例，不是客户代码。
SELECT NVL(bonus, 0) FROM emp
UPDATE t SET remark = NVL(remark, 'N/A') WHERE id = 1
21 个精确目标版本 / 模式
| 目标 | 支持度 | 证据等级 | 公开边界 | 深入核对 |
|---|---|---|---|---|
| 达梦 DM8 | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| GaussDB 505（ORA 模式） | partial | artifact_verified | 未登记额外公开说明，按来源与验证步骤复核。 | 改造点 · 真机工件 |
| GBase 8s | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| GoldenDB V6 | partial | artifact_verified | 本批真机语义对照通过；仅覆盖工件内 NVL(NULL, 7) 的结果断言，混合类型、隐式转换与参数求值边界仍需 PoC，本结论不超过 partial。 | 改造点 · 真机工件 |
| 瀚高 HGDB 4.5 | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| 人大金仓 KingbaseES V8 | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| OceanBase 4.2.5 Oracle 模式 | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| OceanBase 4.3.5 Oracle 模式 | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| openGauss 5.0 A 模式 | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| openGauss 6.0 A 模式 | full | version_observed | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| PolarDB（Oracle 兼容）2.0 | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| PostgreSQL 16 + orafce 4.16 | partial | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | 改造点 |
| PostgreSQL 16 | none | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | 改造点 |
| 神通数据库 7 | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
展开 7 个 unknown / undeclared 结论
| OceanBase 4.2.5 MySQL 模式 | unknown | unverified | 当前事实源不足，不推断兼容。 |
| OceanBase 4.3.5 MySQL 模式 | unknown | unverified | 当前事实源不足，不推断兼容。 |
| openGauss 6.0 B 模式（Dolphin） | unknown | unverified | 当前事实源不足，不推断兼容。 |
| 磐维 PanWeiDB 2.0 | unknown | unverified | 当前事实源不足，不推断兼容。 |
| 磐维 PanWeiDB 3.0 A 模式 | unknown | unverified | 当前事实源不足，不推断兼容。 |
| TDSQL Boundless | unknown | unverified | 当前事实源不足，不推断兼容。 |
| TiDB 8.5 | unknown | unverified | 当前事实源不足，不推断兼容。 |
改造与验证路径
推荐方向
case_by_case · 先按 expr1 字符规则或数值最高优先级求 Oracle resolved type，再用 COALESCE(CAST(expr AS resolved), CAST(fallback AS resolved)) 把两参/最终结果统一；依赖两参求值时用保证的物化屏障/过程变量无条件执行，普通 CTE 不保证
库侧
纯值补类型后改 COALESCE；副作用参数用 MATERIALIZED 屏障、临时结果或过程变量无条件执行 · 风险 review
应用侧
应用按 Oracle resolved type 转换两参；依赖 eager 时先无条件求两参再选择 · 风险 review
验收步骤
覆盖首参 NULL/非 NULL、字符数值混型、溢出及 fallback 报错/副作用；用计数副作用确认物化屏障下两参求值次数与结果类型