关係规範化
规範化是为了解决资料库中数据的插入、删除、修改异常等问题的一组规则。
基本介绍
- 中文名:关係规範化
- 解决:资料库中数据的插入问题
- 属性:一组规则
- 具体步骤:考察关係模型的函式依赖关係
规範化理论是资料库逻辑设计的指南和工具,具体步骤如下:
(1)考察关係模型的函式依赖关係,确定範式等级。逐一分析各关係模式,考察是否存在部分函式依赖、传递函式依赖等,确定它们分别属于第几範式。
(2)对关係模式进行合併或分解。根据套用要求,考察这些关係模式是否合乎要求,从而确定是否要对这些模式进行合併或分解,例如,对于具有相同主码的关係模式一般可以合併;对于非BCNF的关係模式,要考察“异常弊病”是否在实际套用中产生影响,对于那些只是查询,不执行更新操作,则不必对模式进行规範化(分解),实际套用中并不是规範化程度越高越好,有时分解带来的消除更新异常的好处与经常查询需要频繁进行自然连线所带来的效率低相比会得不偿失。对于那些需要分解的关係模式,可以用规範化方法和理论进行模式分解。最后,对产生的各关係模式进行评价、调整,确定出较合适的一组关係模式。
关係规範化理论提供了判断关係逻辑模式优劣的理论标準,帮助预测模式可能出现的问题,是产生各种模式的算法工具,因此是设计人员的有力工具。