场景说明
该场景属于“函数与表达式”,适用于 sql、mybatis。权威状态:可进入权威统计。
正向识别示例
以下均来自规则库中 should_hit=true 的合成公开示例,不是客户代码。
SELECT REGEXP_LIKE(name, '^[[:alpha:]]+$', 'i') FROM customer
SELECT REGEXP_REPLACE(code, '[^0-9]', '') FROM product
SELECT REGEXP_INSTR(note, '[0-9]+', 1, 2, 1, 'c') FROM audit_log
21 个精确目标版本 / 模式
| 目标 | 支持度 | 证据等级 | 公开边界 | 深入核对 |
|---|---|---|---|---|
| OceanBase 4.2.5 MySQL 模式 | partial | artifact_verified | 未登记额外公开说明,按来源与验证步骤复核。 | 改造点 · 真机工件 |
| PostgreSQL 16 + orafce 4.16 | partial | doc_based | 未登记额外公开说明,按来源与验证步骤复核。 | 改造点 |
| PostgreSQL 16 | partial | doc_based | 未登记额外公开说明,按来源与验证步骤复核。 | 改造点 |
展开 18 个 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 Oracle 模式 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| OceanBase 4.3.5 MySQL 模式 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| OceanBase 4.3.5 Oracle 模式 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| openGauss 5.0 A 模式 | undeclared | unverified | 当前事实源不足,不推断兼容。 |
| openGauss 6.0 A 模式 | undeclared | unverified | 当前事实源不足,不推断兼容。 |
| openGauss 6.0 B 模式(Dolphin) | unknown | unverified | 当前事实源不足,不推断兼容。 |
| 磐维 PanWeiDB 2.0 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| 磐维 PanWeiDB 3.0 A 模式 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| PolarDB(Oracle 兼容)2.0 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| 神通数据库 7 | unknown | unverified | 当前事实源不足,不推断兼容。 |
| TDSQL Boundless | unknown | unverified | 当前事实源不足,不推断兼容。 |
| TiDB 8.5 | unknown | unverified | 当前事实源不足,不推断兼容。 |
改造与验证路径
推荐方向
case_by_case · 先由源 collation 和最右 c/i 确定默认大小写;REGEXP_LIKE 谓词映射 boolean,投影/数值比较用 CASE 保留 1/0/NULL;REGEXP_REPLACE 保留 occurrence=0;REGEXP_INSTR 与 REGEXP_SUBSTR 重建位置/次数;四者转换 ICU pattern/flags
库侧
按函数逐参映射 POSIX 接口;REGEXP_LIKE 数值上下文补 1/0/NULL CASE,缺少的 occurrence/return_option 用分段或匹配集合重建 · 风险 review
应用侧
动态 pattern 移应用时固定 Unicode/位置/flags/返回类型,并对不可信 pattern 设长度上限、语法白名单和超时 · 风险 review
验收步骤
覆盖四函数、大小写 collation、最右 c/i、REGEXP_LIKE 谓词/投影/NULL、pos/occurrence/return_option、flags、零长/反向引用/未命中/多字节位置及恶意 pattern 超时