MYSQL 显式分区选择（FROM t PARTITION (p)）

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

pendingminorhighmy.syntax.partition_selection

场景说明

该场景属于“查询与 DML 语法”，适用于 sql、mybatis。权威状态：待核验，不进入权威统计。

正向识别示例

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

SELECT * FROM sales PARTITION (p2024) WHERE amt > 0
DELETE FROM log_t PARTITION (p_old)
UPDATE sales PARTITION (p2024) SET amt = 0

21 个精确目标版本 / 模式

目标支持度证据等级公开边界深入核对
OceanBase 4.3.5 MySQL 模式fulldoc_based未登记额外公开说明，按来源与验证步骤复核。—
openGauss 6.0 B 模式（Dolphin）partialdoc_based未登记额外公开说明，按来源与验证步骤复核。改造点
PostgreSQL 16 + orafce 4.16nonedoc_based未登记额外公开说明，按来源与验证步骤复核。改造点
PostgreSQL 16nonedoc_based未登记额外公开说明，按来源与验证步骤复核。改造点
展开 17 个 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 Oracle 模式unknownunverified当前事实源不足，不推断兼容。
openGauss 5.0 A 模式undeclaredunverified当前事实源不足，不推断兼容。
openGauss 6.0 A 模式undeclaredunverified当前事实源不足，不推断兼容。
磐维 PanWeiDB 2.0unknownunverified当前事实源不足，不推断兼容。
磐维 PanWeiDB 3.0 A 模式unknownunverified当前事实源不足，不推断兼容。
PolarDB（Oracle 兼容）2.0unknownunverified当前事实源不足，不推断兼容。
神通数据库 7unknownunverified当前事实源不足，不推断兼容。
TDSQL Boundlessunknownunverified当前事实源不足，不推断兼容。
TiDB 8.5unknownunverified当前事实源不足，不推断兼容。

改造与验证路径

推荐方向

app_side · 先按源分区算法分支：RANGE/LIST 仅在边界、NULL/MAXVALUE 与列比较语义均可证明等价时，才把分区名改父表+等价分区键谓词；HASH/KEY/LINEAR 必须承接源分区成员关系，普通 HASH 可按源表达式/模算法重建，LINEAR 按源线性算法重建，KEY 使用 MySQL 内部哈希，不能把目标原生 hash 的同名 pN 当等价集合。无法在目标计算时，使用割接前物化的源分区成员标记/受控键集合或直接叶表；若改用目标原生分区，必须批准分区名契约变化。SELECT/UPDATE/DELETE 只限制候选旧行，UPDATE 分区键另核对跨分区移动；普通多行 INSERT/REPLACE 先按源路由全量预校验再一次写入，IGNORE 按行过滤越界并保留 warning/affected_rows，LOAD 按错误模式分支

库侧

RANGE/LIST 建名称到边界映射；HASH/KEY/LINEAR 建源路由函数、物化成员标记或受控键集合，禁止假设目标同名分区成员一致 · 风险 review

应用侧

Mapper 按分区键生成参数化谓词；禁止把外部 partition name 直接拼成关系名 · 风险 review

验收步骤

覆盖 RANGE/LIST/HASH/KEY/LINEAR 及子分区，逐分区对账源分区成员关系；普通多行 INSERT/REPLACE 先全量预校验且任一越界整句零写入，IGNORE 比对部分接受/告警；另测不存在名称、NULL、改名和跨分区更新。物化/叶表方案比对刷新时点、触发器、RLS、权限、行数、错误与裁剪计划；契约变化须有审批与调用方回归

公开来源