虚拟数据库的实现方法

虚拟数据库是目前信息集成的主要方法之一,但目前的虚拟数据库产品很难做到对数据源结构的屏蔽,使得系统配置和使用不是十分方便,查询定义过程要求用户了解各个数据源及其组织结构。基于超图理论提出了一种简单可行的模式集成方法,解决了同名异义及异名同义等问题。通过元数据库管理系统,数据库管理员可定义各种视图来屏蔽信息源的结构,大大简化了用户的查询定义过程。同时,给出了虚拟数据库系统的主要实现技术。

关系模式分解合成法的进一步研究

本文对关系模式分解的合成法进行了较为深入的研究。提出了用合成法把关系模式转化为BCNF,4NF,5NF,并且“保持函数依赖”和具有“无损联结性”分解的条件。

模糊关系无损连接分解的实现及检验

本文基于一个模糊关系数据库系统的实验性原型FRDB1中定义的模糊关系,首先定义了模糊等价性,描述并验证了模糊函数依赖的理论,然后基于模糊关系代数和模糊等价性的附加约束条件实现了模糊关系的无损连接分解,最后证明了追踪算法检验模糊关系的无损连接分解。

模糊空值环境下关系数据库的模式分解

定义了模糊空值环境下的分解。讨论了模糊空值环境下模式分解的两种特性,一是无损连接性,二是保持模糊空值函数依赖性。给出了分解的两个综合算法。

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

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

基于线图的无β环混合依赖分解条件及算法

无β环数据库模式具有很多优良的特性 ,以往的研究都局限在图论的范畴内 ,而没有考虑数据库的其他规范化特性 .在混合依赖基概念的基础上 ,定义了严格无冲突、扩展严格无冲突等概念 ,并证明了在混合环境下得出的无损联接、保持依赖、无 β环且满足 4 N F的分解的充要条件是 ,混合依赖集是扩展严格无冲突的 .据此 ,给出了判断严格无冲突及混合环境下无β环分解算法 ,并分析了算法时间的复杂度是线性的 .最后 ,给出基于线图的实例验证 .

关系数据模式分解算法及应用

给出了关系数据模式分解中 ,既有无损连接性又保持函数依赖的分解算法 ,并用该算法指导应用软件的开发工作 .

基于逆向超图的“改进的BCNF”的分解算法

该文以逆向超图为工具，讨论了基于超图的BCNF判定和无损联结，给出了基于逆向超图的系模式到改进的BCNF的分解算法。

关系数据模式分解及应用

给出了关系数据模式分解中无损联接分解算法的一个通俗证明 。

XML文档的范式

给出了 XML函数依赖、部分函数依赖和传递函数依赖的概念 ,然后据此提出了三种 XML范式 :1XNF、2 XNF和 3XNF.提出了 DTD无损联接分解的概念 ,给出了两个把 DTD无损联接地分解成 2 XNF和

XML DTD的一种范式

研究了XMLDTD的规范化问题 由于DTD在设计上存在不足之处 ,DTD中可能包含类似于关系数据库模式中存在的异常依赖 ,从而导致XML文档包含冗余的数据和各种操作异常 提出了关于DTD的多值依赖的概念 ,然后基于多值依赖的概念 ,提出了一种XML的范式XNF ,并且用DTD的关系表示形式给出了关于DTD的无损联接分解的概念

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

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

连接不失真性的判断

本文提出判定连接不失真性的又一个必要条件，发现了连接不失真的充要条件。文中有关理论补充并推广了文献［１］中的有关理论。