共查询到10条相似文献,搜索用时 31 毫秒
1.
无内部冲突满足P3的无α环的数据库模式分解(Ⅰ):分解的基本理论 总被引:9,自引:2,他引:9
郝忠孝 《计算机研究与发展》1998,35(4):301-304
文中在文献[1]、[2]、[3]讨论的基础上,讨论了数据库模式无内部冲突,但在最小归并依赖集D中存在弱右部或弱左部冲突时分解的性质和理论.为无内部冲突的满足P3的无α环的数据库模式分解算法设计提供了基础. 相似文献
2.
3.
通过分析在FD集F的最小归并依赖集D无弱左部冲突、弱右部冲突时相邻归并依赖所具有的性质和特征,提出了左部集冲突、蕴含集阃冲突和主归并依赖冲突等概念,在此基础上证明了在FD集F无内部冲突且最小归并依赖集D中存在弱左、右部冲突、左部集冲突、蕴含集间冲突和主归并依赖冲突时模式分解为满足P3为有口环的结论,并给出了左部集冲突、蕴含集间冲突和主归并依赖冲突的判定算法及分析,为进一步研究无β环的分解奠定了基础. 相似文献
4.
在数据库模式的无α环分解中,当数据模式R〈W,F〉的FD集F有内部冲突时,无论F是否存在广义左、右部冲突均不存在满足保持FD、无损连接、BCNF和无α环的分解。在某些实际应用中的分解只满足部分条件就够了,在分析F有内部冲突时最小归并依赖集D的特性,给出了归并依赖集满足的条件∑1和∑2,在此基础上,讨论给出了满足P2(保持FD、BCNF)且无α环分解的充要条件和算法,对算法的正确性、可终止性进行了证明,并对算法的时间复杂度给出了分析。 相似文献
5.
6.
7.
有内部冲突的F的广义左、右部冲突判定算法 总被引:1,自引:0,他引:1
数据库数据组织的无环性是数据库理论和应用中一个重要特性.如何把数据库模式分解成无环性是一个比较复杂的问题,特别是在FD集F有内部冲突时无α环的分解问题.为了解决这一问题,讨论了有内部冲突的FD集F有广义左部冲突或广义右部冲突时和对称左部属性集之间的关系,以及对称左部属性集存在的条件和性质;给出了相关概念、定理及证明.在此基础上,给出了关于存在广义左部、右部冲突的判定算法,对该算法进行了正确性证明和算法分析. 相似文献
8.
无β环是一种重要的无环级别,与无损联接、保持依赖和4NF一起,成为多值依赖环境下数据库模式规范化的基本要求,能够直接指导数据库的模式设计.文中提出了严格无冲突的概念,以线图为工具,证明了应用分解树算法对一个严格无冲突的MVD集分解得到的数据库模式对应的线图及等权化简子图都是三角化的,而且线图中每个三角形都是相容的.最后得出无冲突条件下无β环且满足保持数据依赖、无损联接和4NF的数据库模式分解的充要条件是给定的MVD集存在一个严格无冲突的覆盖. 相似文献
9.
10.
无β环是一种重要的无环级别,与无损联接、保持依赖和4NF一起,成为多值依赖环境下数据库模式规范化的基本要求,能够直接指导数据库的模式设计,文中提出了严格无冲突的概念,以线图为工具,证明了应用分解树算法对一个严格无冲突的MVD集分解得到的数据库模式对应的线图及等权化简子图都是三角化的,而且图中每个三角形都相容的,最后得出无冲突条件下无β环且满足保持数据依赖、无损联接和4NF的数据库模式分解的充要条件 相似文献