FD集归并依赖集的左部联合集

基于左部联合集,给出了归并依赖集的左右部冲突的概念。同时讨论了对无内部冲突的FD集,归并依赖集的左右部冲突与无α环、3NF数据库模式分解的关系。     

关系数据库中FD集的归并依赖集的性质

从讨论两个归并依赖之间的关系入手,给出了归并依赖集左部之间的嵌入关系,以及归并依赖集的若干性质。这在无环数据库模式分解时是有用的。     

函数依赖集的扩展左部集

给出了扩展左部集的概念。了当ＦＤ集Ｆ无内部冲突时,Ｆ的扩展左部集的特点与求法,以及它与最小覆盖的左部集之间的联系,阐明了Ｆ的不同最小覆盖集左部集之间的关系。     

归并依赖集D的全部对称左部集求解算法

本文在关于归并依赖集的二元组集合闭包的求解算法的基础上给出了对称左部集的概念，同时讨论并给出了求全部对称左部集的多项式时间算法。     

最小归并依赖集中关联度问题的研究

本文在文献（１）的基础上提出了最小归并依赖集的概念，给出了最小归并依赖集中关联度的概念及级别，最后给出了求最归并依赖集Ｄ中每个ｄｉ的关联度算法。     

函数依赖集投影的算法

给出了关系模式Ｒ的函数依赖集Ｆ在Ｒ的一个属性子集Ｕ上的投影的最小覆盖的算法,并证明了算法的正确性,而且给出了一个实现本算法的例子。     

Fuzzy导集算子与Fuzzy拓扑

在Ｉ＾Ｘ上,定义了Ｆｕｚｚｙ半导集算子与Ｆｕｚｚｙ导集算子,讨论了它们与拓扑的关系,借助于文献（３）中提出的强导集概念,得到：若ｄ是Ｘ的Ｆｕｚｚｙ导集算子,则在Ｘ上唯一存在一个Ｆｕｚｚｙ拓扑ｆ,使得（Ｘ,Ｆ）是Ｆｕｚｚｙ准Ｔ０空间,且在（Ｘ,Ｔ）中Ｆｕｚｚｙ集Ａ的强导集恰是Ａ在ｄ下的像ｄ（Ａ）。     

区间值直觉Fuzzy集的截集及性质

定义了区间值直觉Ｆｕｚｚｙ集的截集,并详细了其基本性质,为建立区间值直觉Ｆｕｚｚｙ集的在本理论奠定了基础。     

关系数据模式中属性集闭包和FD集闭包的性质

本文主要给出了关系模式中两个重要概念——属性集闭包及ＦＤ集闭包的若干性质及其相互关系．     

标准函数依赖覆盖集及其求解算法

对函数依赖集进行优化数据库设计的重要环节。本文对数据库模式中函数依赖的标准函数依赖覆盖集进行了研究和对其内涵进行了分析,导出了求解标准函数依赖覆盖集算法,并给出了正确性证明。     

基于Vague集理论的冲突分析模型

为了改进Pawlak提出的冲突系统的不足,结合Vague集的优点,给出了基于Vague集的冲突系统.为了确立基于Vague集的冲突系统的联盟,分析了各种基于Vague集的相似度量的不足,在此基础上给出了一种新的基于Vague集的相似度量,同时定义了一个由该相似度量诱导出的冲突函数,新冲突函数可以很好地解释基于Vague集的冲突系统中局中人之间的冲突.根据新冲突函数构造基于Vague集的冲突系统的谈判模型,最后用一个实例说明了新冲突分析模型的合理性.     

模板依赖集的闭包计算与求最小覆盖集的算法

本文详细研究了模板依赖的公理系统,完成了有效性和完备性证明,提出了模板依赖集的闭包计算、求最小覆盖集的算法。     

连续参数集值下鞅的收敛定理

首先给出了连续参数集值下鞅的定义．继而证明了连续参数集值下鞅的三个等价定理：（ａ）Ｌ１ｗｋｃ（Ｘ）值下鞅等价于任给τ１＜τ２,τ１,τ２∈Ｔ,∫ΩＦτ１ｄＰ∫ΩＦτ２ｄＰ;（ｂ）Ｌ１ｆｃ（Ｘ）值下鞅等价于任给ｓ,ｔ∈Ｒ＋,ｓ＜ｔ,Ｓ１Ｆｓ（Ｆｓ）ｃｌ｛Ｅ（ｇ｜Ｆｓ）,ｇ∈Ｓ１Ｆｔ（Ｆｔ）｝;（ｃ）Ｘ可分时,闭凸集值下鞅等价于任给ｓ,ｔ∈Ｒ＋,ｓ＜ｔ,Ａ∈Ｆｓ,ｃｌ∫ＡＦｓｄＰｃｌ∫ＡＦｔｄＰ．最后给出了弱紧凸集值随机集族的弱收敛定理和Ｘ有ＲＮＰ,Ｘ可分时闭凸集值右连续下鞅的弱收敛定理．     

基于模型诊断中用逻辑数组计算最小碰集

在基于模型诊断中 ,冲突集的最小碰集就是诊断目标 .提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法 .     

Fuzzy随机变量与Fuzzy集值测度

本文研究了Ｆｕｚｚｙ随机变量以及由Ｆｕｚｚｙ随机变量的积分所定义的Ｆｕｚｚｙ集值测度，并证明了这类Ｆｕｚｚｙ集值测度的扩张定理和分解定理。     

区间值Fuzzy集的扩展原理

在［１］的基础上，给出了区间值Ｆｕｚｚｙ集（ＩＶＦＳ）的扩展原理的几种形式，并讨论了ｆ（Ａ）与ｆ（－１）（Ｂ）的截集的性质，最后给出了复合函数的扩展原理．     

关系模式最小依赖集的图论求解法

本文将关系模式函数依赖集映射成千面上的有向图。当诸依赖左部均为单属性时,给出并证明了最小依赖集在图上的充要条件。当依赖左部出现多属性时,分别给出并证明了多余依赖、多余属性在图上的充要条件,从而直观地揭示了属性闭包的本质,给出了依赖左部属性较少时的直观、实用的最小依赖集图上求解算法。     

二部置换图的无圈控制集算法

设G=(V,E)为简单无向图,S V称为G的无圈控制集,如果S控制G并且导出子图〈S〉不含有圈.该文证明了二部置换图的无圈控制数等于其控制数(γa(G)=γ(G)),利用此结论证明了无圈控制集问题在二部置换图上具有线性时间求解算法.     

F集表现定理的一类情形及其应用

对Ｆ集表现定理的一种情形进行研究，得到了一组简便实用的结论。对于实际应用中利用集合套表现Ｆ集具有重要意义。     

一种基于FD集特征的3NF判定算法

详细研究了属于３ＮＦ的关系模式ＦＤ集的特征，在此基础上，提出了一个基于ＦＤ集特征的３ＮＦ判定算法，并对算法的正确性及优点进行了证明和阐述。