综合例题-求最小函数依赖集、确定候选键、判断最高满足的范式、模式分解

一、综合例题： 

 

 

 

 

二、分析：

1、在函数依赖的范畴内，要掌握Armstrong公理的推理规则

2、利用推理规则计算属性集闭包和函数依赖集闭包

3、从而寻找与给定的函数依赖集等价的最小函数依赖集

4、在最小函数依赖集的基础上，确定候选键、判断范式级别

5、并利用分解算法来实现关系模式的规范化

6、从而消除不好的关系模式存在的数据冗余、更新异常和数据不一致问题

三、总结

1、规范化理论为数据库设计提供了理论的指南和工具

2、数据库设计是极其复杂的工作，数据库设计人员应熟悉规范化理论，但实际的数据库设计工作，并不一定运用这一过程实现