基于逆向超图的从关系模式到“改进的第三范式”的分解

本文以逆向超图为工具， 讨论了非必要和非基本属性在超图中的性质， 给出了基于逆向超图的泛关系模式到改进的３ＮＦ的分解算法     

基于逆向超图的关系规范化综合算法

本文在文献「１」、「２」、「３」的基础上,给出了内部逆向支超边,外部逆向支超边,外部逆向子超边集,最小外部逆向超图等概念,讨论了在逆向超图表示下如何去掉部分函数依赖关系问题,最后给出了基于逆向超图的关系规范化综合算法。     

基于逆向MVD超图的求MVD最小覆盖算法研究

本文详细讨论了逆向ＭＶＤ超图的性质，给出了伪完全等价准路、完全等价准路、子边等价准路等概念。证明了若干个逆向ＭＶＤ超图的化简定理，最后给出了基于逆向ＭＶＤ超图的求ＭＶＤ最小覆盖算法。     

关于混合FD,MVD超图的理论研究

本文分别详细讨论了正向混合超图和逆向混合超图中准路的分类定义及理论。给出了正向混合超图中怀蕴池有关的理论，同时，还部分地给出了逆向混合超图中的与消除冗余有关的几个定理     

关系数据库中MVD超图的讨论

本文提出了ＭＶＤ超图的概念，给出了正向ＭＶＤ超图、逆向ＭＶＤ超图的定义。深入讨论了逆向ＭＶＤ超图、逆向准路（结点）、可人发准路结点、不可分准路结点及最小不可分准路结点等。在此基础上，给出了求解最小不可分结点的闭包算法。     

基于逆向FD超图的属性闭包求解算法研究

本文对文⑴进行深入分析的基础上给出了正向ＦＤ超图、逆向ＦＤ超图，给出了正向、逆向超图的相互转换算法，并对属性闭包的求法进行了研究，给出了求解关系模式属性闭包的新算法。     

基于逆向超图的从模式到“改进的第三范式”的分解

本文以逆向超图为工具,讨论了非必要和非基本属性在超图中的性质,给出了基中超图的泛关系模式到改进的３ＮＦ的分解算法。     

Boyce Codd范式判定规则及方法的研究

文章研究了关系数据库规范化设计理论中的BCNF范式,阐述了BCNF的两种不同定义,使用函数依赖理论证明两种定义的等价性;从实例出发,分析BCNF具有的一般性质,探讨简便易行的BCNF判定规则;实现具备无损连接性的BCNF分解算法。     

基于逆向FD超图环的全部候选关键字求法

本文通过对逆向ＦＤ超图的环的分类的深入研究，找到了组成候选关键字的属性对应的结点的特征，进而给出了求解全部候关键字的多项式时间的新算法。     

基于超图染色的网络编码重传方案研究

考虑到现有的基于时间的网络编码重传方案具有指数复杂度,不适合大规模网络,提出一种基于超图染色的网络编码重传方案,以提高传输效率。该方案采用超图染色算法,根据数据包丢失矩阵构造超图并对其进行染色,从而确定进行网络编码的丢失数据包。仿真实验表明,基于超图染色的网络编码重传方案具有与基于时间的网络编码重传方案相同的传输效率,且计算复杂度较低。     

一个BCNF的多项式时间判定算法

文中指出了文献「１」中对ＢＣＮＦ判定问题证明过程的错之处，通过分析属于ＢＣＮＦ的关系模式的结构特点，给出了一个判定关系模式否属于ＢＮＣＦ的多项式时间算法。     

关系模式规范化算法理论的分析应用

从关系模式规范化的算法理论中的四点要求出发,分析关系模式规范化理论中如何将关系模式规范到3NF或者BCNF,同时检查分解是否具有无损连接性．提出规范到3NF算法和BCNF算法、分解具有无损连接性的判断方法,并且列举实例加以说明。     

偏序环境下时态数据库中的TBCNF分解问题研究*

针对偏序时态数据库进行研究,提出了非严格偏序时态类型集、偏序时态模块模式、偏序TFD集的模式投影、偏序时态模块投影和偏序时态BC范式等概念,并给出了避免时态类型间复杂操作的偏序时态BC范式的分解算法,对其正确性、可终止性进行了证明,并对算法的时间复杂度进行了分析。为偏序时态数据库的规范化设计奠定了基础。     

Polynomial Tests of Normal Forms and Some Related Results

The following problem is called the everywhere-cover problem:“Given a set of dependencies over a database scheme,is he set of dependencies explicitly given for each relation scheme equivalent to the dependencies implied for that relation sheme?”It is shown that when the everywhere-cover problem has a yes answer,examining only the dependencies explicitly given will suffice to test 3NF, BCNF and 4NF of a database scheme.But this does not hold for 2NF.Consequently,in such cases,tests of BCNF and 4NF all take polynomial time.Then a proof is given that test of 3NF of a database scheme is Co-NP-complete,and from this result it is shown that everywhere-cover is also Co-NP-complete when only functional dependencies are allowed.These results lead to doubt the truth of the well believed conjecture that no polynomial time algorithm for designing a lossless BCNF database scheme is likely to exist.     

关系模式规范化研究

介绍了第一、第二、第三、BCNF、第四、第五范式和域/关键字范式.     

全序时态模块模式的TO_TBCNF分解问题研究

时间粒度是所有时态数据所拥有的共同特点。在许多时态数据库应用中,都涉及多时间粒度约束,但是,具有多时间粒度的时态数据库的设计相当复杂,难以实现。而现实世界中的许多应用涉及到的时态类型集都能满足全序关系,由于具有全序时态类型集的全序时态模块模式有着良好的特性,文章提出了全序时态模块模式、时刻关系模式、全序时态模块投影和全序时态BC范式（TO_TBCNF）等概念,并给出了全序时态BC范式的分解算法,对其正确性、可终止性进行了证明,并对时间复杂度进行了分析。     

函数依赖和规范化在关系和XML间的传播

XML和关系的结合是一个重要的研究领域,讨论函数依赖和规范化在关系及XML间的传播问题.首先引入XML上函数依赖和键的定义,并进一步定义XML上的数据冗余和规范化DTD的概念.分别讨论在关系和XML相互转化的过程中,函数依赖的传播问题.针对一种一般化的关系模式DTD表示,证明原有关系中的函数依赖可以在生成的XML文档上得到表示.针对一种常见的XML关系存储方法,说明最终生成关系上的函数依赖与原有XML上函数依赖的对应关系.函数依赖传播的核心意义在于规范化的传播.证明使用上述方法时,若原有的关系是满足BCNF的,则发布得到的DTD也是规范化的;若原始的DTD是规范化的,则得到的关系存储也满足BCNF范式.     

Characterizations for functional dependency and Boyce-Codd normal form families

A functional dependency (fd) family was recently defined [20] as the set of all instances satisfying some set of functional dependencies. A Boyce-Codd normal form, abbreviated BCNF, family is defined here as an fd-family specified by some BCNF set of functional dependencies. The purpose of this paper is to present set-theoretic/algebraic characterizations relating to both types of families.Two characterizations of $\text{F}$($\text{I}$), the smallest fd-family containing the family $\text{I}$ of instances, are established. The first involves the notion of agreement, a concept related to that of a closed set of attributes. The second describes $\text{F}$($\text{I}$) as the smallest family of instances containing $\text{I}$ and closed under four specific operations on instances. Companion results are also given for BCNF- families.The remaining results concern characterizations involving the well-known operations of projection, join and union. Two characterizations for when the projection of an fd-family is again an fd-family are given. Several corollaries are obtained, including the effective decidability of whether a projection of an fd-family is an fd-family. The problem for BCNF-families disappears since it is shown that the projection of a BCNF-family is always a BCNF-family. Analogous to results for fd-families presented in [20], characterizations of when the join and union of BCNF-families are BCNF-families are given. Finally, the collections of all fd-families and all BCNF-families are characterized in terms of inverse projection operations and intersection.