不完全信息下XML树的函数依赖强保持条件

DTD规范下,在XML完全树中引入不完全信息,定义了不完全信息树.在不完全信息树下讨论树中节点之间的关系,给出节点值等价、节点值相容的概念,并进一步讨论不完全信息树下树元组之间的关系及函数依赖的保持条件.

模式分解保持函数依赖的意义

规范化过程通过模式分解提高关系的范式级别,分解的评判准则是无损连接性和保持函数依赖。文中证明了保持函数依赖的一个定理,说明了模式分解保持函数依赖的意义是在减小数据冗余度的同时不会影响数据更新的性能,通过具体分析实例进一步说明了该结论。

判断保持函数依赖集的优化算法

论述了一种优化的保持函数依赖集的判断算法。该算法易于理解、便于运用，在教学和应用中有较大实用价值。

XML不完全信息树下的完全函数依赖弱保持

在DTD模型下,在XML信息树中引入了不完全信息,形成一棵不完全信息树。文中以不完全信息树为基础定义了树中节点之间的关系:节点值等价和节点值相容。并在此基础上定义了函数依赖的强保持条件、完全函数依赖弱保持。给出了给定函数依赖集判断完全函数依赖弱保持的算法及满足完全函数依赖弱保持时,当树确定化后成为完全信息树下函数依赖的可能性的证明。

具有无损联结性且保持依赖性关系模式的BCNF完备分解算法

本文给出一种具有完备性的合成方法，来把一个关系模式分解成具有无损性和保持依赖性的BC范式关系数据库模式，只要这个模式“本质上能作这种分解的话”；同时对这种“本质上能分解为保持某些性质的某一范式”提法进行了形式化描述；最后，讨论了这种合成法的固有复杂度。

数据库教学中关系规范化理论的研究与实现

数据库技术在当今计算机领域得到迅速发展和广泛应用,而关系规范化理论在数据库设计中起到比较重要的优化作用,可以保证数据库较好存储性能的体现,在教学中已经作为数据库技术的重点之一。为了提高教学质量和水平,方便教学人员对关系规范化理论问题求解结果,针对规范化理论中最小覆盖、函数依赖保持和无损分解问题进行Py-thon程序实现,方便学生理论和实际的结合。

多时间粒度约束的时态简单范式的分解

数据库逻辑设计的目的是消除数据冗余、插入和删除异常。为使时态模式满足某种范式的要求,要对时态模式进行分解,保持函数依赖和无损连接性是对算法最基本的要求。但对具有多时间粒度的时态模式进行分解时,把TBCNF作为最终目标很难实现保持函数依赖性,把T3NF作为最终目标,又很难达到规范化要求。该文提出了时态简单范式TSNF的概念及相应的分解算法,来弥补以上两点不足。

关系数据库设计过程冗余模式消除方法

消除冗余模式是数据库设计中应考虑的重要问题之一.本文首先把不同冗余程度的冗余模式分为三级,即绝对冗余模式、相对冗余模式和函数依赖冗余模式,并作了形式化描述;然后,讨论了冗余模式的性质,并给出了消除各种冗会模式的方法,这些方法本质是多项式时间复杂度的.