标准函数依赖覆盖集及其求解算法

对函数依赖集进行优化数据库设计的重要环节。本文对数据库模式中函数依赖的标准函数依赖覆盖集进行了研究和对其内涵进行了分析,导出了求解标准函数依赖覆盖集算法,并给出了正确性证明。     

一种有效的最小函数依赖挖掘方法

数据库设计和管理工具中，从已知数据库发现函数依赖是一个重要的技术。本文基于自由集的概念，讨论了最小函数依赖（FDs）的一个新特性和相关重要性质，并给出一个有效的最小函数依赖挖掘算法。     

XML局部函数依赖

函数依赖在关系数据库中起着基本的作用,尤其是用在完整性约束和数据库设计方面。同样地,这些约束在中XML也起基本的作用。近年来已定义了XML上的函数依赖。本文扩展了在XML中函数依赖以前的定义,使之成为XML局部函数依赖;同时给出了局部函数依赖的推理规则。     

XML函数依赖

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

模糊关系数据库的函数依赖及应用

在关系数据库中引入模糊数学思想,运用模糊数学的表示方法来描述实体,并且存放在数据库中,由此形成了带有模糊意义的数据库系统。研究模糊数据库中函数依赖理论,具体讨论模糊数据库中函数依赖的基本定义和基本公理系统以及在模糊关系数据库中的应用实例。     

XML文档规范化和反规范化

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

关系数据库中的范式定义问题研究

范式是数据库设计的规范化准则,利用范式理论设计关系模式能较好地满足用户需求且优化数据库性能。本文对关系数据库的规范化理论和四种范式做了简要介绍,并对范式定义和函数依赖关系进行了探讨。针对第二范式定义的不严密性,提出了修正的第二范式定义,进一步界定范式概念中函数依赖关系的范围。     

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

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

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

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

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

研究了函数依赖集在属性子集上投影的理论问题.在此基础上开发了算法,成功地利用消元法解决了函数依赖集在属性子集上投影的计算问题,对于数据库模式设计有一定的参考价值.     

一种层次关系数据库设计法

本文给出一种层次关系数据库设计法.它考虑了包含语义及结构信息的自然层次联系,提出层次依赖与关系层次树的概念,引入关系的分层结构思想来构造数据库视图.文中给出了完整的设计过程与详细的算法,以表示层次、群体与凝聚联系的最小基本依赖集为基础,对初始关系模式逐步求精分解而建立关系层次树,最后转换成层次关系数据库模式.     

应用XSL验证XML的函数依赖

为了增加语义,把关系数据库理论中的函数依赖概念引入到XML约束中.由于XML的层次结构,XML函数依赖的描述与验证比关系模型要复杂得多.就两种函数依赖类型给出了一个基于XML样式单语言(XSL)的验证算法.对于XML文档实例,应用该算法实现的XSLT程序,可以直接由Web浏览器打开,并显示出是否满足给定的函数依赖的验证结果.     

在听力教学中培养学生的常规关系意识

常规关系是新格赖斯语用机制中一个极为重要的概念。常规关系是人们自觉或不自觉认识事物的一种视角、一种图式、一种框架、一种模型。文章简单介绍了常规关系的理论,讨论了在听力教学中培养学生的常规关系意识的意义及方法,认为在听力教学中培养学生的常规关系意识,有助于提高学生的听力预测能力,增强学生对于涉及英语国家文化的听力内容的理解能力,从而达到通过语言教学提高学生跨文化交际能力的目的。     

与或图数据库的关系模式规范化算法

在图论基础上提出了与或图数据库。以与或图为描述工具的一种新的数据库理论 ,它使数据库的理论更加直观 ,算法更加简洁。给出了与或图数据库的定义、规范化理论、无冗余和既约化理论 ,证明了它与关系数据库的等价性 ;然后给出了依赖集存在冗余和既约的必要条件 ,讨论了无损分解在与或图形式下的特性 ,从而形成了与或图数据库关系模式分解的规范化算法。结合实例阐述了与或图数据库比关系数据库更加形象直观 ,便于理解学习 ,且为图论和人工智能各种算法在数据库应用中的引入奠定了相应的基础     

基于矩阵到3NF保持函数依赖的模式分解

利用矩阵这一工具，研究了到３ＮＦ保持函数依赖的模式分解，文中基于矩阵给出了判定３ＮＦ的若干定理，并提出矩阵行相容，矩阵包含和矩阵合并等新的定义，给出了基于矩阵到３ＮＦ保持函数依赖的模式分解算法。     

二值变换法及其应用

在对关系模式中普遍存在的多值依赖关系进行分析的基础上，提出了一种可将多值依赖关系转化为单值依赖关系的二值变换法，该方法能方便地实现多关系模式的化简与归并，提高关系模式的规范化程度和减少每一实体在关系中占据的元组数量，从而大大压缩存储容量和提高检索效率。     

关系数据库模式分解与信息完整性初探

关系数据库设计就是根据数据依赖关系对关系模式分解的规范化过程,在分解过程中会造成信息丢失 文章就规范化程度和信息完整程度之间的关系以及解决办法进行讨论