李志洁，王存睿

(大连民族学院计算机科学与工程学院，辽宁大连 116605)

关系数据库中的范式定义问题研究

李志洁，王存睿

(大连民族学院计算机科学与工程学院，辽宁大连 116605)

对关系数据库的规范化理论和四种范式做了简要介绍，并对范式定义和函数依赖关系进行了探讨。针对第二范式和码的定义中存在的不严密性以及重复问题，提出了解决方案，进一步界定范式概念中函数依赖关系的范围。

数据库;关系;函数依赖;范式

关系数据库的规范化理论［1］最初是由E.F.Codd在1971年提出的。规范化理论可以降低数据库中的冗余，消除异常，因此成为关系数据库设计的重点和难点。在设计数据库之前，需要对数据进行规范化处理以确保数据库遵从适当的范式。范式是指符合某一种级别的关系模式的集合。规范化理论要求关系数据库中的关系必须满足一定的要求，即满足不同的范式。按照属性间的不同依赖程度，范式可以分为第一范式(1NF)、第二范式(2NF)、第三范式(3NF)、Boyce－Codd范式(BCNF)，后来又有人提出了第四范式、第五范式［2－4］。本文针对规范化理论中范式的概念不严谨以及建立在集合论上的范式定义与关系主码的定义相矛盾等问题进行展开分析，并提出了修正的范式定义。

1 规范化理论相关概念

各种范式其实就是一些确定关系模式的规则，而且这些规则是按层次递进分等级的，每一级都是在下一级的基础上制定的更严格的规则，即满足最低要求的范式是第一范式(1NF)，在第一范式的基础上进一步满足更多要求的是第二范式(2NF)，以此类推。……