第九章第一次课

9.1 关系模式设计的问题

9.1.1 数据冗余问题

9.1.2 数据更新问题

9.1.3 数据插入问题

9.1.4 数据删除问题

9.2 函数依赖

9.2.1基本概念

设关系R（U,F），U是属性集，F是函数依赖集，令X,Y是U的两个子集，对于任意R的一个关系r，X的每一个具体值，Y都有唯一值与之对应，则，X决定函数Y，或Y函数依赖于X，记作X—Y（X是自变量，Y是因变量，一个X只能得到一个Y）

9.2.2 一些术语和符号

9.2.3 函数依赖的推理规则

1.Armstrong 公理

（1）自反律（2）增广律（3）传递律

2.Armstrong公理推论

（1）合并规则（2）分解规则（3）伪传递规则（4）复合规则