步骤10：用规范化方法检查数据模型

用规范化方法检查每个实体，从实体中去除不需要的属性或集合，以避免不必要的数据冗余和数据操控语言( DML)异常。

范式理论建立在函数依赖和多值依赖基础上，要具有良好的数学基础。对于每一实体（或关系——用主键代表实体得到关系间的函数依赖），可以先依据属性间的语义关系获得一个初始函数依赖集，然后利用规范化函数依赖理论中“函数依赖集最小覆盖算法”对函数依赖集进行极小化处理，去除冗余数据。

利用此方法可以使逻辑模型获得较好的结构，但是这是非常烦琐且费时的工作，因为对每一实体都需要重复这样的过程，并且该方法依赖于初始函数依赖集，而该依赖集是由设计者根据业务、属性语义确定的，没有方法确定这样的一个依赖集是否完全、合理。

基于这些原因，上述方法在实际操作中往往不被设计者采用。在此建议使用人工分析的方法，不再利用“函数依赖集最小覆盖算法”来去除冗余。具体方法介绍如下：

对每一实体，考察其属性之间的语义关系，建立该实体的函数依赖集，然后根据各范式定义，通过人工观察与分析，依次去除冗余，使之满足各种范式要求。一般模型要求达到第三范式。

对于关系，用主键代表实体，建立关系的函数依赖集，然后根据范式定义，通过人工观察与分析，依次去除冗余关系。