数据库设计与关系理论

图书标准信息

• 作者 [英]戴特 著；卢涛 译
• 出版社 机械工业出版社
• 出版时间 2013-08
• 版次 1
• ISBN 9787111432920
• 定价 69.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 274页
• 丛书 O'Reilly精品图书系列

【内容简介】

　　《数据库设计与关系理论》内容包括：第一部分设置环境；第二部分函数依赖、BOYCE/CODD范式及相关事宜；第三部分连接依赖、第五范式及其他相关事项；第四部分正交；第五部分冗余。

【目录】

前言
第一部分设置环境
第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.6Boyce/Codd范式
习题
第5章函数依赖和BCNF（正式的）
5.1初步定义
5.2函数依赖
5.3Boyce/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.5FD不是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习题答案