基于形式化概念分析的XML Schema映射

XMLSchema映射关系的求取对于异构系统的整合起着至关重要的作用.基于此,提出了一种利用形式化概念分析的XMLSchema映射算法.该算法使用传统分类技术,并结合形式化概念分析中的相关定义,创建概念格.在概念格上运用新定义的运算规则特化规约和启发式规则推理获得映射.给出了算法所基于的蕴涵于两个Schema所构建交叉表中的定理以及相应的证明.