BC范式的判定定理及关系的规范化方法

Judgement Theorem about Boyce-Codd Normal Form and Methods of Relation Normalization

在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了探讨 .首先证明了关于BC范式两个定义的等价性 ,然后提出关于BC范式的一个实用的判定定理并加以证明 ,最后系统地提出一整套实用的关系规范化的具体方法和步骤 .这些研究有助于关系规范化理论的进一步完善及其学习和运用 .

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