考虑类型信息的异构数据源信息交换方法研究

异构信息源模式集成中，除解决模式结构冲突外，还需要考虑模式结构对应的数据类型差异，以保证模式集成和信息交换过程的准确性。本文在考虑不同模型语言类型约束和复合对象类型的基础上形式化描述了类型体系，在公共类型体系内容定义的基础上给出了考虑约束和复合对象类型的中间模型类型体系的构建方法，建立了异构数据模式类型体系与中间模型类型体系的类型映射关系。相比其他类型匹配方法，具有搜索空间小、处理范围广的特点。