Using the definition of functional dependency set and Armstrong axiom, it is given the optimum alogrithm of the minimum functional dependency set from attribute set closure in this paper.

• 在数据库设计中；依据函数依赖集的定义及Armstrong公理；求出的是一个可能存在冗余的函数依赖集.；为了判断一个函数依赖是否为某一函数依赖集逻辑蕴含；只要用求属性闭包的方法求出函数依赖中决定子的属性闭包；判断依赖于是否包含在属性闭包中即可