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

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

属性集闭包求解算法的C＋＋实现

在关系数据理论中,属性集闭包的求解不仅是证明Armstrong公理系统的基础,也是关系数据库逻辑模式设计中各种模式分解算法的基础。研究了属性集闭包求解算法的机制,并利用VC＋＋实现了该算法。     

最小函数依赖集Fmin求解算法研究及实现

函数依赖反映了现实世界中数据的完整性约束,对关系数据库的分析和设计起着重要的作用。最小函数依赖集和模式规范化是规范化理论和模式分解中的两个最重要概念。研究并实现了最小函数依赖集的求解算法。     

关系数据模型中属性集闭包与FD集闭包的若干性质的研究

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

函数依赖最小覆盖集求解算法——在数据库设计中的应用

本文给出了求解函数依赖最小覆盖集算法在计算机上的具体实现并把它应用到关系数据模式求解中去，成功地开发了关系数据库模式生成算法，向数据库设计自动化的具体实现迈进一大步。     

用最小不动点理论求解最小函数依赖集

最小函数依赖是数据库模式分解的基础。本文首先介绍最小函数依赖集的概念和最小不动点理论．然后分析函数依赖集的闭包与完全格的关系，提出了用最小不动点理论求解最小函数依赖集的具体求解方法。     

基于多重依赖关系的传递闭包研究及应用

文中通过改进Warshall-Folyd的算法,提出了一种依赖传递闭包算法和相应的动态闭包算法,其核心思想是依据依赖关系的分类和性质,定义关系矩阵和运算算子,使算法能解决选择依赖关系,并能表达直接、间接和选择三种依赖关系;同时,所提出动态算法能够运行时根据问题规模动态添加关系元素和依赖关系,解决在基本关系原则和部分关系集上求取闭包的问题。结合安全通用标准CC中关于组件间依赖关系的规定,给出了本文所提出算法的一个实际应用,表明算法取得了很好的效果。     

判断保持函数依赖集的优化算法

论述了一种优化的保持函数依赖集的判断算法。该算法易于理解、便于运用，在教学和应用中有较大实用价值。     

XML强闭包依赖的研究

XML闭包依赖是基本的完整性约束。当XML文档出现不完全信息时,XML闭包依赖同样对于阻止XML数据的更新异常、查询优化以及索引设计具有重要的意义。提出了在不完全信息环境下基于一致路径集合的XML强函数依赖和XML强闭包依赖的定义,研究了XML强闭包依赖的判定定理。在提出XML强闭包依赖推理规则的基础上,对其有效性和完备性进行了证明。最后分析了XML强闭包依赖和XML强函数依赖的关系。     

基于积极集策略的最小闭包球问题算法研究

首先,基于每次迭代计算距离当前球心最远的两个点,提出一种求解n维空间中m个点的最小闭包球问题的(1+ε)-近似算法.对于ε∈(0,1),建立了该算法的核心集大小和计算复杂度,分别为O(1/ε)和O(mn/ε).然后,给出一种积极集策略,每次迭代计算距离当前球心最远的N个点.将该策略结合到提出的算法中,得到一个基于积极集策略的算法.最后,实验结果表明基于积极集策略的算法能够快速、有效地求解m》n的大规模数据集的近似最小闭包球.     

LR最小替换集求解算法研究

文中对Ｄ．Ｍａｉｅｒ提出的关于关系数据库中的ＬＲ最小集的结构进行了分析，提出了一个比“ＬＲ最小集”更为简化的ＦＤ集的覆盖－ＬＲ最小替换集。给出了一个求ＬＲ最小替换集的多项式时间算法。修正了Ｄ．Ｍａｉｅｒ在其文中给出的一个ＦＤ集为最优覆盖的必要条件。     

基于超图的求等价属性集算法研究

本文讨论了有关等价属性集的一些性质，提出了准等价属性集和基本等价属性集的概念。在此基础上给出了一种求等价属性集的算法。     

基于闭包的关系模式全部主属性的多项式时间算法

文中通过对关系模式中的属性进行适当的分类，讨论了一个属性成为主属性应该满足的条件，并在文献「４」、「５」「６」的基础上，采用闭包，实现了利用Ａｒｍｓｔｒｏｎｇ公理进行函数信赖推导的过程，从而给出了一个简便的求解关系模式全部主属性的多项式时间算法。     

面向密码领域可重构算粒集的提取验证

针对CPU上计算机指令的执行消耗大量的资源,以及FPGA的通用,提出专用领域可重构算粒集的概念。算粒集的执行并非按指令执行,以硬件可重构方式完成不同粒度的功能单元实现,减少大量资源的消耗,同时专用于密码领域。以密码领域WinZip口令恢复的算粒集的提取验证为例,在不同平台上使用与未使用可重构算粒集实现WinZip口令验证,充分说明了在密码领域使用可重构算粒集的优越性。     

基于超图的求解FD集最优覆盖的算法研究

本文在文献「３」、「４」、「５」所讨论的超图及 的分类的基础上，分析了最优覆盖对应的超图的结构特点，用替换化简方法解决了最优覆盖的多项式时间算法。     

对连接依赖关系的正确处理方法——对规范理论中连接依赖问题处理的异议

本文阐明关系数据规范理论中的连接依赖在设计数据库系统时并不少见。通过Ｅ—Ｒ图揭示了连接依赖的本质问题。对关系模式规范理论中用一组５ＮＦ来替代连接依赖关系以消除异常现象的结论提出异议，论述了处理连接依赖的办法以及相应的算法。     

一种平面点集凸包与三角网格综合生成的算法

平面点集作为一种觉数学模型,其上常做的运算是求其凸包和三角网格,目前二者的研究是独立进行的,鉴于在很多情形下这两种处理结果均需要,提出了一种综合算法：在对离散点集进行ｄｅｌａｕｎａｙ剖分的过程中,增加对三角形边界的判别、管理功能,记录其中作为点集凸包边界的线段,使得在实现剖分的同时产生出点集的凸包,从而提高了算法效率,且当该算法实现单一的点集剖分或凸包功能或是用于简单多边形的凸包与剖分时效果也很好     

一种结合粗糙集与神经网络的多传感器信息融合算法

近年来,神经网络被广泛应用于多传感器信息融合.但是当传感器数量庞大时,过高的输入神经网络的信息维数会导致神经网络训练速度下降,甚至不收敛.针对上述问题,对传统的基于神经网络的融合算法进行了改进,利用粗糙集的冗余数据约简算法,剔除部分传感器的输入,同时将剩余的传感器信息重新组合,形成维数较小的数据分别训练,从而避免了输入数据维数过高带来的问题,较之于传统算法,算法在训练阶段的迭代次数等时间性能以及融合阶段的准确性两个方面均有所提高.     

基数为M的候选关键字求解的多项式算法存在性研究

本文在文献「３」的基础上，详细且深入讨论了构成候选关键字的属性特性，提出了相关关系，最大相关块等概念，讨论了有关定理，最后给出了求基数为Ｍ的候选关键字的多项式时间算法。     

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

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