最小函数依赖集F'的最优算法

The Optimum Alogrithm of the Minimum Functional Dependency Set F'

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

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.