基于树自动机的XQuery子类型关系和值-域关系

摘要：

XQuery是W3C提出的一种对XML结构文档或数据进行查询的语言规范,该语言规范对其类型系统仅做了功能性的描述,而没有涉及在编译实现中遇到的两个类型之间子类型关系和值-域关系的判断方法.本文描述和分析了这两种关系,基于树自动机,给出了XQuery类型系统中子类型关系和值-域关系的判断算法.

关键词： 自动机 子类型 转换函数 值域关系算法

作者: 谢荣传 谢铉洋

作者单位: 安徽大学计算智能与信号处理教育部重点实验室(合肥) 中国科学技术大学计算机科学与技术系(合肥)

会议类型: 国内会议

会议名称: 中国计算机学会第一届全国Web信息系统及其应用学术会议

会议地点: 武汉

会议语种:中文

页码: 488-492

在线出版日期: 2004-10-29（万方平台首次上网日期，不代表论文的发表时间）