连接依赖若干问题的讨论

一、引言关系数据库简单灵活,数据独立性高,理论严密,因此获得人们的普遍重视。在关系数据模型中数据必须满足一些约束条件,且数据的语义性质集中体现在依赖约束上。随着对关系数据理论研究的不断深入,已提出各种形式的数据依赖:函数依赖(FD)、多值依赖(MVD)、层次依赖(HD)、连接依赖(JD)等,并相应地给出第一到第五范式的定义。目前文献中对第一范式到第四范式观范化都有较充分的分析和论证,然而,对如何从第四范式规范为第五范式的过程仍缺乏详尽的合理论证,原因在于对连接依赖的定义不够严密,目前文献给出的连接依赖的定义,有时会导出不正确的结果。由于连接依赖是一种强有力的数据约束,从某种意义上讲,FD,MVD,HD 等都可视     

索引依赖背景异常的消除

1.引言 索引依赖是一种特殊的函数依赖,它与一般的函数依赖不同,“背景”对它起着决定性的作用。大量的实践表明,在自然朴素地给出背景的情况下,当属性的次序有某些变化时,可能会出现不应有的异常。 例如:有一个关系模式R,它包括四个属性,即R={姓名,学籍,分数,奖学金},其中dom(学籍)={预科,本科},(预科<本科),dom(分数)={0,1,…,100}(按整数序),dom(奖学金)={30,40,60,70,90}(按整数序),dom(姓名)(按常规)(这里dom(A)表示属性     

XML函数依赖研究

为了消除数据冗余,基于关系数据模型的函数依赖理论已经被广泛接受并应用于关系数据库的设计中。XML数据库中同样存在数据冗余。为了设计没有冗余的XML数据库,需要用一种简洁、易于理解的方法来定义XML数据问依赖关系。在无序的结点标记树数据模型上定义了XML子树间的函数依赖,并且给出了一套公理系统用来推导函数依赖,以解决函数依赖的蕴涵问题,最后证明了该公理系统是合理的。     

平凡前兆依赖的取值及一种划分技术

在文[1]的基础上,给出了平凡前兆依赖的五种取值方式.特别地,给出了历史数据库上的一种划分技术,导致了一类知识的提取.     

带继承依赖的关系数据模型

岙向对象技术为关系数据库设计提供了一些有用的方法，本文给继承约束的概念，并证明了继承依赖的推理规则是正确、完备的，本文还得出继承依赖闭包、继承依赖的极小集合等一系平行于函数依赖的结论。面     

空值环境下子集依赖的研究

为了研究ＮＥＭＶＤ，ＮＥＪＤ的完备的推导公理，因此对ＮＥＭＶＤ，ＮＥＪＤ的研究转向寻找一种新的依赖类的研究。本文给出了空值环境下子集依赖的概念，讨论了强，弱保持下的自反律，传递律的存在条件，在此基础上用图算法证明了它们关于ＮＳＤ强保持是完备的。     

数据依赖的蕴涵问题

本文介绍数据库理论中重要的多值依赖，连接依赖和生成元组依赖及其蕴涵问题，同时给出了比较全面和新的研究进展。     

一种理性的数据库模式设计方法--范式方法

介绍了一种理论性较强的数据库模式设计方法———范式方法。范式方法基于函数依赖及范式理论。最终的数据库模式必须满足BCNF模式集或3NF模式集、无损联接和保持函数依赖这三个特性才是一个可用的数据库,才不会出现各种操作异常(插入、删除)并且能大大地减少数据冗余。     

紧致依赖与内涵亏值

提出了"内涵亏值"与"紧致依赖"的概念,证明了由"紧致依赖"组成的依赖基对于"左部加属性、右部减属性"这一规则的公理系统是无冗余而完整的.由此发现了除Guigues-Duquenne基以外还有其他无冗余完整依赖基,改变了只有唯一的一个无冗余完整依赖基的传统观念,揭开了寻找多种无冗余完整依赖基以满足多样化需求的序幕.     

一种面向产品线的特征依赖建模方法

特征依赖建模是描述特征间相互约束的模型,是软件产品线开发中的一项关键活动。引入了特征局部依赖和全局依赖关系,在对特征依赖关系分析的基础上,提出了一种特征依赖建模方法,该方法不仅支持分解、泛化等特征局部依赖描述,还支持配置依赖、运行依赖和影响依赖等全局依赖建模。通过一个空调控制系统的产品线特征依赖建模实例验证了该方法的有效性。     

基于模糊依赖的实时数据库的快速恢复

在实时数据库中，对数据的操作有硬实时要求。当数据被损坏时，传统的故障恢复技术（根据日记进行undo和redo操作）远远不能满足其需求。提出了一种基于模糊依赖的数据恢复方法用以满足实时应用的要求。该方法是利用数据挖掘技术生成的依赖信息快速的生成可接受的模糊值。     

基于Rough Set理论发现最小归纳依赖关系的方法研究

归纳依赖关系是数据库研究领域的重要概念,在数据库中自动发现最小归纳依赖关系对数据采掘具有重大意义。介绍了归纳依赖关系的概念、原理及利用Ｒｏｕｇｈ Ｓｅｔ理论度量数据属性间归纳依赖强度的方法,提出了一个在数据库中自动发现最小归纳依赖关系的算法。     

关于传递闭包和函数依赖完备公理系统存在的问题研究

数据依赖在数据库设计中起着十分重要的作用，自Ｃｏｄｄ提出函数依赖，Ｆａｇｉｎ引入多值依赖后，近几年来人们又根据设计中的需要引入多种新的依赖，如在工程数据库设计中所引进的传递闭包依赖等，对这些依赖一般是按其是否具有完备的公理系统而划分为两大类，因为完备性公理系统往往具有有效的判定算法为先决条件。本对ＣＤＳ和ＦＤＳ的ｋ元完备公理系统存在问题进行了研究，证明了ＣＤＳ和ＦＤＳ不具有共同的Ｋ元完备公理系统     

基于语义贴近度的模糊数据依赖

本文基于语义贴近度的概念给出了模糊函数依赖（ＦＦＤ）、模糊多值依赖（ＦＭＶＤ）和模型联接依赖（ＦＪＤ）的定义。本文得到一组类似于Ａｒｍｓｔｒｏｎｇ公理的正确、完备的ＦＦＤ和ＦＭＶＤ的推理规则。进一步，我们证明了经典数据依赖满足模糊数据依赖的定义，ＦＦＤ是ＦＭＶＤ的特例，而ＦＭＶＤ又是ＦＪＤ的特例。     

约束数据库中的分解与无损连接

约束数据模型作为一种新的数据库模型正受到广泛关注，为了约束数据库的有效应用，需要研究的设计。为此对密序约束数据中的变量独立函数依赖，模式设计，分解，无损连接规范表示概念给出了严格的定义。给出了计算规范表示的算法，它能保持约束元 组的变量独立，并证明了它的正确性。     

关系数据规范理论第五范式的缺陷

剖析了连续依赖的本质。并提出其产生的条件和处理的方法。指出连续依赖出现在联系关系中，且并不少见。但不能以一组５ＮＦ去替代原关系。否则会丢失信息。必须采用该文提出的方法去处理。     

概念格的内涵缩减与数据库推理依赖

值依赖是数据库推理问题研究的一个新课题.首先介绍了形式背景和概念格,提出了值依赖的形式概念模型.将数据属性的安全敏感级别引入到值依赖研究中,提出推理依赖及α极大推理依赖概念,并建立了形式概念格的内涵缩减与数据库推理依赖之间的关系.进一步证明了由概念格的内涵缩减推导出数据库中完备的、无冗余的α极大推理依赖集.最后提出并实例验证了发现数据库中全部推理依赖集的算法.推理依赖是关系数据库中最重要的属性依赖关系之一,其研究对检测和消除数据库推理通道具有十分重要的意义.     

基于依赖关系的大规模主题数据库的分解模式

本文对主题数据库之间的依赖关系进行了定义和说明,并细分其为实体依赖和操作依赖.在此基础上,对主题数据库之间的依赖关系进行了度量,提出了主题数据库之间的相对依赖度和相对被依赖度,并以此确定主题数据库的规模大小.最后给出了分解主题数据库算法的描述.通过这个算法可以把大规模的主题数据库科学地分解成若干个子主题数据库,降低子主题数据库之间的依赖度,同时又保证了主题数据库内部的联系是紧密的,大大提高了检索数据库的效率,并且有利于对主题数据库的管理和维护.     

对象依赖和关键字的性质的初步研究

本文讨论了对象依赖集合和关键字的一些性质，首先给出有关对象依赖（OD）和关键字等的基本概念，然后讨论对象依赖的一些性质，最后给出并证明获取一个OD集合的所有关键字的JINGSI算法。     

过程内控制依赖的计算

对于广泛的软件维护和测试任务而言,控制依赖信息是很有用的。软件工程中控制依赖通常用来确定一条程序语句语义的变化是否影响其它程序语句的执行。控制依赖是在图论的后必经概念的基础上定义的,控制依赖关系的标准表示是控制依赖图(CDG)。论文着重介绍了一种计算过程内控制依赖的算法,并分析了该算法的时间和空间复杂度。