《计算机学报》文章摘要 全文下载 | |
文章题目 | SCOPE/CIMS系统中模式集成的形式化基础 |
作者 | 石祥滨 张 斌 王国仁 于 戈 郑怀远 *赖翔飞 |
作者单位 | (东北大学计算机科学系 沈阳 110006) (辽宁大学计算机科学系 沈阳 110036) |
发表年份 | 1998 |
发表月份 | 11期 |
文章摘要 | 在多数据库系统中,模式集成是将若干个已经存在的模式集成为一个统一模式的过程,是实现异构信息集成的关键问题之一.为满足面向对象的多数据源集成系统SCOPE/CIMS中模式集成的需要,本文提出了一个支持模式集成的形式化基础,为实现一个半自动化的模式集成辅助工具奠定了理论基础.主要内容包括: (1)一个对应关系描述模型,以支持模式的分析与比较;(2)一套模式集成规则, 以提供模式合并与重构的原则;(3)等价类的定义、语义矩阵及其运算,以支持集成模式的建立. |