场景说明
该场景属于“函数与表达式”，适用于 sql、mybatis。权威状态：可进入权威统计。
正向识别示例
以下均来自规则库中 should_hit=true 的合成公开示例，不是客户代码。
SELECT DATE_FORMAT(created, '%Y-%m-%d') FROM t
SELECT DATE_FORMAT(NOW(), '%H:%i:%s')
21 个精确目标版本 / 模式
| 目标 | 支持度 | 证据等级 | 公开边界 | 深入核对 |
|---|---|---|---|---|
| OceanBase 4.2.5 MySQL 模式 | partial | artifact_verified | 未登记额外公开说明，按来源与验证步骤复核。 | 改造点 · 真机工件 |
| OceanBase 4.3.5 MySQL 模式 | full | doc_based | 未登记额外公开说明，按来源与验证步骤复核。 | — |
| openGauss 6.0 B 模式（Dolphin） | 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 Oracle 模式 | unknown | unverified | 当前事实源不足，不推断兼容。 |
| openGauss 5.0 A 模式 | undeclared | unverified | 当前事实源不足，不推断兼容。 |
| openGauss 6.0 A 模式 | undeclared | unverified | 当前事实源不足，不推断兼容。 |
| 磐维 PanWeiDB 2.0 | unknown | unverified | 当前事实源不足，不推断兼容。 |
| 磐维 PanWeiDB 3.0 A 模式 | unknown | unverified | 当前事实源不足，不推断兼容。 |
| PolarDB（Oracle 兼容）2.0 | unknown | unverified | 当前事实源不足，不推断兼容。 |
| PostgreSQL 16 + orafce 4.16 | undeclared | unverified | 当前事实源不足，不推断兼容。 |
| PostgreSQL 16 | undeclared | unverified | 当前事实源不足，不推断兼容。 |
| 神通数据库 7 | unknown | unverified | 当前事实源不足，不推断兼容。 |
| TDSQL Boundless | unknown | unverified | 当前事实源不足，不推断兼容。 |
| TiDB 8.5 | unknown | unverified | 当前事实源不足，不推断兼容。 |
改造与验证路径
推荐方向
case_by_case · 映射 %Y/%m/%d、%H/%i/%s；%U/%u 分别为周日/周一起始且可为 00，%V/%v 为 01 起点并分别配 %X/%x week-year；另处理 locale、%% 及零/不完整日期输出 00 的分支
库侧
逐 token 改目标函数，六个周号/周年 token 分支显式重建；零日期按源契约决定保留 00 或清洗 · 风险 review
应用侧
展示层固定 locale/时区/week mode；零/不完整日期先按批准策略建模 · 风险 review
验收步骤
覆盖 %U/%u/%V/%v/%X/%x 的年界和 00/01 起点、年/月/日、locale、百分号、NULL、时区跨日与零/不完整日期输出