F有弱冲突时产生满足PBC且无α环分解的问题

摘要

无环分解是数据库数据组织的一个重要环节,在实际数据库设计中具有重要意义.为了深入研究它,该文分析了在FD集F的最小归并依赖集D存在弱左部或弱右部冲突时所具有的性质和特征.在此基础上讨论了它的模式分解问题,给出了在D有弱冲突时满足无损连接、保FD、BCNF的分解是有α环的结论,为进一步研究无α环的分解奠定了基础.