XML模式推断研究综述.pdfVIP

第２期 电　　子　　学　　报 Ｖｏｌ．４４　Ｎｏ．２ ２０１６年２月 ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｆｅｂ．　２０１６ ＸＭＬ模式推断研究综述 １，２ １ 郑黎晓 ，王　成 （１．华侨大学计算机科学与技术学院，福建厦门３６１０２１；２．中国科学院软件研究所计算机科学国家重点实验室，北京 １００１９０） 　　摘　要：　本文对ＸＭＬ（ＥｘｔｅｎｓｉｂｌｅＭａｒｋｕｐＬａｎｇｕａｇｅ）数据的模式推断问题研究现状与进展进行了阐述．首先，从 正规树文法的角度介绍了不同模式语言的理论模型．进而从模式推断方法、目标模式语言、支持的表达能力、内容模型 对应的正则表达式类型等多个方面对当前研究工作进行了细致的分类归纳和对比．此外，还介绍了模式语言中支持的 基本语义完整性约束推断的研究进展．最后指出了当前研究中的不足，并对未来需要深入研究的方向进行了展望．重 在对ＸＭＬ模式推断的主流方法和前沿进展进行概括、比较和分析，以期对后续研究有所助益． 关键词：　可扩展标记语言；模式推断；正规树文法；正则表达式 中图分类号：　ＴＰ３１１　　　文献标识码：　Ａ　　　文章编号：　０３７２２１１２（２０１６）０２０４６１１１ 电子学报ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ　 ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１６．０２．０３０ ＳｃｈｅｍａＩｎｆｅｒｅｎｃｅｆｒｏｍＸＭＬＤａｔａ：ＡＲｅｖｉｅｗ １，２ １ ＺＨＥＮＧＬｉｘｉａｏ ，ＷＡＮＧＣｈｅｎｇ （１．ＣｏｌｌｅｇｅｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，ＨｕａｑｉａｏＵｎｉｖｅｒｓｉｔｙ，Ｘｉａｍｅｎ，Ｆｕｊｉａｎ３６１０２１，Ｃｈｉｎａ； ２．ＴｈｅＳｔａｔｅＫｅｙＬａｂｏｒａｔｏｒｙｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＩｎｓｔｉｔｕｔｅｏｆＳｏｆｔｗａｒｅ，ＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１００１９０，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：　ＴｈｉｓｐａｐｅｒｓｕｒｖｅｙｓｔｈｅｓｔａｔｅｏｆｔｈｅａｒｔｏｆｓｃｈｅｍａｉｎｆｅｒｅｎｃｅｆｒｏｍＸＭＬｄａｔａ．Ｆｉｒｓｔ，ｔｈｅｆｏｒｍａｌｍｏｄｅｌｓｂａｓｅｄ ｏｎｒｅｇｕｌａｒｔｒｅｅｇｒａｍｍａｒｆｏｒｃｏｍｍｏｎｌｙｕｓｅｄＸＭＬｓｃｈｅｍａｌａｎｇｕａｇｅｓａｒｅｐｒｅｓｅｎｔｅｄ．Ｔｈｅｎ，ｔｈｅｅｘｉｓｔｉｎｇｗｏｒｋｓｏｎＸＭＬｓｃｈｅ ｍａｉｎｆｅｒｅｎｃｅａｒｅｓｕｍｍａｒｉｚｅｄａｎｄｃｏｍｐａｒｅｄｆｒｏｍｖａｒｉｏｕｓａｓｐｅｃｔｓｓｕｃｈａｓｉｎｆｅｒｅｎｃｅｍｅｔｈｏｄｓ，ｔａｒｇｅｔｓｃｈｅｍａｌａｎｇｕａｇｅｓ，ｓｕｐ ｐｏｒｔｅｄｅｘｐｒｅｓｓｉｖｅｎｅｓｓ，ｒｅｇｕｌａｒｅｘｐｒｅｓｓｉｏｎｔｙｐｅｓｃｏｒｒｅｓｐｏｎｄｉｎｇｔｏｔｈｅｃｏｎｔｅｎｔｍｏｄｅｌｓ，ａｎｄｓｏｏｎ．Ｉｎａｄｄｉｔｉｏｎ，ｉｎｆｅｒｅｎｃｅｓｏｆ ｓｏｍｅｂａｓｉｃｉｎｔｅｇｒｉｔｙｃｏｎｓｔｒａｉｎｔｓｆｒｏｍＸＭＬｄａｔａａｒｅａｌｓｏｉｎｔｒｏｄｕｃｅｄ．Ｆｉｎａｌｌｙ，ｔｈｉｓｐａｐｅｒｐｏｉｎｔｓｏｕｔｔｈｅｄｅｆｅｃｔｓｏｆｃｕｒｒｅｎｔｒｅ ｓｅａｒｃｈａｎｄｄｉｓｃｕｓｓｅｓｓｏｍｅｐｏｔｅｎｔｉａｌｆｕｔｕｒｅｒｅｓｅａｒｃｈｄｉｒｅｃｔｉｏｎｓ．Ｔｈｉｓｐａｐｅｒａｉｍｓｔｏｏｆｆｅｒａｄｅｔａｉｌｏｖｅｒｖｉｅｗ，ｃｏｍｐａｒｉｓｏｎａｎｄａ ｎａｌｙｓｉｓｏｆｔｈｅｍａｉｎｓｔｒｅａｍｍｅｔｈｏｄｓａｎｄｒｅｃｅｎｔｐｒｏｇｒｅｓｓｉｎｔｈｉｓｆｉｅｌｄ，ｅｘｐｅｃｔｉｎｇｔｏｂｅｂｅｎｅｆｉｃｉ