关系模型规范化的有关理论与应用

Theory and Application about Normalization of Relation Model

在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了研究 ,证明了关于Boyce- Codd( BC)范式两个定义的等价性 ,提出了关于 BC范式的一个实用的判定定理并加以证明 .提出了一整套实用关系规范化的具体方法 。

Within the category of function dependency, the theory and application of normalization of relation model were studied. At first, the equivalency of the two definitions about Boyce Codd normal form was proved. Then, a useful judgement theorem about Boyce Codd normal form was advanced and proved. At last, a set of practically specific methods of relation normalization were systematically put forward. These studies can give some help to the further perfection of the relation normalization theory and its applications.