| 摘要: |
| 静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效. |
| 关键词: XML 静态类型化语言 类型检查 子类型关系判定 算法优化 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60573013, 60721061 (国家自然科学基金) |
|
| Subtyping Algorithm with Pruning Optimization |
|
DAI Xiao-Jun,CHEN Hai-Ming
|
| Abstract: |
| Statically typed XML processing languages show new ways of processing XML data. However, current languages are not efficient enough. This paper studies the decision problem of subtyping relation which is an important issue of the languages, and optimizes XDuce’s subtyping algorithm with a pruning strategy. Experimental data show the efficiency of the algorithm increased 20% averagely. This optimization strategy can be applied to other languages which use similar subtyping algorithm. |
| Key words: XML statically typed language type checking subtyping algorithm optimization |
