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

第39卷第4期 上海 交通 大 学 学报 v01．39No．4 2005年4月 OFSHANGHAIJIAOTONGUNIVERSITY Apr．2005 JOURNAL 文章编号：1006—2467(2005)04—0531～04 基于形式化概念分析的XMLSchema映射 简 睿， 俞 勇 (上海交通大学计算机科学与工程系，上海200030) 要：XML 摘 Schema映射关系的求取对于异构系统的整合起着至关重要的作用．基于此，提出了 一种利用形式化概念分析的XMLSchema映射算法．该算法使用传统分类技术，并结合形式化概 念分析中的相关定义，创建概念格．在概念格上运用新定义的运算规则特化规约和启发式规则推理 获得映射．给出了算法所基于的蕴涵于两个Schema所构建交叉表中的定理以及相应的证明． 关键词：映射；形式化概念分析；概念格；特化规约 391 中图分类号：TP 文献标识码：A I XML FOrma BasedSchema ConceptAnalysis Mapping JIANRMt，YU Yong 200030，China) (Dept．ofComputerScienceEng．，ShanghaiJiaotongUniv．，Shanghai Abstract：TheofXMLSchema is forthe of acquisition mappingveryimportantintegration anew basedonformal the solution：an system．Thispapergave algorithm concept latticewith andtherelateddefinitionofformal traditionalclassification concept technology conceptanaly— sis；inthis the defined reductionand concept newly rules——specialization lattice，using calculating heuristicrulesto themuch also the basedtheoremsim— get complexmappings．Thispapergave algorithm andthe inthecrosstablebuiltfromthetwoschemas ofthem． plied correspon