基于线图的无β环混合依赖分解条件及算法

无β环数据库模式具有很多优良的特性,以往的研究都局限在图论的范畴内,而没有考虑数据库的其他规范化特性.在混合依赖基概念的基础上,定义了严格无冲突、扩展严格无冲突等概念,并证明了在混合环境下得出的无损联接、保持依赖、无β环且满足4NF的分解的充要条件是,混合依赖集是扩展严格无冲突的.据此,给出了判断严格无冲突及混合环境下无β环分解算法,并分析了算法时间的复杂度是线性的.最后,给出基于线图的实例验证.这一结论可直接指导数据库的模式设计.     

无冲突满足P4的无β环数据库模式 分解条件的研究

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

无冲突满足P4的无β环数据库模式分解条件的研究

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

无冲突满足P_4的无U环数据库模式分解条件的研究

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

函数依赖集F有内部冲突的判定问题研究

在讨论数据库模式R(W，F)的无α环分解时，需要判定FD集F是否有内部冲突；在讨论无β，γ环的分解时也需要判定是否有内部冲突．为此，应当首先给出归并依赖集的二元组集合、闭包等概念；分别给出求解二元组集合及其闭包的多项式算法．在此基础上，讨论FD集F有内部冲突时的特征和相关条件，给出相应的有内部冲突的判定定理和算法，对算法进行了证明和分析．     

数据库模式分解为满足P3及无α环的条件

文中讨论了当某一个属于ＦＤ集Ｆ的最小归并依赖集具有某些性质时,属于ＦＤ集Ｆ的任意最小归并依赖集同样具有相同性质;还给出了广义左部冲突、广义右部冲突等概念。在此基础上给出并证明了无内部冲突的数据库模式分解为满足Ｐ３及无α环性质的充要条件,和有内部冲突的数据库模式分解为满足Ｐ３及无α环性质的必要条件。     

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

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

F有内部冲突满足P2且无α环模式分解的研究

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

强偏序时态模式中混合依赖集的成员籍问题

有效的模式分解算法设计中应着重考虑和解决成员籍问题,时态类型间偏序关系在强偏序时态模式中的存在给解决成员籍问题带来了困难。为了有效解决强偏序时态模式中混合依赖集的成员籍问题,提出了给定时态类型上的偏序混合依赖基、强偏序模式混合依赖基、偏序时态函数依赖和偏序时态多值依赖的混合集闭包、强偏序模式混合闭包等概念,给出了求混合依赖集中属性的依赖基、属性集的闭包的算法,并在此基础上给出了强偏序模式混合依赖集成员籍问题的算法,证明了其正确性及可终止性,对该算法的时间复杂度进行了分析。应用实例表明相关理论和算法能解决强偏序混合依赖集中成员籍问题的判定问题,为解决强偏序时态模式规范化问题以及时态数据库设计提供了理论基础。     

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

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

有内部冲突的F的广义左、右部冲突判定算法

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

强全序时态模式中混合依赖集成员籍问题的研究

对于TFD和RTMVD混合依赖集约束的强全序时态模式来说,成员籍问题的解决对设计有效的模式分解算法必不可少.由于强全序时态模式中多时间粒度的使用,使其成员籍问题的解决变得更加复杂.为此定义了强全序时态模式下的属性集在给定时态类型上的混合闭包、属性集的混合闭包、属性集在给定时态类型上的混合依赖基、属性集的混合依赖基等概念,给出了求强全序时态模式下属性集的混合闭包、属性集的混合依赖基以及TFD和RTMVD混合依赖集成员籍问题的算法,并对算法的可终止性、正确性进行了证明,对时间复杂性进行了分析.     

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

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

约束数据库中的分解与无损连接

约束数据模型作为一种新的数据库模型正受到广泛关注，为了约束数据库的有效应用，需要研究的设计。为此对密序约束数据中的变量独立函数依赖，模式设计，分解，无损连接规范表示概念给出了严格的定义。给出了计算规范表示的算法，它能保持约束元 组的变量独立，并证明了它的正确性。     

具有多时间粒度的强全序时态模式中多值依赖问题研究

在时态数据库中存在着与时态多值依赖相关的存储冗余、更新异常等问题.但由于时态多值依赖的复杂性,使得根据时态多值依赖所进行的范式分解并不能总保持无损联接,为此对强全序时态模式中时态多值依赖与无损分解的相关性进行了深入研究,给出了规则的时态多值依赖(RTMVD)和属性集的时间粒度等概念,并给出了RTMVD的一套有效的推理规则,针对强全序时态模式中时态多值依赖与无损分解的相关性给出了相关定理,解决了规则的时态多值依赖环境下时态模式在多粒度上的无损分解问题,为规则时态多值依赖环境下时态模式的进一步规范化奠定了基础.     

无内部冲突满足P3的无α环的数据库模式分解（Ⅰ）：分解的基本理论

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

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

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

关联度与关系模式分解满足P_(BC)且无α环的关系

一个数据库模式分解为满足保持函数依赖、无损联接性、BCNF且无α环是数据库理论和应用研究的重要问题之一。通过分析无α环的分解特性使我们得知,要达到无α环的分解,必须研究这种分解与关联度之间的关系。论文给出了这种关系。     

模糊多值依赖的深入探讨

本文探讨了模糊多值依赖的性质，对单一模糊多值依赖环境下的推导规则进行了补充；给出了求依赖基的算法；讨论了在模糊函数依赖、模糊多值依赖混合作用下的推导公理系统；介绍了模糊嵌入多值依赖的概念及公理系统。     

具有多时间粒度的时态多值依赖及时态模式分解方法研究

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,通过具有多时间粒度的时态函数依赖约束对时态数据库进行规范化已有大量研究.基于时态函数依赖和多值依赖理论提出了多时间粒度约束的时态多值依赖(TMVD)等概念,并给出了时态多值依赖的推理规则,对其有效性、完备性进行了证明.由于包含有限个TMVD的TMVD集通常蕴含着无限个TMVD,给出了TMVD的有限推理规则,对其有效性、完备性进行了证明.最后,基于时态多值依赖集提出了时态第四范式,并给出了时态模式的T4NF的无损分解算法,对算法的可终止性、正确性进行了证明,并对时间复杂度进行了分析.