共查询到20条相似文献,搜索用时 62 毫秒
1.
2.
3.
4.
有内部冲突的F的广义左、右部冲突判定算法 总被引:1,自引:0,他引:1
数据库数据组织的无环性是数据库理论和应用中一个重要特性.如何把数据库模式分解成无环性是一个比较复杂的问题,特别是在FD集F有内部冲突时无α环的分解问题.为了解决这一问题,讨论了有内部冲突的FD集F有广义左部冲突或广义右部冲突时和对称左部属性集之间的关系,以及对称左部属性集存在的条件和性质;给出了相关概念、定理及证明.在此基础上,给出了关于存在广义左部、右部冲突的判定算法,对该算法进行了正确性证明和算法分析. 相似文献
5.
通过分析在FD集F的最小归并依赖集D无弱左部冲突、弱右部冲突时相邻归并依赖所具有的性质和特征,提出了左部集冲突、蕴含集阃冲突和主归并依赖冲突等概念,在此基础上证明了在FD集F无内部冲突且最小归并依赖集D中存在弱左、右部冲突、左部集冲突、蕴含集间冲突和主归并依赖冲突时模式分解为满足P3为有口环的结论,并给出了左部集冲突、蕴含集间冲突和主归并依赖冲突的判定算法及分析,为进一步研究无β环的分解奠定了基础. 相似文献
6.
7.
函数依赖集F有内部冲突的判定问题研究 总被引:2,自引:0,他引:2
在讨论数据库模式R(W,F)的无α环分解时,需要判定FD集F是否有内部冲突;在讨论无β,γ环的分解时也需要判定是否有内部冲突.为此,应当首先给出归并依赖集的二元组集合、闭包等概念;分别给出求解二元组集合及其闭包的多项式算法.在此基础上,讨论FD集F有内部冲突时的特征和相关条件,给出相应的有内部冲突的判定定理和算法,对算法进行了证明和分析. 相似文献
8.
数据库模式分解为满足P3及无α环的条件 总被引:4,自引:0,他引:4
文中讨论了当某一个属于FD集F的最小归并依赖集具有某些性质时,属于FD集F的任意最小归并依赖集同样具有相同性质;还给出了广义左部冲突、广义右部冲突等概念。在此基础上给出并证明了无内部冲突的数据库模式分解为满足P3及无α环性质的充要条件,和有内部冲突的数据库模式分解为满足P3及无α环性质的必要条件。 相似文献
9.
无内部冲突满足P3的无α环的数据库模式分解(Ⅰ):分解的基本理论 总被引:9,自引:2,他引:9
郝忠孝 《计算机研究与发展》1998,35(4):301-304
文中在文献[1]、[2]、[3]讨论的基础上,讨论了数据库模式无内部冲突,但在最小归并依赖集D中存在弱右部或弱左部冲突时分解的性质和理论.为无内部冲突的满足P3的无α环的数据库模式分解算法设计提供了基础. 相似文献
10.
关联度与关系模式分解满足P_(BC)且无α环的关系 总被引:2,自引:0,他引:2
邓成玉 《计算机工程与应用》2004,40(18):181-182,232
一个数据库模式分解为满足保持函数依赖、无损联接性、BCNF且无α环是数据库理论和应用研究的重要问题之一。通过分析无α环的分解特性使我们得知,要达到无α环的分解,必须研究这种分解与关联度之间的关系。论文给出了这种关系。 相似文献
11.
无β环是一种重要的无环级别,与无损联接、保持依赖和4NF一起,成为多值依赖环境下数据库模式规范化的基本要求,能够直接指导数据库的模式设计.文中提出了严格无冲突的概念,以线图为工具,证明了应用分解树算法对一个严格无冲突的MVD集分解得到的数据库模式对应的线图及等权化简子图都是三角化的,而且线图中每个三角形都是相容的.最后得出无冲突条件下无β环且满足保持数据依赖、无损联接和4NF
的数据库模式分解的充要条件是给定的MVD集存在一个严格无冲突的覆盖. 相似文献
12.
无β环是一种重要的无环级别,与无损联接、保持依赖和4NF一起,成为多值依赖环境下数据库模式规范化的基本要求,能够直接指导数据库的模式设计.文中提出了严格无冲突的概念,以线图为工具,证明了应用分解树算法对一个严格无冲突的MVD集分解得到的数据库模式对应的线图及等权化简子图都是三角化的,而且线图中每个三角形都是相容的.最后得出无冲突条件下无β环且满足保持数据依赖、无损联接和4NF的数据库模式分解的充要条件是给定的MVD集存在一个严格无冲突的覆盖. 相似文献
13.
无β环是一种重要的无环级别,与无损联接、保持依赖和4NF一起,成为多值依赖环境下数据库模式规范化的基本要求,能够直接指导数据库的模式设计,文中提出了严格无冲突的概念,以线图为工具,证明了应用分解树算法对一个严格无冲突的MVD集分解得到的数据库模式对应的线图及等权化简子图都是三角化的,而且图中每个三角形都相容的,最后得出无冲突条件下无β环且满足保持数据依赖、无损联接和4NF的数据库模式分解的充要条件 相似文献
14.
无β环数据库模式具有很多优良的特性 ,以往的研究都局限在图论的范畴内 ,而没有考虑数据库的其他规范化特性 .在混合依赖基概念的基础上 ,定义了严格无冲突、扩展严格无冲突等概念 ,并证明了在混合环境下得出的无损联接、保持依赖、无 β环且满足 4 N F的分解的充要条件是 ,混合依赖集是扩展严格无冲突的 .据此 ,给出了判断严格无冲突及混合环境下无β环分解算法 ,并分析了算法时间的复杂度是线性的 .最后 ,给出基于线图的实例验证 .这一结论可直接指导数据库的模式设计 相似文献
15.
无内部冲突满足P3的无α环的数据库模式分解(Ⅱ):分解的算法及分析 总被引:4,自引:0,他引:4
郝忠孝 《计算机研究与发展》1998,35(4):305-309
文中在文献[1]、[2]、[3]、[4]讨论的基础上给出了数据库模式无内部冲突时,满足P3且为无α环的分解算法、正确性证明和分析. 相似文献
16.
无β环数据库模式具有很多优良的特性,以往的研究都局限在图论的范畴内,而没有考虑数据库的其他规范化特性.在混合依赖基概念的基础上,定义了严格无冲突、扩展严格无冲突等概念,并证明了在混合环境下得出的无损联接、保持依赖、无β环且满足4NF的分解的充要条件是,混合依赖集是扩展严格无冲突的.据此,给出了判断严格无冲突及混合环境下无β环分解算法,并分析了算法时间的复杂度是线性的.最后,给出基于线图的实例验证.这一结论可直接指导数据库的模式设计. 相似文献
17.
在关系数据库逻辑设计中,数据依赖理论起着重要作用。数据依赖是关于属性联系的完整性约束。函数依赖理论把握了关系数据库设计的两个重要方面:数据语义和逻辑模式设计,所以取得了很大的成功。人们已经指出FD的若干问题,并且引入了许多新依赖作为FD的推广。这些新的数据依赖的语义和逻辑模式设计的研究,已经取得了很大的进展。遗憾的是,相互之间联系甚少。因此,当把函数依赖理论应用到实际关系模式设计中时,还存在若干问题。 我们认为这些尚未解决的问题,及根据FD设计关系数据库模式的问题(简称FD设计问题),都是很重要的,进而在本文中解决其中的某些问题。至于基于FD的设计问题,本文给出了一个构造方法。我们指出了众所熟知的Bernstein算法在某些情况下不总能获得最小的解。而我们的算法却圆满地解决了这个问题。此外,我们的算法所产生的关系集满足‘无损连接’的限制条件。本文还讨论如何用多值依赖把关系模式分解成Boyce-Codd范式(BCNF)。关于逻辑模式设计的原则,主要讨论了数据依赖的保持性,特别讨论了当关系被单独修改时,哪些依赖能够被保持,并且给出了保持依赖的若干条件。其目的在于取消‘泛关系假设’。至于数据语义问题,我们讨论了多值依赖的语义及不完整信息问题。 相似文献
18.
文章研究了关系数据库规范化设计理论中的BCNF范式,阐述了BCNF的两种不同定义,使用函数依赖理论证明两种定义的等价性;从实例出发,分析BCNF具有的一般性质,探讨简便易行的BCNF判定规则;实现具备无损连接性的BCNF分解算法。 相似文献
19.
黄安祥 《计算机工程与应用》1986,(7)
本文提出了把关系模式(非BCNF型分解成BCNF型数据库模式的一种新方法,给出了一个时间上界为n~5·r的算法。然后又对此分解算法进行了改进,避免分解出的模式数目过多的弊病。 相似文献
20.
刘乙竹 《电子制作.电脑维护与应用》2015,(14)
本文以矩阵为工具,讨论了将矩阵运用到关系模式规范化过程中,用矩阵来表示函数依赖关系,利用矩阵求属性集合的闭包,给出了基于矩阵的BCNF分解算法。 相似文献