ORACLE MOD 除数为零的语义差异

迁移特征 mod_zero_divisor 的规则事实、精确目标横向结论与可执行验证路径。产品家族相似性不作为精确版本结论的依据。

pendingcriticalhighora.func.mod_zero

场景说明

该场景属于“事务、并发与运行语义”，适用于 sql、plsql、mybatis。权威状态：待核验，不进入权威统计。

正向识别示例

以下均来自规则库中 should_hit=true 的合成公开示例，不是客户代码。

SELECT MOD(order_no, 0) FROM orders
SELECT MOD(42, 0.0) FROM dual
SELECT MOD(ABS(order_no), 0) FROM orders

21 个精确目标版本 / 模式

目标支持度证据等级公开边界深入核对
PostgreSQL 16 + orafce 4.16partialdoc_based未登记额外公开说明，按来源与验证步骤复核。改造点
PostgreSQL 16partialdoc_based未登记额外公开说明，按来源与验证步骤复核。改造点
展开 19 个 unknown / undeclared 结论
达梦 DM8unknownunverified当前事实源不足，不推断兼容。
GaussDB 505（ORA 模式）unknownunverified当前事实源不足，不推断兼容。
GBase 8sunknownunverified当前事实源不足，不推断兼容。
GoldenDB V6unknownunverified当前事实源不足，不推断兼容。
瀚高 HGDB 4.5unknownunverified当前事实源不足，不推断兼容。
人大金仓 KingbaseES V8unknownunverified当前事实源不足，不推断兼容。
OceanBase 4.2.5 MySQL 模式unknownunverified当前事实源不足，不推断兼容。
OceanBase 4.2.5 Oracle 模式unknownunverified当前事实源不足，不推断兼容。
OceanBase 4.3.5 MySQL 模式unknownunverified当前事实源不足，不推断兼容。
OceanBase 4.3.5 Oracle 模式unknownunverified当前事实源不足，不推断兼容。
openGauss 5.0 A 模式undeclaredunverified当前事实源不足，不推断兼容。
openGauss 6.0 A 模式undeclaredunverified当前事实源不足，不推断兼容。
openGauss 6.0 B 模式（Dolphin）unknownunverified当前事实源不足，不推断兼容。
磐维 PanWeiDB 2.0unknownunverified当前事实源不足，不推断兼容。
磐维 PanWeiDB 3.0 A 模式unknownunverified当前事实源不足，不推断兼容。
PolarDB（Oracle 兼容）2.0unknownunverified当前事实源不足，不推断兼容。
神通数据库 7unknownunverified当前事实源不足，不推断兼容。
TDSQL Boundlessunknownunverified当前事实源不足，不推断兼容。
TiDB 8.5unknownunverified当前事实源不足，不推断兼容。

改造与验证路径

推荐方向

db_side · CASE WHEN divisor = 0 THEN dividend ELSE mod(dividend, divisor) END

库侧

用 CASE 显式保留 Oracle 零除数行为 · 风险 review

应用侧

约束除数不为零并在业务层处理兜底 · 风险 review

验收步骤

正负数、小数、NULL 和零除数结果逐项比对

公开来源