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

	采用了剪枝优化的子类型关系判定算法
	戴晓君 ; 陈海明
刊名	软件学报
	2010
卷号	21 期号:7 页码:1481-1490
关键词	XML 静态类型化语言类型检查子类型关系判定算法优化XML statically typed language type checking subtyping algorithm optimization
ISSN号	1000-9825
其他题名	subtyping algorithm with pruning optimization
中文摘要	静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效.
学科主题	Computer Science
语种	中文
公开日期	2011-05-23
附注	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 XDuces 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.
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/9814]
专题	软件研究所_计算机科学国家重点实验室 _期刊论文
推荐引用方式 GB/T 7714	戴晓君,陈海明. 采用了剪枝优化的子类型关系判定算法[J]. 软件学报,2010,21(7):1481-1490.
APA	戴晓君,&陈海明.(2010).采用了剪枝优化的子类型关系判定算法.软件学报,21(7),1481-1490.
MLA	戴晓君,et al."采用了剪枝优化的子类型关系判定算法".软件学报 21.7(2010):1481-1490.