基于路径函数依赖和键约束的复杂对象嵌套结构规范化

为了消除面向对象模型中复杂对象结构中的冗余，避免更新异常，基于路径函数依赖和键约束的概念，分析了嵌套结构中导致冗余和更新异常的原因并给出了3个不同级别的范式和一个规范化算法。而且，对算法的终止性、正确性及时间复杂性进行了证明和分析。     

规范化对象模式森林--复杂对象模式的范式

首先，我们基于对象间的语义关系，定义对象依赖，并讨论了其相关的定义及其性质，然后定义了对象范式－－规范化对象模式树和规范化对象模式森林，指出规范化对象模式森林是我们所要求的复杂对象模式的结构。     

开放对象结构的规范化

开放对象模型是一个依循环辨证法并按系统论观察世界，同时集成ＡＩ，ＯＯ和ＤＢ三个领域知识，具有自组织，自我进化能力的智能模型，本文采用有向图可视化它的结构，并形式地讨论它的一般结构：标记有向图以及特殊结构树图和分级图等。     

WHYMX的嵌套事务管理

嵌套事务管理是工程数据库领域亟待解决的重要研究课题之一。本文对嵌套事务的概念、模型、并发控制和恢复进行了初步探讨,论述了 WHYMX 的嵌套事务管理机制。     

DTD的规范化

一个设计良好的DTD对于XML应用来说是必须的,从消除文档内数据冗余的角度出发研究了这一问题。函数依赖是数据语义的重要组成部分,将它引入到XML的领域中。给出的函数依赖可以是绝对的,也可以是相对的,键只是它的一种特例。讨论了逻辑蕴涵及其相应的推理规则,并证明了推理规则集的正确性和完备性。基于函数依赖,提出了规范化的DTD概念,并给出了一个将DTD转化为规范化形式的算法。     

实例分析关系模式的规范化与反规范化

规范化是减少数据冗余、设计合理的数据库的重要手段,是数据库课程的重点。由于涉及到关系数学理论,仅做理论讲解,很难使学生理解,尤其是高职层次的学生。本文通过一个关系模式不断分解、规范化的实例,采用逐步深入的方法解决数据库设计中存在的问题,使学生既掌握数据库设计的技能,也加深对函数依赖、规范化理论的理解。     

继承性实现嵌套关系的方法

1引言 所谓嵌套关系(即非第一范式),即是允许关系中的属性又可是一个关系,打破了关中属性必须是原子属性的约束,可以出现表中有表的情况,用以表示具有层次结构的复杂对象提高了关系模型表达现实世界的能力。     

XML DTD规范化处理应用研究

从消除XML DTD文档内数据冗余的角度出发研究了文档的规范化问题，首先引入XML DTD上路径和函数依赖的定义，并提出定义XML上的数据冗余；其次基于函数依赖，提出了规范化的DTD概念和XML DTD规范化处理规则；最后给出了一个将XML DTD转化为规范化的处理算法。     

XML文档规范化算法研究

函数依赖对关系数据库和XML文档都是一种重要的语义表达。文中对XML文档中存在的函数依赖、部分函数依赖和传递函数依赖进行分析,对规范部分函数依赖提出XML第二范式,对规范部分函数依赖和传递函数依赖提出了XML第三范式,给出了相应算法,并进行了无损联接性和函数依赖保持性证明,对可终止性和时间复杂度进行了分析。     

基于LLVM Pass的复杂嵌套循环自动并行化框架

随着多核处理器的普及应用,针对嵌入式遗留系统中串行代码的自动并行化方法是研究热点.其中,针对具有非完美嵌套结构、非仿射依赖关系特征的复杂嵌套循环的自动并行化方法存在技术挑战.提出了一种基于LLVMPass的复杂嵌套循环的自动并行化框架(CNLPF).首先,提出了一种复杂嵌套循环的表示模型,即循环结构树,并将嵌套循环的正则区域自动转换为循环结构树表示;然后,对循环结构树进行数据依赖分析,构建循环内和循环间的依赖关系;最后,基于OpenMP共享内存的编程模型生成并行的循环程序.针对SPEC2006数据集中包含近500个复杂嵌套循环的6个程序案例,分别对其进行复杂嵌套循环占比统计和并行性能加速测试.结果表明,提出的自动并行化框架可以处理LLVMPolly无法优化的复杂嵌套循环,增强了LLVM的并行编译优化能力,且该方法结合Polly的组合优化,比单独采用Polly优化的加速效果提升了9%-43%.     

函数依赖和规范化在关系和XML间的传播

XML和关系的结合是一个重要的研究领域,讨论函数依赖和规范化在关系及XML间的传播问题.首先引入XML上函数依赖和键的定义,并进一步定义XML上的数据冗余和规范化DTD的概念.分别讨论在关系和XML相互转化的过程中,函数依赖的传播问题.针对一种一般化的关系模式DTD表示,证明原有关系中的函数依赖可以在生成的XML文档上得到表示.针对一种常见的XML关系存储方法,说明最终生成关系上的函数依赖与原有XML上函数依赖的对应关系.函数依赖传播的核心意义在于规范化的传播.证明使用上述方法时,若原有的关系是满足BCNF的,则发布得到的DTD也是规范化的;若原始的DTD是规范化的,则得到的关系存储也满足BCNF范式.     

一个多时间粒度下时态函数依赖的有限属性闭包算法

为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化.时态模式规范化所要解决的一个关键问题是求解时态函数依赖的有限属性闭包问题.由于多时间粒度的使用,使得有限属性闭包问题变得非常复杂.实际上,TFDs与传统的函数依赖(FDs)之间存在着密切的联系.通过分析这些联系和封闭时态类型集的特性,利用传统FDs的相关算法提出一个有效的求解有限属性闭包的算法.通过分析和与相关算法的实验比较,该算法更加有效.     

Normalization of Class Hierarchy in Databases

In complex object oriented databases,the purpose of introducing class hierarchy is to express ISA semantics,to realize inheriting and to reuse schema definition codes.The schema defintition and schema evolution,based on the partial order of lattice,often cause the loss o information inheriting and the redundance of schema definition.Based on the fullness of the inheritance shown by class hierarchy,three normal forms of class hierarchy are given in this paper,and a general algorithm of normalization of class hierarchy is presented,following the Boolean algebra model of class hierarchy.The loss of information inheritance can be avoided when they are applied to schema design and schema evolution.     

多时间粒度下时态函数依赖集的成员籍算法

为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化。类似于传统的函数依赖(FDs),TFD集的成员籍问题是时态模式规范化所要解决的一个关键问题。由于多时间粒度的使用,使得有成员籍问题变得非常复杂。为了有效地解决此问题,分析了TFDs与FDs之间存在的联系和封闭时态类型集的特性,并且基于提出的有限导出时态类型集及其求解算法,提出一个有效地解决TFD集的成员籍问题的算法。     

一个多时间粒度下时态模式的T3NF分解算法

对于时态数据库，时间维的引入使得如何有效地进行数据库设计以消除数据冗余和插入、删除异常显得尤为重要．可以通过支持多时间粒度的时态函数依赖（TFDs）约束对时态数模式进行规范化．但是多时间粒度的使用给数据库设计带来巨大的复杂性．一般来说，系统所能处理的和相当多的应用所涉及到的时态类型集满足全序关系．对于这种具有全序时态类型集的时态模式，通过分析TFD臬所具有的良好特性，给出了一个得到满足时态第三范式（T3NF）的无损分解的多项式时间的算法．