要判断函数依赖集F是否等价于G,只需逐一检查F中的每个函数依赖X→Y,并验证Y是否属于X的闭包G+。根据引理5.3,我们得到了判断两个函数依赖集是否等价的有效算法。