第3章 关系代数与关系数据库理论

关系数据模型的数据操作是以关系代数和关系演算为理论基础的。了解关系模型的数学基础，对于理解关系模型、设计数据模式和实现应用很有帮助。

对于关系型数据库来说，设计任务就是构造哪些关系模式，每个关系模式包含哪些属性。这是数据库逻辑结构设计问题。在模式设计时，如何判断所设计的关系模式是“好”还是“不好”呢？如果“不好”，如何进行修改？因此，数据库设计需要理论指导。

本章主要讨论关系数据库规范化理论，讨论如何判断一个关系模式是否为“好”的模式，如果不是，如何将其转换成“好”的关系模式，并能保证所得到的关系模式仍能表达原来的语义。规范化理论虽然是以关系模型为背景，但是它对于一般的数据库逻辑结构设计同样具有理论上的意义。

本章主要介绍关系数据库规范化理论。首先由关系数据库逻辑设计可能出现的问题引入关系模式规范化的必要性，接着描述函数依赖的概念与关系模式的无损分解的方法，最后介绍关系模式的范式。