摘要：
Twig查询是XML数据查询的核心操作在复杂的XML数据处理中,Twig查询结果的类型信息可以用于优化后续的XML数据查询与处理针对这种情况,分析了Twig查询的类型推导问题,提出了一种精确的XML类型推导方法,能够根据Twig查询中的结构约束和输入数据的数据类型,推导出查询结果的精确类型,从而为作用于Twig查询结果的XML数据处理提供更加精确的XML类型信息,以支持更深入的静态类型检查和提供更多的类型相关的查询优化的机会该方法包括XML模式图到XML类型树的转换、XML类型树上的Twig模式匹配、可共存类型节点判断和XML类型树的子类型化,以不同子类型化的XML类型树的形式为不同种类的Twig查询结果提供了精确的类型信息实验说明了这种类型推导方法的有效性.
关键词：
通讯作者信息：
电子邮件地址：
