论文部分内容阅读
XML的广泛流行很大程度得益于可以使用模式限制XML文档的结构.静态类型化XML处理语言利用模式增加基于XML信息系统的鲁棒性和运行效率.
在编译时刻类型检查时，静态类型化XML处理语言把模式作为常规类型对待.子类型关系判定问题与编译时刻类型检查的执行速度密切相关.本文列举并比较若干适用于XML的子类型关系判定算法.
因为XDuce的正规表达式类型已成为静态类型化XML处理语言的基础，本文优化正规表达式类型的子类型判定算法.其基本思想是对子类型判定规则中函数递归调用树进行剪枝.实验结果证明此优化策略是有效的.同时，此优化策略还可用于与XDuce类似的其他静态类型化XML处理语言.
本文分析XDuce0.5.0源代码，描述XDuce实现的数据结构和XDuce程序的执行流程，并在其基础上实现上述优化策略.