采用了剪枝优化的子类型关系判定算法

摘要：

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

关键词：XML、静态类型化语言、类型检查、子类型关系判定、算法优化

所属期刊栏目：21

分类号：TP301(计算技术、计算机技术)

资助基金：the National Natural Science Foundation of China under Grant Nos.60573013, 60721061

在线出版日期：2010-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1481-1490