无内部冲突满足P_3的无α环的数据库模式分解 (Ⅰ):分解的基本理论

文中在文献［１］、［２］、［３］讨论的基础上，讨论了数据库模式无内部冲突，但在最小归并依赖集Ｄ中存在弱右部或弱左部冲突时分解的性质和理论．为无内部冲突的满足Ｐ３的无α环的数据库模式分解算法设计提供了基础．

无内部冲突满足P_3的无α环的数据库模式分解 (Ⅱ):分解的算法及分析

文中在文献［１］、［２］、［３］、［４］讨论的基础上给出了数据库模式无内部冲突时，满足Ｐ３且为无α环的分解算法、正确性证明和分析．

FD无内部冲突时的Pek且无α环模式分解

通过分析FD集中F的最小归并依赖集特征,提出了初等归并依赖集和最小归并依赖集,定义了初等最小归并依赖集的弱左部冲突和弱右部冲突、Pek(保持FD集,无损连接且满足初等关键词范式)等概念。讨论了数据库模式分解为初等关键词范式的无α环判定问题,实验证明,在初等归并依赖集D有弱左部或弱右部冲突时,满足Pek的分解具有α环,该分解算法是有效的。

无内部冲突数据库模式满足P3及无β环判定问题研究

通过分析在FD集F的最小归并依赖集D无弱左部冲突、弱右部冲突时相邻归并依赖所具有的性质和特征,提出了左部集冲突、蕴含集间冲突和主归并依赖冲突等概念,在此基础上证明了在FD集F无内部冲突且最小归并依赖集D中存在弱左、右部冲突、左部集冲突、蕴含集间冲突和主归并依赖冲突时模式分解为满足P3为有β环的结论,并给出了左部集冲突、蕴含集间冲突和主归并依赖冲突的判定算法及分析,为进一步研究无β环的分解奠定了基础.

F有弱冲突时产生满足P_(BC)且无α环分解的问题

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

数据库模式在FD环境下满足P_s及无α环判定问题

通过分析在FD集F的最小归并依赖集D存在弱左部或弱右部冲突时所具有的性质和特征,提出了Ps(保持FD,无损连接且满足SNF)、条件T等概念。在此基础上讨论了数据库模式分解为SNF的无α环判定问题,给出了在D有弱左部或弱右部冲突及不满足条件T时满足Ps的分解是有α环的结论,为进一步研究无α环的分解奠定了基础。

FD环境下满足P_S及无α环模式分解问题研究

通过分析在FD集F的最小归并依赖集存在弱左部或弱右部冲突时所具有的性质和特征,讨论并给出了满足PS(保持FD,无损连接且满足SNF)且无α环分解的充要条件和算法,对算法的正确性、可终止性进行了证明,并对算法的时间复杂度给出了分析。