数据库设计与关系理论

前言
第一部分 设置环境
第1章 篇首语
1.1 从文献摘录的一些引用
1.2 关于术语的说明
1.3 正在运行的示例
1.4 键
1.5 设计理论的地位
1.6 本书的目的
1.7 结束语
习题
第2章 预备知识
2.1 概览
2.2 关系及关系变量
2.3 谓词和命题
2.4 更多的供应商和零件
习题

第二部分 函数依赖、BOYCE/CODD范式及相关事宜
第3章 规范化：一些通则
3.1 规范化用于两个目的
3.2 更新异常
3.3 范式层次结构
3.4 规范化和约束
3.5 结束语
习题
第4章 函数依赖和BCNF（非正式的）
4.1 第一范式
4.2 函数依赖
4.3 键的重新审视
4.4 第二范式
4.5 第三范式
4.6 Boyce/Codd范式
习题
第5章 函数依赖和BCNF（正式的）
5.1 初步定义
5.2 函数依赖
5.3 Boyce/Codd范式
5.4 希思定理
习题
第6章 保持函数依赖
6.1 遗憾的冲突
6.2 第二个例子
6.3 第三个例子
6.4 第四个例子
6.5 一个能够工作的过程
6.6 恒等分解
6.7 关于冲突的更多内容
6.8 独立投影
习题
第7章 FD公理化
7.1 阿姆斯特朗公理
7.2 附加规则
7.3 证明附加规则
7.4 另一种闭包
习题
第8章 反规范化
8.1“反规范化是为了性能”吗
8.2 反规范化是什么意思
8.3 什么不是反规范化（I）
8.4 什么不是反规范化（II）
8.5 反规范化是有害的（I）
8.6 反规范化是有害的（II）
8.7 结束语
习题

第三部分 连接依赖、第五范式及其他相关事项
第9章 连接依赖及5NF（非正式的）
9.1 连接依赖的基本思路
9.2 一个属于BCNF但不属于5NF的关系变量
9.3 循环规则
9.4 结束语
习题
第10章 连接依赖及5NF（正式的）
10.1 连接依赖
10.2 第五范式
10.3 被键蕴含的JD
10.4 一个有用的定理
10.5 FD不是JD
10.6 更新异常再探
习题
第11章 隐式依赖关系
11.1 无关的分量
11.2 结合分量
11.3 不可约的JD
11.4 小结
11.5 追逐算法
11.6 结束语
习题
第12章 多值依赖和4NF
12.1 一个介绍性的例子
12.2 多值依赖（非正式的）
12.3 多值依赖（正式的）
12.4 第四范式
12.5 公理化
12.6 嵌入式依赖
习题
第13章 额外的范式
13.1 相等依赖
13.2 第六范式
13.3 超键范式
13.4 无冗余范式
13.5 域－键范式
13.6 结束语
习题

第四部分 正交
第14章 正交设计原则
14.1 规范化的两个欢呼声
14.2 一个启发性的例子
14.3 一个更简单的例子
14.4 元组与命题
14.5 第一个例子再探
14.6 第二个例子再探
14.7 最终版本
14.8 澄清
14.9 结束语
习题

第五部分 冗余
第15章 我们需要更多的科学
15.1 一点历史
15.2 数据库设计是谓词设计
15.3 例1
15.4 例2
15.5 例3
15.6 例4
15.7 例5
15.8 例6
15.9 例7
15.10 例8
15.11 例9
15.12 例10
15.13 例11
15.14 例12
15.15 管理冗余
15.16 改善定义
15.17 结束语
习题

第六部分 附录
附录A 主键是良好的，但不是必需的
附录B 冗余回顾
附录C 重要论文回顾
附录D 习题答案