MDBS模式集成中完整性约束的处理

通过对多数据库系统(MDBS)模式集成中不同类型完整性约束的分析,提出并讨论了用于处理完整性约束的若干规则.这些规则不仅可以应用于模式集成,而且还可适用于模式变换、视图派生等模式重构中.用一个实例解释了如何在实际应用中使用这些规则.     

虚拟企业环境中支持完整性约束的主动规则

探讨了分布式环境下信息集成系统的完整性约束种类,并引入主动规则用于支持分布式对象间的完整性约束,研究不同的约束种类与主动规则的映射关系·最后,提出了ViaScope系统中支持企业信息完整性约束的规则定义语言和调度结构·基于主动规则的企业信息集成策略,将传统的模式集成和分布式对象调度相结合,支持企业用户在线定义不同的企业逻辑,为虚拟企业的信息管理提供了高度的灵活性、可重用性和实用性·     

在MS SQL Server应用系统中实施数据完整性约束

介绍了在MS SQL Server数据库应用系统中实施数据库表的实体完整性和参照完整性约束；独立于表的规则、缺省，索引和触发器约束，客户端应用程序的数据完整性约束。同时概述了在应用系统中实施数据完整性约束的基本策略，并给出了实施数据完整性约束的实例。     

数据完整性机制的研究与实现

为了保证数据库中数据的准确性、一致性,数据库设计者应合理设计数据表的数据完整性。SQL Server数据库管理系统作为微软的核心产品,可以通过主键、标识列、惟一键、检查约束、外键约束等手段实现实体完整性、域完整性和参照完整性,参照完整性是保证数据一致性的重要机制,SQL Server中的触发器也可以实现参照完整性,以保证数据表间的插入规则、更新规则和删除规则的约定。     

XML局部函数依赖

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

Client/Server数据完整性约束在MIS系统中的实现

本文主要介绍Client/Server数据完成性约束的规则及其在MIS系统中应用规则,并以VB.Net/SQL Server2000为例,介绍完整性约束在MIS系统中的实现技术。     

位平面分解的人脸识别集成方法研究

研究了基于集成技术的人脸识别,主要包括集成个体分类器的生成与分类结果的融合.为了提高分类器个体间的差异性,通过位平面分解及移动窗口技术生成基分类器,然后对所分解模式的各层进行融合,以确定最后的决策,这些融合方法包括乘法规则、和规则、多数投票规则、最大值规则、最小值规则与中值规则.另外,针对ORL数据库,实验研究了不同融合方法的人脸识别的性能,并对不同的人脸识别方法的性能进行了比较.结果表明,在基于位平面分解的人脸识别集成方法中,应用和规则的融合方法,其性能也优于其他的人脸识别方法.     

处理不完全和不确定信息的一个关系模式

本文中提出可用于知识库系统设计的一个处理不完全和不确定信息的关系模式。为处理技术和智能之间的渗透,关系知识库的域扩充为E_x-term集合,它包含常量、变量和空值(不存在型空值和占有型空值);讨论了模式中的相等判断,查询运算,使用于处理知识推导的演绎规则以及关于域、值和连接的完整性约束等问题。     

一种基于序列挖掘的分类系统框架

为了有效地对序列数据进行分类，提出了一种集成分类挖掘和序列模式挖掘技术的分类系统框架(SPACS)．先采用一套约束和裁减策略，为每个分类挖掘频繁序列模式，并将其转换为分类序列规则(CSR)；再利用平均CSR匹配置信度和一个规则匹配算法构建有效的序列数据分类器．SPACS不需要在提取序列的特征后采用传统方法进行分类，可以直接利用从序列数据中提取出的频繁序列进行分类．实验结果表明，对于序列类型的数据的分类，SPACS比传统的决策树和关联分类方法具有更高的分类精度．     

一种基于规则表达式约束的序列模式增量式挖掘算法

序列模式挖掘是数据挖掘中的研究热点之一。在挖掘过程中需要用户的参与日益显得重要。为了提高挖掘过程中的交互性，本文提出了一个基于规则表达式约束的序列模式增量式挖掘算法RE_IncUp。该算法首先利用约束对已经挖掘出的频繁序列模式进行预处理，缩小了搜索范围；然后采用模式扩展方法把规则表达式约束和增量挖掘过程融为一体，并且采用先修剪后计算支持度的方法进一步缩小了搜索范围，降低了支持度的计算量。该算法允许用户不断改变约束条件，实现交互式挖掘而且可将挖掘的目标仅仅聚焦到用户感兴趣的模式上。实验表明该算法对序列模式的维护和满足用户的需求都是十分有效的。     

XML模式与关系模式相互转换的研究

针对目前大量异构数据库间通信的问题,提出了一种基于XML的数据交换技术。在具体实现过程中,进一步研究了XML模式与关系模式相互转换的方法,并给出了转换算法和转换规则。同时对XML模式中的语义约束同关系模式中的完整性约束之间的相互转换方法进行了分析。     

SQL Server2000数据完整性攻略

随社会的发展,现在的数据库都是开放、多用户共享,维护数据库的完整性至关重要。为了保证数据的正确性,有效性、一致性和兼容性,SQL SERVRE 2000数据库管理系统主要采用了约束、规则、触发器等几种措施保证了数据的完整性。     

主动数据库及其应用的研究

介绍一个把规则系统与ＯＲＡＣＬＥ关系数据库管理系统结合在一起而形成的主动数据库管理系统ＲｕＢＤＢＭＳ。规则子系统ＲｕＭＥＳ用Ｃ语言实现，我们定义一种规则语言语法作为ＳＱＬ的扩充，规则由数据库的变化来触发，规则的条件和动作部分依赖于当前数据库状态以及数据库的变化值，ＲｕＭＥＳ为数据库应用程序开发提供了一个规则语言工具，使之能完成数据库一致性完整性约束的自动维护及其它特殊目的的数据库管理功能。     

基于关系模式的本体学习研究

对本体和关系模式做详细比较和分析,从关系、关系之间的联系、属性、约束、实例这些元素出发,提出了关系模式向本体的详细映射规则。设计了基于关系模式的本体学习系统,验证了方法的有效性。     

信息系统软件框架的一致性维护

为保证在组件和框架开发模式下应用系统的一致性 ,必须研究如何检测和解决组件建模过程中存在的冲突。通过对组件模型、组件库结构和几种典型约束条件的分析 ,建立应用框架的一致性模型 ,包括组件体系结构约束和组件行为约束。这些约束条件以规则的形式表示 ,分层的规则库构成最终的形式化模型 ,模型的检验归结为规则的推理。在信息系统快速开发平台中 ,使用上述约束模型可建立信息系统的一致性视图 ,使开发平台具有一致性管理的功能     

基于类型系统的完整性信息流控制

构造了一种实现完整性信息流控制的安全类型系统.首先,为π-演算建立具有完整性安全等级的安全类型.然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制.最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足.所建立的完整性信息流控制机制可通过静态类型检验高效实现.     

数据完整性检验策略的构建

通过利用在关系型数据库中所提供的约束、默认、规则和嵌套触发器技术，对来自客户端的数据进行有效性和合法性的检验，有效地保证了数据源的正确性和完整性；此外，合理的定义和应用一项数据完整性的检验策略，可以更有效地提高数据存储和检索的效率。     

XML函数依赖

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

GLAV集成方法中的模式匹配研究

GLAV是一种新的集成方法,它能为信息集成系统的映射关系提供更具表现力的方式.映射表示源模式与全局模式之间的对应关系,主要研究了GLAV集成方法中产生映射规则的模式匹配方法.首先将SUDAI模型转换为模式树,然后基于树进行匹配.匹配包含语言学和结构匹配两个基本阶段,语言学匹配结合了术语关系和约束进行计算,结构匹配结合了类属性和上下文节点两个方面,并成功解决了模式规模差异带来的负面影响.计算的结果可以判断两个信息类是否是一个映射候选,经过验证后可确定它是否是一个合理的映射.最后定义了一个基本DTD来描述匹配的最终结果.     

乡村社会的规则之治

乡村社会的有序模式之维系在于其独特的内部规则与外部规则对于乡民的约束及影响，不同的是内部规则更多的作用于乡民的人际交往领域，而外部规则则突出了其在经济管理行为领域的功能，二者都是乡村社会不可或缺的工具性规范，具有不可替代性。