| 采用了剪枝优化的子类型关系判定算法 |
| |
| 引用本文： | 戴晓君,陈海明.采用了剪枝优化的子类型关系判定算法[J].软件学报,2010,21(7):1481-1490. |
| |
| 作者姓名： | 戴晓君 陈海明 |
| |
| 作者单位： | 中国科学院,软件研究所,计算机科学国家重点实验室,北京,100190 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.60573013, 60721061 (国家自然科学基金) |
| |
| 摘 要： | 静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效.
|
| 关 键 词： | XML 静态类型化语言 类型检查 子类型关系判定 算法优化 |
| 收稿时间： | 2008/12/24 0:00:00 |
| 修稿时间： | 2009/11/26 0:00:00 |
Subtyping Algorithm with Pruning Optimization |
| |
| DAI Xiao-Jun and CHEN Hai-Ming.Subtyping Algorithm with Pruning Optimization[J].Journal of Software,2010,21(7):1481-1490. |
| |
| Authors: | DAI Xiao-Jun and CHEN Hai-Ming |
| |
| Affiliation: | DAI Xiao-Jun,CHEN Hai-Ming (State Key Laboratory of Computer Science,Institute of Software,The Chinese Academy of Sciences,Beijing 100190,China) |
| |
| 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. |
| |
| Keywords: | XML statically typed language type checking subtyping algorithm optimization |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
