关系数据库中候选码的求解

寻找关系模式的候选码是数据库设计理论中的重要问题。通过对关系数据库规范化理论的研究,利用函数依赖和图论的有关知识,分别从属性闭包和函数依赖图的角度讨论了如何求解候选码,并给出了一些具体实例。     

在左边是单属性的函数依赖集中寻找关系模式候选码的算法

寻找关系模式的候选码是对关系进行规范化的重要步骤。各种参考资料虽然在寻找方面介绍了各种方法,但没有给出算法的实现。本文给出利用有向图的知识寻找一个关系模式的所有候选码的算法。     

函数依赖图的理论及应用

本文提出函数依赖图的概念和理论,并重点应用它对关系模式候选关键字的求解问题进行了深入而系统的讨论,解决了单属性情况下候选关键字的求解问题,得到了若干新的结论。     

计算关系数据库模式的候选关键字的一个有效算法

给出计算关系数据库模式R的候选关键字的一个有效算法,算法利用函数依赖中的属性“排列”去决定哪些是主要的,有用的;哪些属性不可被考虑,从而找出R的候选关键字。     

基于函数依赖图的设计关系数据库模式的综合算法

本文详细讨论了函数依赖图的原理及基于函数依赖图求解ＥＫＮＦ（基本关键字范式）的数据库模式的综合算法。它对于给定的一关系数据库的一组函数依赖产生相应的ＦＤ图；基于此ＦＤ图，删除该ＦＤ图中的冗余复合节点、多余复合节点和冗余完全弧；从而得到一个ＬＲ最小ＦＤ图覆盖；并由此得出一个属于ＥＫＮＦ的较好的关系数据库模式。本文所述综合算法的时间复杂度为多项式的，因而在实践中有重要的实用价值。     

函数依赖结构的研究及应用

本文通过对函数依赖之间相互联系的分析和研究,提出了函数依赖结构的新概念和新理论,并论证了其存在性。这种新概念及其理论为解决数据库设计中的许多问题(如构造数据库模式,求解候选关键字等)提供了新的理论依据。     

一种基于函数依赖图的构件抽取方法

结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法.先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果.此基础上,提出一种基于函数依赖图的内聚度和耦合度的计算方法,以便从软件度量的角度来评价切片代码(构件)的质量.实验表明利用文中的构件抽取方法生成的切片代码较精简,且具有较高的运行效率.     

语义知识库构建中的异常数据发现

为了提高RDF知识库的数据质量, 提出RDF图数据的异常检测及其自动修复的方法。首先, 原创性地定义了基于图的条件函数依赖(GCFD), 能够将属性值和语义结构的依赖关系统一表示; 然后, 提出有效的算法框架以及优化策略, 挖掘RDF数据中的GCFD, 并给出异常数据的自动修复流程; 最后, 在真实的数据集上, 通过大量实验确认解决方案的可行性和优越性。     

信息系统函数依赖的信息颗粒原理与计算

提出了一种利用信息颗粒的位表示(bit representations)来分析信息系统函数依赖的新方法。研究了信息颗粒原理、粒化计算和面向机器的数据挖掘模型，利用位表示阐述了信息系统函数依赖、恒等依赖、部分依赖的判定原理，得出了与函数依赖相关的命题，并用相应的算法验证了所提方法。该方法可以快速判定和度量信息系统的函数依赖关系，对于信息颗粒采用其位表示，使得数据格式更接近机器的内部表示，且能够直接挖掘信息系统所蕴涵的模式。     

函数P-集合属性依赖与应用

利用函数P-集合的结构,给出函数P-集合的属性依赖,给出属性依赖度量与函数P-集合的属性依赖定理。利用这些结果,给出函数P-集合属性依赖的应用。     

一种用于求解主属性的矩阵分析法

在关系数据库规范化理论中，求解后选关键字和主属性一直是一个棘手的问题。就这类问题的子类给出了一种通过依赖矩阵求出全部记属性的方法，进而得出主关键字。     

属于BCNF的关系模式候选关键字问题研究

研究了属于BCNF的关系模式FD集的特征,在此基础上,讨论了属于BCNF的关系模式全部候选关键字问题、追加的候选关键字问题、基数最小候选关键字问题的求解方法,并给出了相应的线性时间算法。     

一种改进的大规模移动自组织网络公钥管理方案

由于不需要基础设施和复杂的安全引导过程,证书链成为移动自组织网络公钥管理的一种重要可选方案.现有方案很大程度上依赖于节点的移动性,具有很长的预热期,认证成功率低.通过实验分析表明:对大规模移动自组织网络进行分簇,在随机选取的两个簇首之间以一定的概率相互签发少量的证书,形成的证书图涌现出明显的小世界现象.在此基础上,提出了一种改进的自组织公钥管理方案,利用证书图的小世界特征改进本地证书库的创建和认证过程.仿真结果表明,提出的改进方案在相同环境下认证成功率达到80%以上,比原有方案约50%的认证成功率有很大的提高.     

基于图论的雷达优化部署方法

通过离散化等处理将雷达组网部署问题转化为图论问题,利用图论相关知识研究这一多目标优化问题,根据约束条件的不同建立了对应的模型,并通过状态压缩等技巧设计了对应算法.相比于传统的相关算法,该算法复杂度低,并且适用于复杂区域和复杂约束的部署问题,对于不同约束均能快速给出最优部署方案.本文还讨论了重点区域覆盖和冗余覆盖等因素,最后给出模拟仿真.仿真结果表明,本算法给出的部署方案一方面保证了对整个区域全覆盖,另一方面让冗余度尽可能小,避免了资源浪费.      

求关系模式所有最小基数候选关键字的一种多项式算法

本文深入分析了最小基数候选关键字在关系模式中的结构特征,提出了化简独立复合环、独立简单环、化简双部属性函数依赖图等概念.在此基础上,给出了求一个关系模式所有最小基数候选关键字集的多项式算法.     

S-粗集的信度特征

利用S 粗集理论和元素迁移的随机性，提出元素迁移的信度及信度函数的概念；给出了单向S 粗集与双向S 粗集的依信度生成；讨论了S 粗集依信度生成的特性．     

数学模型的图论方法

阐述了数学模型及其本质，以典型实例论述了数学模型的图论方法，并介绍用图研究的一些领域。     

电网检修计划设计的智能分析与可视化实现

为了降低在制定电网检修计划上的复杂度和减少检修中的错误率，设计了一种电网的在线检修计划系统．该系统首先定义了电网设备的冲突关系，建立了设备冲突表．在此基础上，综合分析了电网接线结构，建立了包含检修单位、变电站、设备类型、各种用户等信息的知识库．又将设备的关联关系抽象成有向图，并通过有向图的深度和广度遍历算法自动生成检修计划书，以图形的方式对检修计划的原始报告进行智能分析并直接显示结果．实地实验结果表明，该系统是有效的，实现了在线检修计划设计的智能化、可视化和科学化．