一、Amstrong公理
- 对关系模式R<U,F>来说有以下的推理规则:
- 自反律(Reflexivity):若Y∈X∈U,则X→Y成立。
- 增广律(Augmentation):若Z∈U且X→Y,则XZ→YZ成立。
- 传递律(Transitivity):若X→Y且Y→Z,则X→Z成立。
- 根据A1,A2,A3这三条推理规则可以得到下面三条推理规则:
- 合并规则:由X→Y,X→Z,有X→YZ。(A2,A3)
- 伪传递规则:由X→Y,WY→Z,有XW→Z。(A2, A3)
- 分解规则:由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基础上,消除主属性之间的传递 函数依赖和部分函数依赖)。