关系数据库二三范式判别算法

摘要

第二范式(2NF)和第三范式(3NF)在关系数据库规范化中起着重要作用.然而,所有的文献都没有给出第二、三范式的判别算法,当关系模式属性较多或数据依赖较复杂时,很难通过手算做出正确的判断.本文首先给出判别给定属性集是否键码的算法以及求给定关系模式的所有键码和所有非主属性的算法,然后在简单刻划函数依赖特征的基础上提出2NF和3NF的判别算法.这些算法与现有文献上的各种算法一起便于在计算机上编程实现,从而使关系规范化理论变成应用软件.