场景说明
该场景属于“查询与 DML 语法”，适用于 sql、mybatis、plsql。权威状态：可进入权威统计。
正向识别示例
以下均来自规则库中 should_hit=true 的合成公开示例，不是客户代码。
INSERT INTO t (id, v) VALUES (seq_t.NEXTVAL, 'x')
SELECT ord_seq.CURRVAL FROM dual
21 个精确目标版本 / 模式
| 目标 | 支持度 | 证据等级 | 公开边界 | 深入核对 |
|---|---|---|---|---|
| 达梦 DM8 | partial | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | 改造点 |
| GBase 8s | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| GoldenDB V6 | partial | artifact_verified | 本批真机实际执行通过；仅覆盖工件内默认建序列与一次 NEXTVAL，START/INCREMENT/NOCACHE、会话 CURRVAL、回滚、并发和权限边界仍需 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 | unverified | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| openGauss 6.0 A 模式 | full | unverified | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| PolarDB（Oracle 兼容）2.0 | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| PostgreSQL 16 + orafce 4.16 | partial | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | 改造点 |
| PostgreSQL 16 | partial | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | 改造点 |
| 神通数据库 7 | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
展开 8 个 unknown / undeclared 结论
| GaussDB 505（ORA 模式） | unknown | unverified | 当前事实源不足，不推断兼容。 |
| 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 | 当前事实源不足，不推断兼容。 |
改造与验证路径
推荐方向
db_side · 单引用按目标改 nextval/currval；同一序列在同一源行重复 NEXTVAL 或 NEXTVAL+CURRVAL 时先物化一次 nextval 并复用该值；纯 CURRVAL 保留会话已初始化前置
库侧
先按查询块和源行归并同序列引用，再用 CTE/LATERAL 物化取号并补 schema、权限 · 风险 review
应用侧
仅在跨库统一发号时由应用显式取号并绑定，事务内复用需要同一键的位置 · 风险 manual
验收步骤
覆盖会话首次 CURRVAL、同一行重复 NEXTVAL、NEXTVAL+CURRVAL、批量插入、回滚与并发；逐源行核对只递增一次及复用值一致；建议 PoC 复核缓存、权限和连接池会话切换