知识点思维导图
17 个知识节点
Mysql（01） - 表设计、数据类型与约束
读完后，你应能完成以下任务：
- 绘制“Mysql（01） - 表设计、数据类型与约束 / 表设计先表达业务不变量”的关键对象与数据流，解释“表不是 JSON 的持久化容器。”，并用源码位置、日志或 Trace 标注证据。
- 为“Mysql（01） - 表设计、数据类型与约束 / 数据类型决定语义和成本”设计正常与异常输入，验证“金额使用 DECIMAL，不能用存在二进制舍入误差的 FLOAT；”，输出首个偏差位置与回归测试结果。
- 实现“Mysql（01） - 表设计、数据类型与约束 / 规范化与冗余的边界”的最小代码或配置，检验“第三范式减少重复和更新异常，但读性能不能靠无限 Join。”，输出命令、结果与 Diff，并说明不适用边界。
一、先建立全局：表设计、数据类型与约束 是什么？
理解“表设计、数据类型与约束”，先要把标题中的对象放进同一条处理链：它接收什么输入，经过哪些状态变化，最终用什么证据判断结果。下表不另造概念，只把作者正文已经解释的章节按依赖顺序连起来。
“表设计、数据类型与约束”的第一个核心判断是：表不是 JSON 的持久化容器。。先弄清这个判断中的对象和输入输出，后面的实现、故障和验收才有共同语境。
| 顺序 | 章节 | 读完本节应抓住的结论 |
|---|---|---|
| 1 | 表设计先表达业务不变量 | 表不是 JSON 的持久化容器。 |
| 2 | 数据类型决定语义和成本 | 金额使用 DECIMAL，不能用存在二进制舍入误差的 FLOAT； |
| 3 | 规范化与冗余的边界 | 第三范式减少重复和更新异常，但读性能不能靠无限 Join。 |
| 4 | 迁移步骤与失败边界 | 新增非空字段不能直接假设历史数据已有值。 |
| 5 | 设计前先写清实体身份、生命周期、必填字段、唯一性和关联关系 | 设计前先写清实体身份、生命周期、必填字段、唯一性和关联关系，再决定字段。 |
| 6 | 订单号全局唯一、金额不能为负、租户数据不能串用 | 订单号全局唯一、金额不能为负、租户数据不能串用， |
1.1 核心对象之间怎样衔接
flowchart LR
S1["表设计先表达业务不变量"] --> S2
S2["数据类型决定语义和成本"] --> S3
S3["规范化与冗余的边界"] --> S4
S4["迁移步骤与失败边界"] --> S5
S5["设计前先写清实体身份、生命周期、必填字段、唯一性和关联关系"]
这张图只表达本文的讲解顺序，不替代正文机制。判断“表设计、数据类型与约束”是否真正掌握，需要能从最后一个结果沿图回到前面每个章节的输入、状态变化和证据。
1.2 再看失败：问题最早会出现在哪一步？
在“表设计、数据类型与约束”的对象和顺序已经明确后，再看可观察的失败：计划退化、死锁、热点击穿、消息重复丢失或恢复后数据不一致。定位时不从最后一条错误猜原因，而是沿上图找第一个偏离正文结论的节点。
二、表设计先表达业务不变量
表不是 JSON 的持久化容器。
设计前先写清实体身份、生命周期、必填字段、唯一性和关联关系，再决定字段。
订单号全局唯一、金额不能为负、租户数据不能串用，
这些稳定规则应尽可能由 PRIMARY KEY、UNIQUE、NOT NULL、FOREIGN KEY 或 CHECK 表达；
应用校验用于提供友好错误，不能替代数据库最终防线。
主键优先选择稳定、无业务含义且不会修改的值。
自增 BIGINT 写入局部性好，但跨库生成需要号段或分布式 ID；
UUID 应评估随机写放大，可考虑有序 UUID。
不要用手机号、身份证号等可变且敏感的业务字段做主键。
三、数据类型决定语义和成本
金额使用 DECIMAL，不能用存在二进制舍入误差的 FLOAT；
时间点统一约定时区，区分“绝对时间”和“门店当地日期”；
枚举频繁变化时不要把发布流程绑死在数据库 ENUM 上。
VARCHAR 长度是业务边界，不应习惯性全部设成 255；
大文本单独评估访问频率，避免热点查询读取无用列。
CREATE TABLE orders (
id BIGINT UNSIGNED NOT NULL AUTO_INCREMENT,
tenant_id BIGINT UNSIGNED NOT NULL,
order_no VARCHAR(32) NOT NULL,
customer_id BIGINT UNSIGNED NOT NULL,
amount DECIMAL(18, 2) NOT NULL,
status VARCHAR(20) NOT NULL,
version INT UNSIGNED NOT NULL DEFAULT 0,
created_at DATETIME(3) NOT NULL,
updated_at DATETIME(3) NOT NULL,
PRIMARY KEY (id),
UNIQUE KEY uk_tenant_order_no (tenant_id, order_no),
CONSTRAINT chk_amount_nonnegative CHECK (amount >= 0)
) ENGINE=InnoDB DEFAULT CHARSET=utf8mb4;
唯一键必须包含租户维度，否则不同租户可能互相占用业务编号。
字符集统一使用 utf8mb4，
排序规则则按是否区分大小写、口音和语言排序选择，
不能等到唯一键出现大小写冲突后再处理。
四、规范化与冗余的边界
第三范式减少重复和更新异常，但读性能不能靠无限 Join。 先保持事实单一来源，再基于真实慢查询做受控冗余。 冗余字段必须明确所有者、更新事务和修复方式， 例如订单快照保存下单时商品名是业务事实， 不应随商品表变化； 而“当前商品名”则应查询商品服务。
外键适合同库、生命周期清晰且写入规模可控的关系。
微服务跨库不能使用外键，应通过接口契约、Outbox 事件和对账任务维护最终一致性。
软删除会影响唯一键、查询条件和容量，
必须统一 deleted_at 语义，
并决定唯一值删除后是否允许复用。
五、迁移步骤与失败边界
新增非空字段不能直接假设历史数据已有值。 安全步骤通常是：先增加可空字段， 分批回填并监控复制延迟， 让新旧代码双读或兼容读取， 验证完成后再加非空约束。 删除字段则反向进行：先停止写、再停止读，观察一个完整业务周期，最后执行 DDL。
大表 DDL 可能持有元数据锁； 长事务会阻塞变更，即使使用 Online DDL 也要确认算法、锁级别和磁盘余量。 失败时应能停止回填、回滚应用版本和恢复旧读路径，而不是只有一条不可逆 SQL。
验收清单
- 用正常、边界和重复数据验证所有约束都由数据库拒绝非法状态。
- 检查金额精度、时区、字符集和排序规则与业务契约一致。
- Schema 迁移在接近生产规模的数据副本上验证锁等待、耗时和磁盘增长。
- 为软删除、审计字段和数据保留期限建立统一规范。
六、动手验证：先跑通 表设计、数据类型与约束，再改变一个变量
前面的章节已经建立问题、概念和机制。现在把“表设计、数据类型与约束”放进同一套基线中运行；本节不再引入新术语，只验证前文结论能否被复现。
6.1 基线与候选只允许一个变量不同
验证“表设计、数据类型与约束”时，先固定数据快照、并发条件、客户端配置、拓扑和故障注入点。候选方案只能改变本次要验证的变量；如果同时更换数据、依赖和配置，即使结果改善，也不能知道是哪一项产生作用。
执行“表设计、数据类型与约束”时，动作是：执行正常读写与故障场景，记录查询计划、锁、复制或消费状态。原始结果不能只保留截图或汇总分数，必须同步保存：执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验，使下一次复查可以在同一输入上重放。
| 实验要素 | 本文要求 |
|---|---|
| 固定条件 | 固定数据快照、并发条件、客户端配置、拓扑和故障注入点 |
| 唯一变量 | 本次候选方案与基线之间的一项明确差异 |
| 原始证据 | 执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验 |
| 通过阈值 | 一致性与性能满足正文约束，故障恢复后没有丢失或重复副作用 |
| 立即停止 | 计划退化、死锁、热点击穿、消息重复丢失或恢复后数据不一致 |
6.2 执行前先排除不可比较条件
“表设计、数据类型与约束”开始前先确认下面四项；任一项不成立，都应先修复实验条件，而不是解释结果。
- 基线能够在“表设计、数据类型与约束”的当前环境重复运行。
- 候选只改变一个与“表设计、数据类型与约束”结论直接相关的条件。
- “表设计、数据类型与约束”的基线和候选使用同一批输入、同一版本依赖与同一通过阈值。
- “表设计、数据类型与约束”的原始输出和失败现场不会被重试、格式化或汇总覆盖。
6.3 执行后先核对证据完整性
结果出来后先检查证据，再讨论“表设计、数据类型与约束”是否通过。缺少中间状态时，最终输出只能说明现象，不能证明机制。
| 检查项 | 当前文章的判定 |
|---|---|
| 输入可追溯 | 固定数据快照、并发条件、客户端配置、拓扑和故障注入点 |
| 过程可回放 | 执行正常读写与故障场景，记录查询计划、锁、复制或消费状态 |
| 结果可审计 | 执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验 |
“表设计、数据类型与约束”的一次合格基线对照按以下顺序执行：
- 保存“表设计、数据类型与约束”基线版本及输入摘要，确认基线本身可以重复运行。
- 写下“表设计、数据类型与约束”候选方案唯一变化的变量，以及它预期影响的指标。
- 在同一环境执行“表设计、数据类型与约束”：执行正常读写与故障场景，记录查询计划、锁、复制或消费状态。
- 为“表设计、数据类型与约束”保存：执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验。
- 使用“表设计、数据类型与约束”预登记条件判断：一致性与性能满足正文约束，故障恢复后没有丢失或重复副作用。
- 如果“表设计、数据类型与约束”未通过，不修改第二个变量，先恢复基线并保留失败现场。
七、用一张矩阵验证 表设计、数据类型与约束 的关键结论
矩阵按正文顺序列出“表设计、数据类型与约束”的结论。一次实验只选择一行，只改变这一行对应的条件；不要把多行合并成一个无法归因的大实验。
| 正文章节 | 已解释的结论 | 本轮唯一变量 | 必须保存的证据 |
|---|---|---|---|
| 表设计先表达业务不变量 | 表不是 JSON 的持久化容器。 | 只改变与“表设计先表达业务不变量”相关的条件 | 执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验 |
| 数据类型决定语义和成本 | 金额使用 DECIMAL，不能用存在二进制舍入误差的 FLOAT； | 只改变与“数据类型决定语义和成本”相关的条件 | 执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验 |
| 规范化与冗余的边界 | 第三范式减少重复和更新异常，但读性能不能靠无限 Join。 | 只改变与“规范化与冗余的边界”相关的条件 | 执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验 |
| 迁移步骤与失败边界 | 新增非空字段不能直接假设历史数据已有值。 | 只改变与“迁移步骤与失败边界”相关的条件 | 执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验 |
| 设计前先写清实体身份、生命周期、必填字段、唯一性和关联关系 | 设计前先写清实体身份、生命周期、必填字段、唯一性和关联关系，再决定字段。 | 只改变与“设计前先写清实体身份、生命周期、必填字段、唯一性和关联关系”相关的条件 | 执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验 |
| 订单号全局唯一、金额不能为负、租户数据不能串用 | 订单号全局唯一、金额不能为负、租户数据不能串用， | 只改变与“订单号全局唯一、金额不能为负、租户数据不能串用”相关的条件 | 执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验 |
7.1 记录本次实际实验
下面的记录用于“表设计、数据类型与约束”当前这一次实验，不是第二套知识目录。先从矩阵选择一个章节，再填写实际值；没有填写的字段表示尚未验证。
topic: "表设计、数据类型与约束"
selected_chapter: required
claim_from_article: required
baseline_version: required
changed_condition: exactly_one
execution: "执行正常读写与故障场景，记录查询计划、锁、复制或消费状态"
evidence: "执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验"
pass_when: "一致性与性能满足正文约束，故障恢复后没有丢失或重复副作用"
stop_when: "计划退化、死锁、热点击穿、消息重复丢失或恢复后数据不一致"
observed_result: required
first_deviation: null_or_evidence
recovery_replay: required_after_failure
7.2 边界实验必须证明能够停止和恢复
成功路径只能证明“表设计、数据类型与约束”在当前样本上工作，不能证明它可以进入生产。边界实验需要主动制造：计划退化、死锁、热点击穿、消息重复丢失或恢复后数据不一致，并观察系统是否在产生不可逆副作用前停止。
| 场景 | 只改变什么 | 应保存什么 | 通过标准 |
|---|---|---|---|
| 正常路径 | 使用已知有效输入 | 执行计划、慢日志、锁等待、Offset、复制延迟、指标和数据校验 | 一致性与性能满足正文约束，故障恢复后没有丢失或重复副作用 |
| 边界路径 | 把一个输入推进到约束临界值 | 临界值前后的输出与指标 | 不静默降级，不把部分结果冒充成功 |
| 明确失败 | 注入：计划退化、死锁、热点击穿、消息重复丢失或恢复后数据不一致 | 原始错误、首个异常阶段和最终状态 | 失败被正确分类且没有扩大副作用 |
| 恢复重放 | 执行：从数据入口、存储状态、复制消费链路和恢复步骤定位根因 | 原失败样本的复测证据 | 原样本恢复，正常样本没有回归 |
恢复动作不是简单重启。对于“表设计、数据类型与约束”，第一步是：从数据入口、存储状态、复制消费链路和恢复步骤定位根因。完成后使用原始失败样本复测；只验证一个新样本成功，不能证明触发条件已经消失。
“表设计、数据类型与约束”边界实验结束后，应把正常、临界、失败和恢复四类记录放在同一个运行批次中。这样才能区分“候选方案真的修复问题”和“环境变化让问题暂时没有出现”。
八、表设计、数据类型与约束 的结果解释
解释“表设计、数据类型与约束”实验时先看首个偏差，而不是最后一条错误。最后的异常通常只是上游状态错误的结果；从末端反推容易误把症状当根因。
| 观察结果 | 可以支持的判断 | 下一步 |
|---|---|---|
| 主链路没有达到预期 | 计划退化、死锁、热点击穿、消息重复丢失或恢复后数据不一致 | 先执行：从数据入口、存储状态、复制消费链路和恢复步骤定位根因 |
| 异常链路无法恢复 | 计划退化、死锁、热点击穿、消息重复丢失或恢复后数据不一致 | 先执行：从数据入口、存储状态、复制消费链路和恢复步骤定位根因 |
| 新样本成功但原样本仍失败 | 修复没有覆盖原始触发条件 | 固定原失败输入，恢复基线后重新比较 |
| 指标改善但证据无法回链 | 数据、版本或中间状态没有固定 | 暂停发布，补齐可追溯记录后重跑 |
“表设计、数据类型与约束”只有同时满足“一致性与性能满足正文约束，故障恢复后没有丢失或重复副作用”，并且没有出现“计划退化、死锁、热点击穿、消息重复丢失或恢复后数据不一致”，才可以认为主链路通过。这里的“通过”只对当前固定版本、样本和环境有效，不能外推到尚未测试的容量、权限或数据分布。
如果“表设计、数据类型与约束”候选方案与基线差异很小，先检查证据分辨率是否足够；如果差异很大，先排除数据泄漏、环境漂移和版本不一致。两种情况都不能只看一个汇总均值，需要回到逐样本输出和中间状态。
“表设计、数据类型与约束”故障定位完成后，记录“现象、首个偏差、根因、改动、原样本复测”五项。缺少原样本复测时，只能标记为待观察，不能标记为已解决。
九、表设计、数据类型与约束 的发布判断
发布判断需要把“表设计、数据类型与约束”的质量、失败边界和恢复能力放在同一份记录中。以下任一条件缺失，都应停止扩量，而不是用“基本正常”替代证据。
- “表设计、数据类型与约束”的基线与候选只存在一个计划内变量。
- “表设计、数据类型与约束”的输入、代码、依赖、配置和数据版本可以追溯。
- “表设计、数据类型与约束”的正常、临界、失败和恢复样本使用同一套断言。
- “表设计、数据类型与约束”的原始输出、中间状态和失败现场已经保留。
- “表设计、数据类型与约束”的日志、Trace、截图和测试数据已经脱敏。
- “表设计、数据类型与约束”的停止条件、负责人和回滚入口已经演练。
- “表设计、数据类型与约束”尚未覆盖的输入、权限、容量和外部依赖已经登记。
最终记录至少包含基线版本、唯一变量、原始证据、首个偏差、恢复复测和发布责任人。没有参与本次修改的人如果不能据此重放“表设计、数据类型与约束”的判断，就不能发布。
十、总结
- 表设计先表达业务不变量：表不是 JSON 的持久化容器。
- 数据类型决定语义和成本：金额使用 DECIMAL，不能用存在二进制舍入误差的 FLOAT；
- 规范化与冗余的边界：第三范式减少重复和更新异常，但读性能不能靠无限 Join。
- 迁移步骤与失败边界：新增非空字段不能直接假设历史数据已有值。
学完自测
选择所有正确答案；提交后逐项核对判断依据。