基于约束的多视图参数化设计算法

介绍了基于约束的零件形位信息描述方法，提出了基于约束的ＣＡＤ数据模型，阐述了基于约束的多视图参数化设计的概念，详细介绍了参数化计算法的原理及实现过程，对所提出的参数化设计算法进行了评价。     

GIS属性数据库的关系模式分解研究

讨论了GIS属性数据库设计中关系模式的构造原理和方法 .在GIS的数据库模式设计中 ,地理实体的关系模式分解是属性数据库应用设计的关键 .在对GIS属性数据库的特征分析基础上 ,讨论了地理实体的关系模式的分解表示及其应遵循的约束条件 ,即信息无损失连接特性和保持函数依赖特性 .在关系模式的分解表示中 ,将地理实体错综复杂的关系模式分解成一组简单的属性关系集合 .同时 ,为使分解过程中不出现信息丢失并维护地学数据的完整性约束 ,还讨论了关系模式分解应满足的信息无损失连接性的约束条件 ,以及关系模式分解所应保持的函数依赖的约束因素 .     

一种扩充形式的ER模型

概念结构是数据模型的基础，ER模型是软件工程中描述概念构的有力工具，其建立于数据库逻辑结构，针对设计概念结构分类，聚集，概括策略，本文引入实体间的属籍约束，弥补了ER模型在弱实体约束方面的局限性。     

XML局部函数依赖

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

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

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

基于约束的多视图参数化设计算法

介绍了基于约束的零件形位信息描述方法;提出了基于约束的ＣＡＤ数据模型,阐述了基于约束的多视图参数化设计的概念;详细介绍了参数化设计算法的原理及实现过程;对所提出的参数化设计算法进行了评价．     

XML函数依赖

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

基于AutoCAD的约束数据库生成

主要讨论了开发参数化CAD设计系统的一个关键问题－－几何图素结构约束的识别与提取。提出采用向量数学的方法进行图素（间）结构约束的识别方案；并讨论了怎样应用面向对象的方法，开发适用于AutoCAD平台的约束提取系统，系统能够完成AutoCAD图形数据库中图素结构约束的提取、约束有效性的判 ，并可将约束关系储到数据库中，参数化CAD系统后续的尺寸驱动子系统可根据该数据库存储的约束信息进行尺寸驱动。     

关系模式设计的规范化与非规范化

关系模式的规范化设计存在表的数量多、连接运算复杂、数据库执行速度慢等缺点；非规范化设计减少了查询操怍所需的连接，减少了外部键和索引的数量，可以预先进行统计计算，提高了查询时的响应速度；用实例说明设计关系数据库时应根据属性数量、属性间的函数依赖、关系中元组的数量和应用来确定应采用的方法。     

含有组合列的约束数据库

使用约束对传统的关系模型进行扩展,引入了约束变量的组合列的概念并定义了含有组合列的约束数据库。利用约束的规范表示提出了组合列的表示模式和表示模式的建立。给出了约束数据库定义的实现。     

关系数据库模式信息的提取

鉴于关系数据库是当前Web的主要信息源,关系数据库模式信息的提取是实现当前Web向语义Web迁移的基础技术之一,介绍关系数据库模式信息提取原型工具RDBSExtractor,分析与总结关系数据库的模式信息,给出基于JDBC API的RDBSExtractor设计思想和实现技术,案例研究表明。基于JDBC API的模式提取方法是可行的,RDBSExtractor是有效的。     

基于属性预扫描的不确定性函数依赖挖掘

函数依赖是关系数据库和数据建模中所需的关键约束知识。在海量数据中挖掘函数依赖时为降低噪音干扰和提高效率,该文采用带有满意度函数依赖的概念及挖掘带有满意度函数依赖的算法(MFDD),对噪音进行测度与表达,并有效挖掘得到函数依赖最小集。利用对属性散列度的测度概念,在带有满意度函数依赖的理论框架内采用3条优化策略,实现了属性预扫描算法。结果表明:基于该算法可显著提高挖掘效率。     

关系数据库中分布式大数据的集成冲突消解算法

针对现有关系数据库中分布式大数据集成冲突消解研究的不足,提出一种新的集成冲突消解算法。依据关系数据库中分布式大数据的集成过程对冲突进行分类,将其划分成语义冲突、模式冲突以及实例冲突。针对语义冲突,通过句法融合、逻辑树融合和频率融合法实现冲突消解。通过属性有向图对关系数据库中模式数据和实例数据的属性进行描述。从属性关系参与分布式大数据集成冲突的状态分析,通过关系的权重值对属性关系的重要程度进行量化处理。通过有向图全部关系的权重和对所有属性有向图的重要程度进行描述。综合分析冲突数与权重定义代价函数,在此基础上给出关系数据库分布式大数据集成冲突消解详细过程。实验结果表明,所提算法冲突识别和消解性能高。     

小型CAD数据库的一种实现方案

针对传统关系数据库不能直接支持工程设计对象表示的弱点,结合小型CAD系统环境,提出了一种基于关系模型概念扩充的CAD数据库模式,并给出了按该模式进行设计对象数据结构与关系文件转换的算法及对库中对象简单操作的流程。     

模糊关系数据库系统中的函数依赖与多值依赖

用模糊关系数据模型来描述不分明的模糊数据是关系数据库理论发展中的一个重要的新课题。本文用模糊等价关系及其隶属函数来描述模糊函数依赖与多值依赖,看出经典数据依赖是模糊数据依赖的特例。并且证明相应于Armstrong公理的一套模糊数据依赖的推理规则是正确、完备的。     

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.     

嵌套关系数据库系统中的一些问题

本文讨论了嵌套关系数据库中的一些问题，主要包括对两种范式ＰＮＦ和ＮＮＦ的评价、空值和从平面关系到嵌套关系的转换。     

应用XSL验证XML的函数依赖

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

一种匹配目的端模式的异构数据交换

XML已成为异构数据库之间进行数据交换的工业标准,但由于XML与数据库以及数据库之间模式的差异,须解决模式转换的问题.针对以往异构数据库之间数据交换灵活性差、实现困难等问题,利用对象/关系数据映射和对象与XML数据绑定技术,提出一种以目的端持久类作为源端生成XML数据交换文档的绑定类的方法,得到完全符合目的端模式的XML文档.该方法易于解析和存储,有效解决数据交换过程中模式不匹配的问题.     

超媒体系统中的语义约束问题研究

提出了一种基于数据库模式的超媒体语义网络模型,该模型通过引入模式约束图,对超媒体系统中的关系约束进行了分类,并给出了相应的约束检测算法;通过引入视图机制提出了结构约束的概念;通过扩充模式约束图的属性,描述了超媒体特定应用领域的计算约束,从而从整体上对与应用领域无关至特定应用领域的语义约束进行了深入的研究。