函数依赖与多值依赖的再研究

从不同角度对关系数据库理论中函数依赖(functional dependency,FD)与多值依赖(multi-valued dependency,MVD)及其关系进行了深入研究。从经典关系数据库理论、粗糙集与形式化概念分析出发,探讨了它们对函数依赖与多值依赖的研究视角,得出了关于两种依赖的一些重要结论。     

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法．这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础．     

多值依赖MVD保持性的研究

基于数据依赖基于概念给出了保持多值依赖MVD集的定义，提出了构造联接树的算法，生成MVD集与保持MVD集的检验算法，同时对算法给出了证明。     

基于MVD模式矩阵的多值依赖最小覆盖算法研究

给出了基于MVD模式矩阵的多值依赖公理系统及定理,根据这些定理,给出了基于MVD模式矩阵的多值依赖最小覆盖算法。     

关于多值依赖的几点注记

目前诸多流行的数据库原理教材中对多值依赖问题的讨论均显得不够充分,对此,本文从两个方面进行了有针对性的探讨。首先对多值依赖两种定义的等价性进行了证明;其次也给出了几个重要结论的有效证明方法。     

基于树元组的XML文档中的多值依赖

XML模式设计是XML数据库设计的关键，同关系数据库相似，对引起XML数据更新异常的原因及消除更新异常的方法进行研究具有重要的意义。与Vincent等人不同，本文在DTD一级对XML文档中的多值依赖进行了研究。首先分析了XML文档模式设计的研究方法，其次，重新给出了XML树，树元组等的定义，消除了Arenas等人在定义模型“相等”上的二义性，并基于DTD提出了XML多值依赖的概念。最后，分析了XML中多值依赖的公理系统及蕴涵问题并指出了XML多值依赖未来的研究方向。     

多值背景的属性约简及其上的函数依赖提取

提出了一种多值背景的属性约简及其上的函数依赖提取算法.该算法分为两部分:(1)对属性进行约简,进而可以去掉一些不重要的属性;(2)将多值背景转换为单值背景,然后基于形式概念分析理论来获取原多值背景中的函数依赖.最后通过实例验证了该算法的有效性.     

XML弱多值依赖的推理规则

数据约束是数据库规范化理论的基础,不完全信息引入XML文档后,需要重新定义数据约束。基于XML Schema、符合XML Schema的不完全XML文档树、子树信息等价和子树信息相容等定义给出了XML弱多值依赖的定义和性质;为了研究数据依赖的逻辑蕴涵问题,给出了XML弱多值依赖的推理规则集,并对其正确性进行了证明。以上研究为不完全信息环境下存在XML弱多值依赖的XML文档的规范化研究奠定了基础。     

多值依赖与不完全信息数据库

本文讨论了含空值的关系实例对于多值依赖的满足性。与若干现有文章相比,本文着重讨论了各种情况下满足多值依赖集的合法完全实例的存在性的判定方法。     

模糊关系数据库系统中的函数依赖与多值依赖

用模糊关系数据模型来描述不分明的模糊数据是关系数据库理论发展中的一个重要的新课题。本文用模糊等价关系及其隶属函数来描述模糊函数依赖与多值依赖,看出经典数据依赖是模糊数据依赖的特例。并且证明相应于Armstrong公理的一套模糊数据依赖的推理规则是正确、完备的。     

基于语义依存线索的事件关系识别方法研究

以事件为基本语义单元, 基于事件的篇章结构信息及语义特征, 通过分析事件的语义依存关系及其在演化过程中的语义依存规律, 提出基于语义依存线索的事件关系识别方法, 实现事件语义关系的浅层检测: 判定事件之间是否存在语义关系。实验结果显示, 相比于传统的基于语义相似度的识别方法, 新提出的基于事件语义依存线索的事件关系识别方法获得了5%的性能提升。     

基于变量依赖关系模型的变量重要性度量方法

为了减少变量变更的代价,需要评估变量在程序中的重要程度。对变量的重要性度量有利于合理安排软件测试资源,保证软件质量。通过分析程序中各变量状态,利用变量间的依赖关系构建变量依赖关系模型,将图论和变量重要性度量相结合。针对现有节点重要性度量方法存在的局限性问题,提出一种新的基于变量依赖关系模型的变量重要性度量方法。实验表明,该方法在变量重要性度量方面的准确性相比其他方法有所提升。     

构件依赖的描述和实现

随着构件技术的发展,越来越多的企业以可重用的构件来搭建自己的核心信息系统.但是,这些构件通常是由不同的开发者在不同的环境下,以不同的方法学来开发完成的,不了解这些构件的依赖关系,很难构建出健壮高效的软件系统.该文提出一种描述构件间依赖的方法,设计了一套机制来完成构件间依赖的动态更新,并在模型中进行了实现.在基于CORBA的实现原型上的性能测试表明了该方法和机制的可行性.     

构件依赖性的显式表达

构件依赖关系的显式表达对于基于构件的软件开发是十分重要的．通过对构件生产的领域分析,提取了一个特殊的依赖表达构件,进而给出了一种新的构件依赖关系的显式表达方法。     

对连接依赖及5NF的修正

本文通过对连接依赖[1]的分析和研究,提出了真连接依赖和最简连接依赖的概念。剔除了两类容易造成误解的连接依赖,在此基础上给出了新的5NF的定义,为判定算法的研究奠定了基础。     

分类变量关联性的一个应用

本文把衡量分类变量关联性的方法应用于台风暴雨过程的因子分析,进而对暴雨过程者预报。     

基于细粒度依存关系的中文长句相似度计算

长句是中文书面语的常见现象,其由于结构复杂在计算句子相似度时难度较大。综合考虑依存关系中的关键元素,对中文依存句法树进行研究和分析,提出了一种细粒度依存关系的相似度计算方法。通过研究依存句法树中的各节点的词语、词性以及它们之间的依赖关系及其重要性权重等多个特征量,给出了两个依存句法树的相似度计算方法;基于该算法实现中文长句的相似度计算。实验结果表明该方法用于计算中文长句相比较其他算法有更高的准确率。     

基于层间特性的多级小波收缩去噪算法

该文提出了一种新的基于层间特性的多级小波收缩去噪算法．该算法根据图像小波系数的层间相关特性来确定各层的收缩阈值，并将这些收缩阈值用于图像去噪．实验表明：该算法比传统的算法能更有效地减少噪声，获得更高的PSNR．同时，新的算法还能减少高质量图像中的噪声．     

基于数据依赖和触发器的简单子任务调度算法

针对在数据库管理系统环境下实现的分布式子任务计算平台,提出了一种基于数据依赖、采用触发器实现的简单分布式子任务调度算法,可有效保证分布式子任务调度的准确性和一定程度的及时性.首先介绍了采用人工划分的基于执行阶段的子任务调度思想,并结合数据依赖调度算法,证明了两者之间的相似性和密切联系,然后进一步提出基于执行阶段的分布式子任务调度算法,为在数据库环境下实现的分布式子任务计算提供了一种简单、快捷、正确的调度算法.