【数据库系统原理 6】关系数据理论

数据依赖

完整性约束的表现形式：

• 限定属性取值范围
• 数据依赖：一个关系内部属性之间的一种约束关系（通过属性值的相等与否体现数据间的相互联系）

数据依赖的类型：

• 函数依赖(Function dependency, FD):
  • 定义：设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r 中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称“X函数确定Y ”或“Y函数依赖于X ”，记作X→Y。
  • 说明：
    • 函数依赖是指R的所有关系实例均要满足的约束条件。
    • 函数依赖是语义范畴的概念。
  • 平凡函数依赖 vs 非平凡函数依赖
    • X →Y，但Y ⊈X，则称X →Y 是非平凡的函数依赖
    • X →Y，但Y ⊆X ，则称X →Y 是平凡的函数依赖
  • 完全函数依赖 vs 部分函数依赖
    • 在R(U)中，如果X →Y，并且对于X 的任何一个真子集X’, 都有 X’ ↛ Y, 则称Y 对X 完全函数依赖，记作X →┴FY
    • 若X →Y，但Y 不完全函数依赖于X，则称Y 对X 部分函数依赖，记作 X →┴PY
  • 传递函数依赖
    • 在R(U)中，如果X→Y (Y ⊈X)，Y ↛ X，Y →Z，Z ⊈Y, 则称Z 对X 传递函数依赖，记作 X →┴传递 Z
    • 注：如果Y →X, 即X ↔ Y，则Z 直接依赖于X，而不是传递函数依赖
  • 码：设K为R<U,F>中的属性或属性组合。若K →┴F U，则K称为R的一个候选码(Candidate Key)。
• 多值依赖(Multi-valued dependency, MVD):

范式

范式是符合某一种级别的关系模式的集合。

关系数据库中的关系必须满足一定的要求。满足不同程度要求的为不同范式。

范式的种类及关系

• 1NF ⊃ 2NF ⊃ 3NF ⊃ BCNF ⊃ 4NF ⊃ 5NF
• 某一关系模式R为第n范式，可简记为R∈nNF

规范化： 一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式的集合的过程。

第一范式(1NF)	第二范式(2NF)	第三范式(3NF)	BC范式(BCNF)	第四范式(4NF)	第五范式(5NF)
概念：一个关系模式R的所有属性都是不可分的基本数据项。	概念：关系模式R∈1NF，并且每一个非主属性都完全函数依赖于任何一个候选码。	概念：R∈1NF，且不存在非主属性对码的传递函数依赖。	概念：设关系模式R∈1NF，若X →Y 且Y ⊈ X 时X 必含有码。
第一范式是对关系模式最基本的要求。			是修正的第三范式。
问题：①插入异常；②删除异常；③数据冗余度大；④修改复杂。			如果一个关系数据库中的所有关系模式都属于BCNF，那么在函数依赖范畴内，它已实现了模式的彻底分解，达到了最高的规范化程度，消除了插入异常和删除异常。

关系数据的规范化理论

主要要多做一些例题。熟悉各个范式的概念，明白候选码，码，主属性，非主属性分别代表什么，要会算闭包，选候选码，最小依赖集，会判断范式和分解关系模式。这一章应该是数据库设计里面的逻辑概念设计里的第二部分（1、E-R图的转换；2、数据模型的优化方法；3、设计用户子模式）