关系规范化理论

一、关系模式设计的问题。

1、数据冗余问题。

2、数据更新问题。

3、数据插入问题。

4、数据删除问题。

二·、函数依赖。

1、x→y。x函数决定y。y依赖于x。

2、术语与符号。

（1）x→y，但y不包含于x，则称为x→y是非平凡的函数依赖。若y包含于x，则称·x→y是平凡的函数依赖。

（2）x→y，x称为决定因子。

（3）x→y，并且y→x，则记作x双向箭头y。

（4）x→y，对于任意的x的真子集都有x‘→y则称y部分函数依赖x，反之则称y完全函数依赖x。

（5）x→y，y→z，则称z传递函数依赖于x。

3、Armstrong公理

（1）自反律。若y包含于x包含于属性全集（u）则x→y在R上成立。

（2）增广律。x→y在R上成立，且z包含于u则xz→yz在R上也成立。

（3）传递律。x→y在R上成立，y→x在R上成立，则x→z在R上成立。

4、Armstrong公理推论

（1）合并规则。x→y和x→z在R上成立，则x→yz在R上也成立。

（2）分解规则。x→y和z包含于y在R上成立，则x→z在R上也成立。

（3）伪传递规则。x→y和yw→z在R上成立，则xw→z在R上也成立。

（4）符合规则。x→y和w→z在R上成立，则xw→yz在R上也成立。