步骤10:用规范化方法检查数据模型
用规范化方法检查每个实体,从实体中去除不需要的属性或集合,以避免不必要的数据冗余和数据操控语言( DML)异常。
范式理论建立在函数依赖和多值依赖基础上,要具有良好的数学基础。对于每一实体(或关系——用主键代表实体得到关系间的函数依赖),可以先依据属性间的语义关系获得一个初始函数依赖集,然后利用规范化函数依赖理论中“函数依赖集最小覆盖算法”对函数依赖集进行极小化处理,去除冗余数据。
利用此方法可以使逻辑模型获得较好的结构,但是这是非常烦琐且费时的工作,因为对每一实体都需要重复这样的过程,并且该方法依赖于初始函数依赖集,而该依赖集是由设计者根据业务、属性语义确定的,没有方法确定这样的一个依赖集是否完全、合理。
基于这些原因,上述方法在实际操作中往往不被设计者采用。在此建议使用人工分析的方法,不再利用“函数依赖集最小覆盖算法”来去除冗余。具体方法介绍如下:
对每一实体,考察其属性之间的语义关系,建立该实体的函数依赖集,然后根据各范式定义,通过人工观察与分析,依次去除冗余,使之满足各种范式要求。一般模型要求达到第三范式。
对于关系,用主键代表实体,建立关系的函数依赖集,然后根据范式定义,通过人工观察与分析,依次去除冗余关系。