场景说明
该场景属于“DDL 与数据库对象”,适用于 sql。权威状态:可进入权威统计。
正向识别示例
以下均来自规则库中 should_hit=true 的合成公开示例,不是客户代码。
CREATE SEQUENCE ord_seq START WITH 1 INCREMENT BY 1 CACHE 20 ORDER
CREATE SEQUENCE audit_seq MINVALUE 1 MAXVALUE 999999 ORDER CYCLE
21 个精确目标版本 / 模式
| 目标 | 支持度 | 证据等级 | 公开边界 | 深入核对 |
|---|---|---|---|---|
| OceanBase 4.3.5 Oracle 模式 | partial | doc_based | 未登记额外公开说明,按来源与验证步骤复核。 | 改造点 |
| openGauss 5.0 A 模式 | partial | doc_based | 未登记额外公开说明,按来源与验证步骤复核。 | 改造点 |
| openGauss 6.0 A 模式 | none | doc_based | 未登记额外公开说明,按来源与验证步骤复核。 | 改造点 |
| 磐维 PanWeiDB 3.0 A 模式 | full | version_observed | 未登记额外公开说明,按来源与验证步骤复核。 | — |
| PostgreSQL 16 + orafce 4.16 | none | doc_based | 未登记额外公开说明,按来源与验证步骤复核。 | 改造点 |
| PostgreSQL 16 | none | doc_based | 未登记额外公开说明,按来源与验证步骤复核。 | 改造点 |
展开 15 个 unknown / undeclared 结论
| 达梦 DM8 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| GaussDB 505(ORA 模式) | unknown | unverified | 当前事实源不足,不推断兼容。 |
| GBase 8s | unknown | unverified | 当前事实源不足,不推断兼容。 |
| GoldenDB V6 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| 瀚高 HGDB 4.5 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| 人大金仓 KingbaseES V8 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| OceanBase 4.2.5 MySQL 模式 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| OceanBase 4.2.5 Oracle 模式 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| OceanBase 4.3.5 MySQL 模式 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| openGauss 6.0 B 模式(Dolphin) | unknown | unverified | 当前事实源不足,不推断兼容。 |
| 磐维 PanWeiDB 2.0 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| PolarDB(Oracle 兼容)2.0 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| 神通数据库 7 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| TDSQL Boundless | unknown | unverified | 当前事实源不足,不推断兼容。 |
| TiDB 8.5 | unknown | unverified | 当前事实源不足,不推断兼容。 |
改造与验证路径
推荐方向
case_by_case · SESSION 序列忽略 ORDER,已由匹配边界排除;普通 GLOBAL/NOSCALE/NOSHARD 序列若仅需唯一可去除 ORDER 并记录语义放宽,若需全局单调则使用目标有序序列或独立发号服务。割接须冻结全部取号方,在每个源实例失效或放弃已预取 CACHE(无法保证时停止源实例),并确认任何实例不得恢复取号;随后盘点 INCREMENT、MINVALUE/MAXVALUE/CYCLE、ORDER 及扩展属性,再执行受控 NEXTVAL。探针值已被消耗并保留不用,按步长、方向和边界计算其受控 NEXTVAL 后继,将合法后继设为目标首个精确 next transition。LAST_NUMBER 是缓存相关的后续值而非当前值,max used 也不含未落表调用,二者均不得单独作起点。SCALE/SHARD(以及影响编号构成的扩展)不能套普通算术后继,必须走专用迁移或人工阻断;NOCYCLE 已耗尽或探针位于终值时没有合法后继,须保留耗尽状态并阻断取号,禁止伪造回绕
普通 GLOBAL 序列冻结消费者并在每个源实例失效或放弃缓存,确认任何实例不得恢复取号后按受控 NEXTVAL 合法后继重建;SESSION 排除,SCALE/SHARD 或 NOCYCLE 耗尽进入人工阻断 · 风险 manual
强全局顺序需求迁到单一 ID 服务,并替换所有数据库取号调用 · 风险 manual
验收步骤
覆盖 SESSION 排除、SCALE/SHARD 阻断、正/负 INCREMENT、MINVALUE/MAXVALUE/CYCLE 回绕、NOCYCLE 已耗尽、CACHE/NOCACHE、实例重启、未落表 NEXTVAL 与多节点并发;断言每个源实例的缓存均已失效/放弃且任何实例不得恢复取号,探针值不再发出、目标首值等于受控 NEXTVAL 后继且是精确 next transition,并确认源零取号及放弃 ORDER 时业务不读取生成顺序