函数依赖集F有内部冲突的判定问题研究

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