关系模式理论

9.1关系模式设计的问题

1.数据冗余问题

2.数据更新问题

3.数据插入问题

4.数据删除问题

9.2函数依赖

1、定义：

 2、术语与符号

 

 3、函数依赖的推理规则

1）自反律

2）增广律

3）传递律

4）合并规则

5）分解规则

6）伪传递规则

7）复合规则