系统架构师备考倒计时31天（每日知识点）

一、Amstrong公理

• 对关系模式R来说有以下的推理规则:

1. 自反律(Reflexivity)：若Y∈X∈U，则X→Y成立。
2. 增广律(Augmentation)：若Z∈U且X→Y，则XZ→YZ成立。
3. 传递律(Transitivity)：若X→Y且Y→Z，则X→Z成立。

• 根据A1，A2，A3这三条推理规则可以得到下面三条推理规则:

4. 合并规则：由X→Y，X→Z，有X→YZ。(A2，A3)
5. 伪传递规则：由X→Y，WY→Z，有XW→Z。(A2， A3)
6. 分解规则：由X→Y及Z∈Y，有X→Z。(A1，A3)

二、范式的关系

• 第一范式(1NF)：在关系模式R中，当且仅当所有域只包含原子值，即每个属性都是不可再分的数据项，则称关系模式R是第一范式。
• 第二范式(2NF)：消除非主属性对码的部分函数依赖：当且仅当实体E是第一范式(1NF)，且每一个非主属性完全依赖主键(没有不完全依赖)时，则称实体E是第二范式。
• 第三范式(3NF)：消除非主属性对码的传递函数依赖：当且仅当实体E是第二范式(2NF)，且E中没有非主属性传递依赖于码时，则称实体E是第三范式。
• BC范式(BCNF)：设R是一个关系模式，F是它的依赖集，R属于BCNF当且仅当其F中每个依赖的决定因素必定包含R的某个候选码。
  (可以理解为在3NF基础上，消除主属性之间的传递 函数依赖和部分函数依赖)。