关系数据库理论

概述

规范化设计理论包括三部分：数据依赖、范式和模式设计方法。

• 数据依赖研究数据之间的联系，是核心。
• 范式是关系模式的标准。
• 模式设计是自动化的基础。

关系模式规范化

数据冗余是影响系统性能的重要问题。

• 冗余异常：信息被重复存储。
• 更新异常：重复信息的一个副本被修改，所有副本都要更改。
• 插入异常：只有当一些信息实现存入另外一些信息才能存入。
• 删除异常：删除某些信息可能丢失其他信息。

模式分解是解决冗余的主要办法

---

数据依赖

数据依赖分为函数依赖、多值依赖和连接依赖。

函数依赖

• 平凡依赖
• 非平凡依赖

关系模式的分解

无损连接和函数依赖是模式分解的两个基本原则。

关系模式的范式

• 第一范式
• 第二范式
• 第三范式
• 第四范式