数据筑基

数据筑基殿的门楣上刻着一行字："数据不灭，并发不乱。"门内悬浮着五道剪影——银行、电商、航班、社交、物流——在灰雾中半透明地晃动。诺依曼老祖背着手站在一旁。

诺依曼老祖

「这是数据库。它管三件事：数据不丢、并发不乱、状态一致。你猜，这五样东西里，哪一样其实不需要它？」

不一致之雾

「这五样东西，哪一样其实不需要数据库？猜错一笔，我记一笔。账记满了，到 S9 一起算。」

推开殿门，迎面是一排排悬浮的表——行是元组，列是属性，表与表之间有看不见的连线。诺依曼老祖递给你三枚符印：σ、π、⋈。

诺依曼老祖

「关系代数是过程性的——你要亲手排出运算顺序。σ选行、π选列、⋈连表。把'CS系学生选了哪些课'排出来。」

不一致之雾

「写个 SELECT 不就完了？干嘛要排运算顺序——多此一举。」

关系殿深处是一座炼炉，三个炉口分别刻着 DDL、DML、DCL。墙上贴着九张咒文符纸——CREATE、SELECT、GRANT……散乱一片。

诺依曼老祖

「SQL 是声明式的——你写'要什么'，不写'怎么拿'。但这九张咒文分三类，投错炉口就炼废。投完再看一句 SELECT 怎么分层。」

设计阁中央摆着一张大表——学号、姓名、课程、学分、院系、院系电话，全塞在一张表里。表身上布满裂纹，像随时会碎。诺依曼老祖皱眉。

诺依曼老祖

「这张表违反了范式。点那三个按钮，看看会发生什么——插入、删除、修改，每个都会让数据自相矛盾。」

不一致之雾

「一张表多省事，干嘛拆？来，我帮你改几笔——保证越改越乱。」

索引塔是一座高塔，塔身是层层叠叠的节点。诺依曼老祖指着塔顶和塔基。

诺依曼老祖

「B+树：内部节点只路由，数据全在叶子层，叶子用链表串起——范围查询友好。哈希：等值查询 O(1)，但不支持范围。查询形状决定用哪个。」

执行计划镜是一面巨大的镜子，同一句 SQL 在镜中映出三个不同的影子——顺序扫描、索引扫描、哈希连接，每个影子上都标着代价。

诺依曼老祖

「优化器基于代价（CBO）选计划。代价 = IO + CPU。但代价靠统计信息估算——统计信息一陈旧，选错计划。」

不一致之雾

「统计信息？那玩意儿反正会自动更新——不用管。」

事务之环是四个悬浮的圆环——A、C、I、D——上面刻着誓言。诺依曼老祖让你依次触碰。

诺依曼老祖

「A 靠 undo、C 靠约束、I 靠锁/MVCC、D 靠 redo。四承诺各有代价——没有一个免费的。测完再看并发双事务。」

不一致之雾

「隔离级别？直接拉满 Serializable 不就完了——最安全嘛。」

锁阵是一片密密麻麻的锁具网格，两个事务 T1、T2 各持一盏灯。诺依曼老祖刚说完"2PL保证可串行化"，T1 锁了 A，T2 锁了 B——然后它们互相对望，谁也不让谁。

诺依曼老祖

「两阶段。先都加锁，再都放锁——2PL。但你看，T1 等 B，T2 等 A，等待图成环了。」

不一致之雾

「死锁。你亲手造的。加锁即安全？呵——安全从来不是免费的。」

S7 留下的青色碎片还悬在半空——本命事务之伤未愈。灾厄日志殿里卷起一轴金色日志卷轴，上面刻满 LSN 序号。诺依曼老祖指着卷轴。

诺依曼老祖

「WAL——先写日志，再改数据。日志在，就能重来。先组装 WAL 顺序，再走 ARIES 三阶段，把你的事务之伤补回来。」

不一致之雾

「崩溃了重做 winner 不就行？干嘛要重复全部历史——多此一举。」

日志殿灯火齐灭。灰雾从四面八方压过来，凝成一张巨大的、没有五官的脸——由无数行不一致的数据构成，同一个余额有三个不同的值。

不一致之雾

「我是不一致之雾。你在每一处都欠了我的账——现在，一笔笔还。三问。答错一题，雾就深一分。第三问，用排除法——你走过的每一条死路，都会浮出来。」

雾散尽时数据筑基殿灯火重明。殿后推开一扇窗，窗外是另一片天地——NoSQL 的异界，规则全然不同。诺依曼老祖站在窗边。

诺依曼老祖

「关系数据库不是唯一答案。NoSQL 舍关系完整性换伸缩，LSM-tree 舍读性能换写吞吐，列存舍行事务换分析 IO，向量索引舍精确换语义相似。每种存储都是一次权衡——和你刚走过的 ACID 权衡，本质一样。」