摘要
Twig查询是XML数据查询的核心操作.在复杂的XML数据处理中,Twig查询结果的类型信息可以用于优化后续的XML数据查询与处理.针对这种情况,分析了Twig查询的类型推导问题,提出了一种精确的XML类型推导方法,能够根据Twig查询中的结构约束和输入数据的数据类型,推导出查询结果的精确类型,从而为作用于Twig查询结果的XML数据处理提供更加精确的XML类型信息,以支持更深入的静态类型检查和提供更多的类型相关的查询优化的机会.该方法包括XML模式图到XML类型树的转换、XML类型树上的Twig模式匹配、可共存类型节点判断和XML类型树的子类型化,以不同子类型化的XML类型树的形式为不同种类的Twig查询结果提供了精确的类型信息.实验说明了这种类型推导方法的有效性.
Twig query is the core operation of XML data query.Since the type information of twig query results is related to the structure constraints in the query pattern,this paper analyzes the issue of type inference on twig query and proposes an accurate XML type inference approach.According to the type information,the static type checking and type related query optimization of the subsequent queries against twig query results can be performed deeply.Our approach includes the transformation from XML schema graph to a kind of XML type tree,twig pattern matching on the XML type tree,a judgment of coexisting type nodes and the subtyping of the XML type tree.We provide experimental evaluation to illustrate the efficiency of the approach.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第S1期32-43,共12页
Journal of Computer Research and Development
基金
国家自然科学基金青年科学基金项目(61202074)
北京市自然科学基金项目(4122011)
