基于函数依赖图的关系模式规范化方法

在关系型数据库设计过程中。关系模式规范化是关系型数据库逻辑设计的重要步骤。按关系模式的范式定义进行规范化存在不便于操作,分解构成效率低。本文提出了一种以函数依赖图为基础的图示化关系模式规范化方法。实例说明,利用这种方法进行关系模式分解。具有分解过程直观和效率高等特点。     

基于函数依赖的XML冗余检测算法

XML保持语义下的冗余检测问题对于防止XML文档的更新异常和减少XML冗余信息的存储具有很大意义,是XML规范化理论的关键问题之一。对XML schema、树元组、XML键、XML范式等进行研究,定义基于schema的XML函数依赖形式化模型,并基于该定义模型设计一种新的XAP算法,可有效发现XML文档中的函数依赖和冗余,并对算法的复杂性进行分析。     

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

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

XML函数依赖研究

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

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

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

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

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

基于BCNF的数据模型的层次分解算法

模式分解是减小关系数据库数据冗余，排除操作异常的有效工具，同时也是关系数据库数据模型设计的难点。针对该问题，本文基于分层递阶的思想，提出了一种方便可行的基于BCNF的数据模型的层次分解算法，为模式分解提供了新的方法，并通过实例验证了算法的有效性。     

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

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

函数依赖集在属性子集上投影新算法

分析了分解法分解关系模式在数据库设计应用中存在的问题是函数依赖集在属性子集上投影的计算问题，而后对该问题提出了解决的方法和技术，并设计了具体的算法。该算法为解决此计算问题提供了一个有效途径，给分解法分解关系模式在数据库设计中的应用创造了更有利条件。     

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

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

一种基于模式的XML文档存储方法

提出了一种基于模式的XML文档存储方法,在考虑映射维度和独立于后台关系数据库的基础上,通过在模式中针对多种映射维度添加注释来定义映射,从而支持多种映射策略,简化了映射过程.给出了应用示例和原型系统的设计与实现.     

基于模式映射的GML文档存储

随着地理信息系统GIS(Geography Markup Language)的广泛应用,GML己经成为事实上的空间数据编码、传输、共享和发布的一种国际标准。近年来,大量GML数据以文档形式出现,对如何高效地存储和管理GML数据提出了新的挑战。根据GML文档的特点,提出了一种基于模式映射的存储方法。首先,根据映射规则将GML模式生成对象-关系数据库模式;其次,解析GML文档并根据映射信息构造相应的SQL语句,将数据存储于数据库。实验表明,提出的存储方法是可行、高效的。     

基于模式矩阵的全部主属性求解算法的研究

本文在模式矩阵理论研究的基础上，将关系模式对应的模式矩阵的全部极大同类块求出，变换，给出一个全部主属性求解的多项式时间算法。     

一种基于Z规范的纯函数式程序设计方法

状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统.通过将状态、输入和输出封装在一个Monad内,提出一种基于Z规范的纯函数式程序设计方法.     

一种基于数据挖掘的Deep Web模式匹配方法

模式匹配是Deep Web异构信息集成中的关键问题.介绍了一种整体性匹配方法,即同时发现大量模式,并一次性进行匹配.主要通过分析和比较两种已经存在的大规模模式匹配原型系统:MGS和DCM,结合它们核心算法的优点,提出一种新的基于数据挖掘技术的算法(Correlated-clustering).该算法先利用积极相关发现组匹配,再通过概念相似度的计算聚类同义属性,最后进行匹配选择.实验结果表明,本算法全面、效率高,充分体现了整体性方法的思想.     

MDBI中基于语义的多数据库模式集成方法

模式集成或转换是多数数据库集成研究中的一个非常重要的领域,同时也是多数据库集成过程中比较难以解决的一个问题,针对ＭＤＢＩ多数据库集成器的特点,本文主要介绍其模式集成方面的初步实现方法,首先给出ＭＤＢＩ模式集成的功能构成,然后描述了一个模式集成的大致过程;最后提出一种计算模式相似性的公式。     

十进制编码遗传算法的模式定理研究

根据遗传算法中采用的编码策略,可将遗传算法分为两大类：二进制编码遗传算法和十进制编码遗传算法．二进制遗传算法的数学基本定理是模式定理,但对于十进制编码遗传算法是否也存在其模式定理是待探讨的问题．本文在十进制数编码遗传算法的理论基础上,给出十进制编码遗传算法的相应概念并引入符号基因表和模式不变位的概念,根据十进制编码遗传算法的简单遗传算子对其模式的影响,推导出十进制编码遗传算法的模式定理．     

基于统计学习的人脸定位评估函数的构建

Gabor核函数的幅值反映了图像局部的能量,且在真实边缘附近具有良好的光滑性,适宜于匹配识别;AdaBoost算法用于Gabor特征集中选择最优特征.每个特征对应一个弱非类器,集合所有弱分类器组成一个最终分类器.构建了基于上述特征的人脸定位评估函数.实验表明,其对主动外观模型和主动形状模型的人脸定位有很好的评估功能.