###
DOI:
Journal of Software:2010.21(7):1481-1490

采用了剪枝优化的子类型关系判定算法
戴晓君,陈海明
(中国科学院 软件研究所 计算机科学国家重点实验室,北京 100190)
Subtyping Algorithm with Pruning Optimization
DAI Xiao-Jun,CHEN Hai-Ming
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3441   Download 3413
Received:December 24, 2008    Revised:November 26, 2009
> 中文摘要: 静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60573013, 60721061 (国家自然科学基金) Supported by the National Natural Science Foundation of China under Grant Nos.60573013, 60721061 (国家自然科学基金)
Foundation items:
Reference text:

戴晓君,陈海明.采用了剪枝优化的子类型关系判定算法.软件学报,2010,21(7):1481-1490

DAI Xiao-Jun,CHEN Hai-Ming.Subtyping Algorithm with Pruning Optimization.Journal of Software,2010,21(7):1481-1490