模式匹配问题的描述框架与算法模型  

Framework and Algorithm Model of Schema Matching Problem

作　　者：张治[1] 车皓阳[2] 施鹏飞[1] 

机构地区：[1]上海交通大学图像处理与模式识别研究所,上海200030 [2]中国科学院软件研究所,北京100080

出　　处：《模式识别与人工智能》2006年第6期715-721,共7页Pattern Recognition and Artificial Intelligence

基　　金：国家973计划资助项目(No.G1998030408)

摘　　要：应用泛代数理论,建立模式匹配问题的泛代数学描述框架,研究模式匹配问题的数学基础,基于泛代数学理论的观点,模式是一类有限的结构(代数),模式匹配能够被形式化为寻找两个结构之间保持的映射关系,即为两个结构之间的同态,证明模式同态问题与模式匹配问题的等价关系,亦即模式匹配问题可以归约为模式同态问题,基于模式同态的框架,提出求解模式匹配问题的算法模型。In this paper, an algebraic framework for Schema Matching Problem （SMP） is built. By using universal algebra, the mathematical foundations of SMP is studied. A SMP instance can be viewed as a pair of structures （algebras）, then the solutions to the problem are the structure preserving mappings between these two finite structures, i.e. schema matching can be formulized as finding the homomorphism between two structures. It is proved that the schema homomorphism （SHOM） is equivalent to the SMP, and the SMP can be reduced to the homomorphism between two finite structures. Based on this framework, the algorithmic model of SMP is presented.

关 键 词：模式匹配 同态 模式同态 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]