求正则覆盖&判断保持依赖

判断左部属性是否多余:  算法 已知alpha  -->  beta   F(函数依赖集合) A为alpha的一个子属性,若其多余,则   alpha-A  -->  beta    (在F上求闭包) alpha-A在F上求出来的闭包若是和alpha的闭包一致,则左部属性A多余。 判断右部属性是否多余:   已知alpha  -->  beta   F(函数依赖集合) A为beta的一个子属性,若
相关文章
相关标签/搜索