一种基于超图的关系模式主属性判定算法研究

利用超图表示关系模式的ＦＤ集．定义了最大有向准路、严格准环和最大严格准环．并讨论了严格准环、最大有向准路的性质．在此基础上给出基于超图的关系模式主属性判定算法．进而给出了求出属性集的算法．     

一个约简非环数据库模式的算法

利用数据库模式与超图的对应关系，将对数据库的讨论转化为对超图的讨论，设Ｈ＝｛Ｎ，Ｅ｝是θ非环超图，ｓ是Ｎ的一个子集，给出了一个根据ｓ约简超图Ｈ的算法ＮＭＣ［Ｈ，Ｓ，ＤＣ（Ｈ）］＼算法的输出仍是θ非坏的，且ＤＣ（Ｈ）中任何一个结点都是非冗余点，并证明了算法的时间复杂度为Ｏ（｜Ｎ｜．｜Ｅ｜＾２）。     

超图的同态和着色

目的给出了超图同态及分数着色的定义,推广了Chris Godsil等人关于图的着色的一些结论（Chris Godsil,Gordon Royle．Algebraic Graph Theory．北京：世界图书出版公司,2004．）。方法利用代数方法研究超图的着色问题。结果利用超图的同态对图论中的经典问题一超图的着色进行了研究,得到了超图的色数及分数色数的一些结论。结论利用代数方法研究超图的着色问题具有重要的理论意义。．     

无圈超图的一个充分必要条件

引入植树超图的概念,利用植树超图给出了一个超图是无圈超图的充分必要条件.建立了无圈超图与树的对应关系,表明信息科学家提出的无圈超图与数学家建立的无圈图有着密切的联系,所得结果进一步刻画了无圈超图概念中"无圈"的本质.     

一致超图与其补超图各种独立数间的关系

主要讨论了超图中的若干参数：独立数、强独立数、边独立数和全独立数，利用这些参数的定义和性质，研究了一致超图与其补超图中这些参数间的关系及其上界。     

几个特殊超图在完美图上的应用

由超图与其线图的关系,分别证明了单模超图、平衡超图、树形超图的线图是完美图。定义了k-完美超图,使其成为完美图的推广。讨论了正规超图和拟正则超图的完美性,并得出相应的结果。     

完美C-超图的一个充分条件

混合超图是含有两种超边的超图，一种称为D-超边，一种称为C-超边，它们的区别主要体现在着色要求上．在任一着色中，要求每一D-超边至少有两个点着不同的颜色，每一C-超边至少有两个点着相同的颜色．只含D-超边的超图称为D-超图，只含C-超边的超图称为C-超图．主要讨论了C-超图的完美性问题，给出了完美C-超图的一个充分条件．     

无β环数据库中的几种环之间关系的研究

通过图例讨论了无β环数据库模式研究过程中涉及到的几种环之间的关系。系统的讨论了超图中α环与β环，β环与弱β环，弱β环与γ环之间的关系。给出了超图中有卢环和有γ环情况下的定价命题，并进行了证明。     

关于矩阵在超图性质论证中的作用的讨论

章从超图的关联矩阵出发，直接形象地论证了超图中若干性质，体现了矩阵的巨大魅力。     

有向超图的可平面性算法

随着有向超图理论在实际问题中的深入应用，其平面性研究也更加具有意义．本文回顾有向超图的一般理论，给出了有向超图结构图的概念，并在此基础上给出有向超图的可平面性算法．由于有向超图的结构图是简单有向图，故有向超图的可平面性算法建立在对一般图的可平面性判断上，该算法是多项式时间算法，是有效算法．     

求关系模式所有最小基数候选关键字的一种多项式算法

本文深入分析了最小基数候选关键字在关系模式中的结构特征,提出了化简独立复合环、独立简单环、化简双部属性函数依赖图等概念.在此基础上,给出了求一个关系模式所有最小基数候选关键字集的多项式算法.     

XML Schema数据库优势及XML文档转换

基于XML文档的逻辑结构主要通过DTD和XMLSchema两种方法实现 ,相对DTD ,XMLSchema具有更强大的描述能力 ,主要体现在一致性、扩展性、互换性和规范性上 ,有更强的应用前景 .本文具体就XMLSchema的优势和基于XMLSchema数据库向XML文档的转换进行了探讨 ,研究了利用数据库厂商直接提供的支持和找出关系数据库与XML文档之间的映射关系的解决方案 .最后给出一个应用实例 ,并探讨面向对象数据库向XML文档转换的基本思想     

基于DTD的XML与数据库信息交换技术

XML与数据库信息交换的策略有多种，基于DTD的对象模型映射方法可应用于所有XML文档．映射的策略是以分析处理DTD中的每一个元素映射为对象模型，再由对象模型映射为数据库的关系模型．XML文档中的数据映射到对象所对应的关系数据库中．映射过程也可合并为直接有DTD到关系数据库的映射．     

基于领域知识的不确定关系模式集成

为了解决关系数据库中关系模式集成中的不确定问题,提出了一个基于领域知识的不确定关系模式集成模型。该模型运用领域知识、语义集成方法和证据组合方法处理模式集成各个阶段的不确定性,并给出了各阶段不确定度的表示和计算方法。文中给出了不确定匹配关系和不确定模式集成的全新定义,提出了一种全局集成模式可信度的计算方法。实例分析证明该模型是可行的,与已知方法相比具有较高的执行效率和较低的时间复杂度。     

变维思想与分级权限管理技术在大型MIS中的应用

在大型MIS的开发过程中，建立怎样的关系模式和权限机制，对前期的开发和后期的使用影响巨大，首先为了解决实体的属性经常变化时的关系模式建立问题，采用了一种基于传统关系理论基础上的变维思想，来建立适应能力广泛的关系模式，从而解决了实体的属性经常变化时的建模问题。其次为了在业务分类标准不一，用户众多且变动频繁的地方能够实现有效的权限管理，采用了分级权限管理的机制，从而实现了用户的分级自助管理模式，使整个权限管理既严密又灵活。     

求关系模式全部候选关键字理论和算法

本文研究了候选关键字之间的关联,定义了它们之间的等价关系,开发了直接导出和间接导出候选关键字的几个定理和从一个候选关键字导出所有候选关键字算法,并证明了它的正确性和完备性。     

关系数据库模式向面向对象数据库模式的转换

关系数据库模式向面向对象数据库模式的转换张家明周伯鑫宋文忠（东南大学自动控制系,南京２１００９６）关系数据库模式中,一些语义是隐含表示或丢失的,如ＩＳＡ、ＩＳＰＡＲＴＯＦ,而且联系的表示不自然,主要是通过外键等方式来表示两关系之间的联系［１,...     

双元主属性

本文提出了确定关系模式中双元主属性的充要条件,开发了求解关系模式全部双元主属性的很有效的新算法.     

基于关系数据库的大规模本体的存储模式研究

通过对现有本体存储模式的分析,给出了本体存储模式的设计原则,并基于该原则提出了一种新的本体存储模式.该模式针对本体描述语言的特点,将本体查询常用的信息存放在不同的表中.整个模式易于理解,结构稳定,并且减少了本体查询时进行表连接的代价,提高了查询效率.实验结果表明,该存储模式不仅具有较高的查询效率,而且具有良好的可扩展性,适用于存储大规模的本体.     

冗余XML模式到关系模式的规范化映射

从XML(extensible markup language)模式的语法分析冗余元素产生的原因,通过属性冗余的规范化规则消除属性冗余,元素冗余规范化算法消除元素冗余,嵌套冗余规范化算法消除嵌套冗余,从而实现XML模式到关系模式的关系映射.该算法不仅实现了一般关系的映射,而且实现了冗余XML模式到关系模式的规范化映射,具有不可逆性.