基于闭包的3NF模式综合算法

AN ALGORITHM TO SYNTHESIZE THIRD NORMAL FORM FROM FUNCTIONAL DEPENDENCIES BASED ON THE CLOSURE

文中基于属性集关于函数依赖集的闭包，并采用模式矩阵，给出了一个从函数依赖集综合出３ＮＦ模式的算法．该算法不用Ａｒｍｓｔｒｏｎｇ公理进行烦琐的推导，与Ｂｅｒｎｓｔｅｉｎ算法相比。

Here given is an algorithm to synthesize 3NF from functional dependencies based on the closure of a set of attributes under a certain set of FDs.The schema matrix is adopted to describe FDs.The implementation of this algorithm is simpler than that presented by Bernstein.