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

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

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

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

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

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

基于混合超图的一种4NF的判定算法

本文讨论了混合超图中４ＮＦ判定有关的理论，并在此基础上给出了一个对应的关系模式是否属于４ＮＦ的判定算法。     

基于混合超图的最小覆盖,闭包求解算法研究

文中讨论了基于混合超图的有关冗余消除的部分定理，完善了这一理论。并给出了最小覆盖，闭包求解的新算法，进行了相关算法分析。     

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

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

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

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

基于逆向超图的“改进的BCNF”的分解算法

该文以逆向超图为工具,讨论了基于超图的BCNF判定和无损联结,给出了基于逆向超图的系模式到改进的BCNF的分解算法。     

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

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

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

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

基于有向超图的资源约束下企业过程结构优化

为了提高企业过程结构优化的实用性、合理性以及计算机支持性,提出了基于有向超图和资源约束的优化方法.根据优化需求,通过对考虑了支持资源的过程进行不同的有向超图建模,利用有向超图的性质以及超图上所附加的过程语义,把过程结构优化转化为有向超图的切割和活动合并问题,并给出具体求解过程.求得的过程为一个结构和支持资源都优化的过程.最后,通过举例验证该方法可行、有效.     

关系模式一种基于超图的全部候选关键字求法

本文详细讨论了基于超图的关系模式的有关候选关键字的某些理论,给出了相应的定理.圆满地解决了关系模式全部候选关键字的求解问题,具体地给出了以递归形式的求全部候选关键字的新算法.     

冲突分析:一种基于加权Vague超图的策略

本文在Vague集理论的框架下，结合超图理论，提出了加权Vague超图的冲突分析策略，并引入了Vague冲突([αt，1-αf]，β，β )-截系统和Vague超边(d，β)-截集的概念．基于冲突联盟间的距离本文还给出了冲突的消解算法．最后通过一个Vague冲突实例，详细地讨论了如何运用加权Vague超图来进行冲突分析．