首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到17条相似文献,搜索用时 62 毫秒
1.
文中在文献[1]、[2]、[3]、[4]讨论的基础上给出了数据库模式无内部冲突时,满足P3且为无α环的分解算法、正确性证明和分析.  相似文献   

2.
数据库模式分解为满足P3及无α环的条件   总被引:4,自引:0,他引:4  
文中讨论了当某一个属于FD集F的最小归并依赖集具有某些性质时,属于FD集F的任意最小归并依赖集同样具有相同性质;还给出了广义左部冲突、广义右部冲突等概念。在此基础上给出并证明了无内部冲突的数据库模式分解为满足P3及无α环性质的充要条件,和有内部冲突的数据库模式分解为满足P3及无α环性质的必要条件。  相似文献   

3.
郝忠孝  万静  何云斌 《计算机工程》2005,31(8):61-62,125
无环分解是数据库数据组织的一个重要环节,在实际数据库设计中具有重要意义,为了深入研究它,该文分析了在FD集F的最小归并依赖集D存在弱左部或弱右部冲突时所具有的性质和特征,在此基础上讨论了它的模式分解问题,给出了在D有弱冲突时满足无损连接,保FD、BCNF的分解是有α环的结论,为进一步研究无α的分解奠定了基础。  相似文献   

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

5.
在数据库模式的无α环分解中,当数据模式R〈W,F〉的FD集F有内部冲突时,无论F是否存在广义左、右部冲突均不存在满足保持FD、无损连接、BCNF和无α环的分解。在某些实际应用中的分解只满足部分条件就够了,在分析F有内部冲突时最小归并依赖集D的特性,给出了归并依赖集满足的条件∑1和∑2,在此基础上,讨论给出了满足P2(保持FD、BCNF)且无α环分解的充要条件和算法,对算法的正确性、可终止性进行了证明,并对算法的时间复杂度给出了分析。  相似文献   

6.
无β环是一种重要的无环级别,与无损联接、保持依赖和4NF一起,成为多值依赖环境下数据库模式规范化的基本要求,能够直接指导数据库的模式设计.文中提出了严格无冲突的概念,以线图为工具,证明了应用分解树算法对一个严格无冲突的MVD集分解得到的数据库模式对应的线图及等权化简子图都是三角化的,而且线图中每个三角形都是相容的.最后得出无冲突条件下无β环且满足保持数据依赖、无损联接和4NF的数据库模式分解的充要条件是给定的MVD集存在一个严格无冲突的覆盖.  相似文献   

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

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

9.
有内部冲突的F的广义左、右部冲突判定算法   总被引:1,自引:0,他引:1  
数据库数据组织的无环性是数据库理论和应用中一个重要特性.如何把数据库模式分解成无环性是一个比较复杂的问题,特别是在FD集F有内部冲突时无α环的分解问题.为了解决这一问题,讨论了有内部冲突的FD集F有广义左部冲突或广义右部冲突时和对称左部属性集之间的关系,以及对称左部属性集存在的条件和性质;给出了相关概念、定理及证明.在此基础上,给出了关于存在广义左部、右部冲突的判定算法,对该算法进行了正确性证明和算法分析.  相似文献   

10.
无β环是一种重要的无环级别,与无损联接、保持依赖和4NF一起,成为多值依赖环境下数据库模式规范化的基本要求,能够直接指导数据库的模式设计,文中提出了严格无冲突的概念,以线图为工具,证明了应用分解树算法对一个严格无冲突的MVD集分解得到的数据库模式对应的线图及等权化简子图都是三角化的,而且图中每个三角形都相容的,最后得出无冲突条件下无β环且满足保持数据依赖、无损联接和4NF的数据库模式分解的充要条件  相似文献   

11.
基于依赖图的硬件事务存储技术研究   总被引:1,自引:0,他引:1  
事务存储技术能够简化并行程序中对共享资源的访问控制,是当前的研究热点之一.目前,多数基于硬件的事务存储系统采用基于冲突检测与处理的并发控制协议,当检测到两事务发生冲突时就中止二者之一.但是对事务间"冲突"更深入的分析表明,某些"冲突"并不一定会导致事务的回退,这种冲突称为"弱冲突".基于依赖图的硬件事务存储技术能够避免弱冲突引发的多余事务回退.模拟实验表明,基于依赖图的事务存储系统与基于冲突处理的事务存储系统相比具有明显的性能优势.  相似文献   

12.
策略冲突的检测和解决方法研究   总被引:1,自引:0,他引:1       下载免费PDF全文
基于策略的方法在分布式系统和网络管理领域已得到广泛实施.策略中的冲突会导致不一致的系统行为.根据策略所作用的协议层次,将策略分为应用级和网络级两类.本文深入研究了每一类策略的冲突现象,并综述了冲突的检测和解决方法,对其优缺点加以分析;最后给出了未来的研究方向.  相似文献   

13.
协同设计中的冲突体系及解决方法研究   总被引:2,自引:0,他引:2  
胡明峰  刘弘 《计算机应用》2004,24(8):106-109
对冲突在协同设计中所处的时期、层次及冲突属性三个维度进行了分析,并据此构建了一个协同设计冲突体系,在设计理念、应用、系统三个层次上对冲突的表现和导致的后果进行了说明。指出了冲突之间的关系在冲突解决问题上的重要性,在此基础上给出了一个面向冲突体系的冲突解决策略,这一策略能够更好地应对协同设计中冲突的复杂性和动态性,最后给出了关键算法的实现。  相似文献   

14.
本文通过对策略冲突进行系统研究,找到其中的主要因素,按照“策略冲突发生时策略的状态”和“策略冲突发生时策略作用对象之间的关系”给出了策略冲突的两种分类,通过这两种分类解决了“何时检测冲突”和“如何检测冲突”的问题.而后进一步阐述了如何应用冲突数据库来判别策略冲突类型的方法.  相似文献   

15.
周治邦 《自动化学报》1990,16(5):478-480
故障安全(FS)是计算机系统安全性设计中的重要基本概念之一.本文将对严格同 步的、三模冗余FS计算机控制系统(以下简称为TMR-FS系统)作一些基本研究.  相似文献   

16.
单处理器最少延误问题实际上是对任务集中每一个任务如何分配执行时间使得延误任务数量最少的问题,该问题是处理器调度问题中一类重要的基础问题.本文主要对该问题的调度算法进行研究,提出了一种基于排序的双逆向分配任务执行时间的调度算法,称为双逆向调度算法,该算法时间复杂度为O(n2),通过验证该算法是可行的.另外,还对任务关系进行了分析,并提出了任务固有冲突、任务临界冲突时刻、任务时间窗口中心点、任务间接冲突、任务冲突度等概念.  相似文献   

17.
本文通过对策略冲突进行系统研究,找到其中的主要因素,按照“策略冲突发生时策略的状态”和“策略冲突发生时策略作用对象之间的关系”给出了策略冲突的两种分类,通过这两种分类解决了“何时检测冲突”和“如何检测冲突”的问题。而后进一步阐述了如何应用冲突数据库来判别策略冲突类型的方法。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号