第九章——关系规范化理论

1.关系模型设计的问题

1) 数据冗余问题

2) 数据更新问题

3) 数据插入问题

4) 数据删除问题

2.函数依赖

1) 基本概念

x—>y x决定y 或者 y依赖于x.

2) 一些术语和符号

1)x—>y 但y不包含于x 则称x—>y是非平凡的函数依赖。

2) 如果y不依赖于x 则记作x—/>y

3) 如果x—>y 则称x为决定因子

4) 如果 x—>y 并且 y—>x 则记作x<—>y

5) 如果 x—>y 并且对于x的一个任意的真子集都有x’—/>y 则称y完全函数依赖于x 否则称为部分函数依赖于x

6) 如果x—>y（非平凡函数依赖，并且y—>/）、y—>z 则称z传递函数依赖于x。

3.函数依赖的推理规则

1) Armstrong公理

1.自反律

2.推广律

3.传递律

2)Armstrong公理推论

1.合并规则

2.分解规则

3.伪传递规则

4.复合规则