一种异构数据源模型转换和模式集成框架

异构数据源集成系统的主要任务是屏蔽数据源数据模型的异构性,提供对数据的统一访问。公共数据模型、模型变换和中间数据模型被广泛用来解决该问题。由于数据集成工作的工作量和任务对象日益复杂、规模日趋庞大,仅采用公共数据模型不能满足现有集成要求。异构数据源数据模型内在的关联性虽然使得面向语义集成变得更加复杂,但更利于模型转换方法在数据集成中的应用。模型转换是模式集成的基础,本文给出了异构数据源模型的形式化描述方法和基础模型转换操作形式化框架。该框架能够保证模型、实例和约束三者的相互独立,适用于大多数基础数据模型及其之间的转换和集成应用。通过该框架可简化和规范异构数据源数据模型转换和模式集成过程。     

异构多智能体系统模型检查

近几年,模型检查作为一种自动化系统验证方法,已被应用于多智能体系统的验证.由此延伸出的规约描述语言——交替时态逻辑（ATL）,也被给予了高度关注.根据智能体是否可以看到全局信息分为不完全信息和完全信息;根据智能体是否可以记录历史信息分为无记忆能力和无限记忆能力,提出了四种经典的策略类型.这些策略类型是通过ATL的语义进行刻画的.然而,在一个多智能体系统中,考虑完全信息和无限记忆能力时,所有智能体都只能选择这一种策略类型;在考虑不完全信息或无记忆能力时,仅在联合模态操作<>φ和的[[A]]φ里出现的智能体具备这种策略类型,而其他智能体还是完全信息和无限记忆能力策略类型.这可能会导致嵌套联合模态操作中智能体策略类型的不一致,且智能体策略类型取决于逻辑公式和逻辑的语义.而在实际多智能体系统中,智能体的策略类型往往取决于系统本身,且不同智能体具有不同的策略类型,即智能体策略类型是异构的,这种多智能体系统被称为异构多智能体系统.针对这些问题,本文提出了一种在语法层对智能体策略类型进行刻画的系统模型,即带类型解释系统.带类型解释系统在已有的解释系统中为每个智能体引入"策略类型"这一属性,允许不同智能体具备不同的策略类型.带类型解释系统可用于异构多智能体系统的建模.针对新提出的系统模型,对ATL语义进行了研究,设计了ATL模型检查算法,实现了相应的模型检查工具ShTMC.     

面向异构数据库集成的混合式元素分类技术研究

提出一种支持异构数据库集成的基于模式的元素分类技术,融合了基于语言和基于约束的分类方法,首先使用最大优先策略组合基于语言的分类算法形成复合元素名称分类器,然后将名称分类结果和元素模式约束转化为向量输入神经网络分类器,从而完成数据库元素分类.通过组合使用复合名称分类器和神经网络分类器,使得此方法可以应用于更复杂的分类环境.     

基于XML的异构数据交换模型的研究

基于XML的异构数据交换系统通过XML提供通用数据格式,在异构数据源间信息交换的模型中使用XML文档作为中间文件.由于以往的交换系统只提取出了少部分用户自定义完整性约束,因此提出一种新的关系模式和XML模式相互转换的方法.在转换过程中,重新定义了关系模式的通用模型,从而保证了数据的完整性.通过实验证明了该转换方法的可行...     

面向工程试验的数据集成研究*

对分布异构环境中的工程试验数据的有效集成是全局试验决策支持的基础。依据工程数据组织分散、模式复杂多变的特点以及OLAP和数据挖掘对数据的要求,剖析了构建数据集成元对象模型的方法、邦联式工程数据仓库的集成途径和使用元对象模型实施异构数据集成的关键技术。     

异构分布对象系统集成模型研究

分布对象计算技术为用户提供了方便的分布应用开发工具。然而,随着分布对象计算技术的应用和发展,异构分布对象系统的集成也正在成为急需解决的问题。用户对异构分布对象系统的集成有各种各样的需求,因此提供异构分布对象系统集成的工具也多种多样。文中将现有的异构分布对象系统的集成工具归纳为四种集成模型,并在对它们进行比较的基础上结合应用需求讨论了各种集成模型的适用场合。     

基于组件的异构数据集成平台的设计与研究

对分布、异构、自治和数据变化的管理信息系统进行集成是当务之急。本文介绍了一个采用组件技术,面向只读应用的异构数据集成平台模型,该平台模型主要用于集成各种信息管理系统的不同类型数据源,从而为用户提供透明访问各个成员数据源的中间平台。     

基于J2EE组件的数据集成平台设计

异构数据的集成研究已为热门研点,而在解决信息异构问题时,国内尚没有一个统一的、有效的应用框架。介绍了一种采用组件技术,面向只读应用的异构数据集成平台模型,该平台模型主要用于集成各信息系统的不同类型数据源,为用户提供透明访问各数据源的中间平台。     

基于规则的数据类型重构技术研究

为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法.采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变量的数据类型信息.实验结果表明,该方法能对简单数据变量类型和复杂数据变量类型进行恢复,具有较高的准确性.     

基于EGAPI的多电子政务异构数据系统集成技术

为了更好地支持多电子政务异构数据系统的集成,分析了多电子政务异构数据系统集成的需求和约束.对组件接口技术在多电子政务系统环境下的语义描述和系统模型进行了探讨.从结构、实现和访问三个方面对面向电子政务对象的组件EGAPI技术进行了研究,给出了多电子政务异构数据系统集成的约束条件,并阐述了EGAPI技术的优点.     

一种半自动化异构数据集成工具

论文介绍了用于完成异构数据源数据转换和集成任务的原型系统SDE。该系统以模式映射为基本设计思想,通过本地网关完成异构模式下的查询要求与结果数据的动态转换,并保证结果数据满足目标模式结构与参照完整性的要求。该工具为实现异构系统之间的数据互操作提供了一种有效的解决方案。     

CIMS环境下基于对象的信息集成框架

信息集成是实现ＣＩＭＳ的关键．文中在集成模型的选择和集成系统的设计上引入了面向对象的思想，提出了一个基于对象的信息集成框架，并着重讨论了本地对象模式和全局对象模式设计和实现的关键技术．与传统的信息集成方法相比，基于对象的信息集成技术能更自然地表达已有数据库之间的语义信息，并保持已有应用程序的独立性，而且具有良好的可扩充性．     

基于XML的异构数据集成的研究与实现

为了实现异构环境中数据集成的目标,提出了基于XML、B／S三层架构的企业异构数据库之间数据共享的实施方案,设计和实现了一个通用的异构数据集成系统。文章介绍了该系统的核心体系结构、工作流程和各模块的功能;阐述了XML文档模式的验证和提取、XML文档间的映射、XML文档模式和数据库关系模式之间的映射等关键模块的设计和实现;最后简要说明了实现系统所采用的相关Java技术。     

异构信息源集成系统的模式集成研究

随着社会的发展,越来越多的企业开始将工作重心向集成体系结构转移。因此,对异构信息源集成的要求是非常迫切并会长期存在下去。本文提出了一种基于Java的关系数据模型(JIDM)作为集成系统的公共数据模型。在该模型的基础上,介绍了全局模式、输出模式以及局部模式之间的映射关系,解决了JIDM模型与关系模型、XML文件以及面向对象模型之间的映射问题。     

多维数据模型中维层次结构的自动生成算法及其实现

多维数据模型是数据仓库及联机分析处理的核心,目前主要有两种:星型模型和雪花模型。维层次结构是多维数据模型最重要的概念之一。该文提出了一个算法,它能够在雪花模型中根据维表间的依赖关系构造维的层次结构。指出使用该算法的前提并进行了证明,随后实现了算法。文章最后提出了在星型模型中构造维的层次结构的基本过程。     

基于模式集成语义的查询处理

在采用面向对象模型作为公共数据模型的多数据库系统中，基于模式集成语义的查询处理不仅要实现针对集成模式查询到针对输出模式查询的转换，而且要从语义上尽可能减少回答用户查询所需数据，保证对象引用的正确性.为了达到这个目标,提出了一些新的概念及基于模式集成语义的查询处理规则和路径表达式的查询处理方法.     

CIMS环境下基于对象的信息集成技术

本文在集成模型的选择和集成系统的设计上引入了面向对象的思想，提出了一个基于对象的信息集成框架，并着重讨论了本地对象模式和全局对象模式设计和实现的关键技术。     

Normalization of Class Hierarchy in Databases

In complex object oriented databases,the purpose of introducing class hierarchy is to express ISA semantics,to realize inheriting and to reuse schema definition codes.The schema defintition and schema evolution,based on the partial order of lattice,often cause the loss o information inheriting and the redundance of schema definition.Based on the fullness of the inheritance shown by class hierarchy,three normal forms of class hierarchy are given in this paper,and a general algorithm of normalization of class hierarchy is presented,following the Boolean algebra model of class hierarchy.The loss of information inheritance can be avoided when they are applied to schema design and schema evolution.     

Data model for extensible support of explicit relationships in design databases

We describe the conceptual model of SORAC, a data modeling system developed at the University of Rhode Island. SORAC supports both semantic objects and relationships, and provides a tool for modeling databases needed for complex design domains. SORAC's set of built-in semantic relationships permits the schema designer to specify enforcement rules that maintain constraints on the object and relationship types. SORAC then automatically generates C++ code to maintain the specified enforcement rules, producing a schema that is compatible with Ontos. This facilitates the task of the schema designer, who no longer has to ensure that all methods on object classes correctly maintain necessary constraints. In addition, explicit specification of enforcement rules permits automated analysis of enforcement propagations. We compare the interpretations of relationships within the semantic and object-oriented models as an introduction to the mixed model that SORAC supports. Next, the set of built-in SORAC relationship types is presented in terms of the enforcement rules permitted on each relationship type. We then use the modeling requirements of an architectural design support system, called Arch Objects, to demonstrate the capabilities of SORAC. The implementation of the current SORAC prototype is also briefly discussed.