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

• 作者: 戴晓君 陈海明
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: XML 静态类型化语言 类型检查 子类型关系判定 算法优化
• 年，卷（期）: 2010,（7）
• 页码范围: 1481-1490
• 分类号: TP301
• 字数: 9248字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03806

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈海明		2	2	1.0	1.0
2	戴晓君		1	0	0.0	0.0