论文部分内容阅读
在讨论数据库模式R〈W,F〉的无α环分解时,需要判定FD集F是否有内部冲突;在讨论无β,γ环的分解时也需要判定是否有内部冲突.为此,应当首先给出归并依赖集的二元组集合、闭包等概念;分别给出求解二元组集合及其闭包的多项式算法.在此基础上,讨论FD集F有内部冲突时的特征和相关条件,给出相应的有内部冲突的判定定理和算法,对算法进行了证明和分析.