关系模型规范化的有关理论与应用

在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了研究，证明了关于Boyce—Codd(BC)范式两个定义的等价性，提出了关于BC范式的一个实用的判定定理并加以证明．提出了一整套实用关系规范化的具体方法，有助于关系规范化理论的进一步完善及其学习和运用。     

BC范式的判定定理及关系的规范化方法

在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了探讨。首先证明了关于BC范式两个定义的等价性，然后提出关于BC范式的一个实用的判定定理并加以证明，最后系统地提出一整套实用的关系规范化的具体方法和步骤。这些研究有助于关系规范化理论的进一步完善及其学习和运用。     

XML文档规范化和反规范化

从数据库角度分析了XML文档中存在的间接函数依赖、传递函数依赖、多值依赖,阐述了间接函数依赖和传递函数依赖规范化所对应的第1范式、第2范式及多值依赖规范化所对应的第3范式,提出了4个文档规范化规则,这些规则分别消除了间接函数依赖、传递函数依赖、多值依赖,同时从文档规范化的性能因素方面探讨了反规范化的有用性.     

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

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

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

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

复杂对象模式的规范化设计

该文给出了复杂对象模式的规范化设计。复杂对象模式的规范化设计不仅是将对象组合到相关联的关系中，而且要选择一个能很好地表示对象间的语义关系的结构。首先，基于对象间的语间关系，定义对象依赖；然后定义对象范式－－规范化对象模式树和规范化对象模式森林，并且讨论对象范式的特性，指出规范化对象模式森林是所要求的复杂对象模式的结构；最后给出了导出规范化对象模式森林的MIMI算法。     

规范化与反规范化理论在图书订购系统中的应用

关系数据库的规范化理论是判断一个数据库逻辑设计是否合理的重要手段,取图书订购系统的数据库设计为例,采用逐步深入的方法解决了数据库设计中存在的问题,并使关系模式满足更高级别的范式要求.同时,分析了反规范化理论在数据库设计中的应用.实例研究证明,在进行关系模式设计时,并非范式的级别越高,数据库系统的性能就越好,需根据实际需求.合理设计数据库模式.     

关系数据库中关系模式的规范化过程

关系数据库的设计主要是关系模式的设计,一个关系数据库由多少个关系模式构成,每个关系模式包括多少个属性都是很讲究的。而关系规范化理论研究的正是关系模式中各个属性之间的依赖关系及其对关系模式的影响,因而规范化成为设计关系模式的重要标准。本文介绍了几种不同级别的范式,并通过实例讲述如何分解关系模式使其满足高一级范式的规范化过程。     

XML函数依赖

函数依赖在关系数据库中起着基本的作用,尤其是用在完整性约束和数据库设计方面。近年来已定义了XML上的函数依赖。本文采用了一种新的定义方式,即在树元组上定义函数依赖,同时给出了函数依赖的推理规则。     

XML范式理论及规范化规则

针对XML模式设计中的规范化问题,总结出一套较系统的规范化理论,包括函数依赖、4种XML范式和2种XML规范化规则,并通过具体的实例,说明了这些XML规范化规则的应用.以此帮助解决XML实例文档出现的数据冗余和不一致问题.     

强函数依赖及其在XML范式中的应用

本文用一种“强满足”的方法，把函数依赖的定义扩展，使其符合不完全XML文档的情况，并把这种函数依赖称作XFD。在此基础上，给出了XML文档的一种范式。     

多维数据库研究

本分析了多维数据库定义,讨论了维内属性的函数依赖关系和维间正交的约束条件,并且给出了RDB的MDB描述形式。     

XML的函数依赖

为了表达引起数据冗余的XML函数依赖,研究了XML中存在的复杂的多种形式的函数依赖约束,提出了一种DTD的路径语言,对于导航和定位XML文档的内容具有较强的表达能力.提出了一套XML模式及文档的形式化描述方法,进而提出了一种XML函数依赖(XFD)的定义.与以前的XML函数依赖的定义进行比较,展示了XFD可以表达更多的XML上存在的函数依赖,可以概括以前的基于路径表达式定义的XML函数依赖的约束能力.     

“形式与语意兼顾”理论在大学英语课堂教学中的应用

Focus on form是在语言教学中兼顾形式与意义的一种新型的教学方法,已成为当今二语习得研究领域的热点.论述了focus on form的定义及其理论基础,讨论了它与传统的语言形式教学方法focus on fomls的区别,阐明了在大学英语教学中运用此教学方法的必要性,并按其分类提出了具体的教学方法.此教学方法探索对改进大学英语教学质量有一定的启示作用.     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

基于加权综合的样本分类算法

首先分析了粗糙集理论中现有属性依赖性定义的不合理性，然后给出一种新的属性依赖性度量．根据这种依赖性度量，给出属性重要性的定义，再以这种属性重要性为权重，给出一种基于加权综合的样本分类算法。由于属性的重要性是由条件属性相对于决策属性的依赖性决定的，它的数值相对比较客观，这样解决了常用的定权方法的弱点，它们一般是凭经验或由专家给出，具有相当的主观性。     

基于近似函数依赖的批处理模式挖掘方法研究

批处理依赖是一种特殊的函数依赖,但其定义的推理规则过于严格而不适用于含噪数据.为了从含噪数据中挖掘出有价值的批处理依赖,在批处理依赖研究的基础上,提出了近似批处理依赖的概念,并通过引入可信度、特异度等度量指标,提出了相应的近似批处理依赖挖掘算法;最后通过实例说明了算法过程及其有效性.     

Functional Dependencies and Its Axiom System in XML

According to the analysis of existing complicated functional dependencies constraint, we conclude the conditions of defining functional dependency in XML, and then we introduce the concept of the node value equality. A new path language and a new definition of functional dependencies in XML （XFD） are proposed XFD includes the relative XFD and the absolute XFD, in which absolute key and relative key are the particular cases. We focus on the logical implication and the closure problems, and propose a group of inference rules. Finally, some proofs of the correctness and completeness are given. XFD is powerful on expressing functional dependencies in XML causing data redundancy, and has a complete axiom system.     

多值依赖MVD保持性的研究

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