论文部分内容阅读
静态类型化XML处理语言为处理XML数据提供了新的途径，但现有的此类语言大多数效率较低．研究此类语言的一个重要问题——子类型关系的判定，并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化．实验数据显示，优化后算法的执行效率平均提高20％．该策略具有普遍性，对所有使用类似算法的静态类型化XML处理语言都有效．