首页> 中文会议>中国计算机学会第一届全国Web信息系统及其应用学术会议 >基于树自动机的XQuery子类型关系和值-域关系

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《中国计算机学会第一届全国Web信息系统及其应用学术会议》|2004年|488-492|共5页
会议地点武汉
作者
谢荣传; 谢铉洋;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP335.1;TP311.132;
关键词
自动机; 子类型; 转换函数; 值域关系算法;

相似文献

中文文献
外文文献
专利

1. 基于树自动机的XQuery子类型关系和值-域关系 [J] . 谢荣传 ,谢铉洋 . 计算机科学 . 2004,第0z1期
2. 基于树自动机的XQuery子类型关系和值-域关系 [J] . 谢荣传 ,谢铉洋 . 计算机科学 . 2004,第B09期
3. 格值树自动机与格值上下文无关树文法的等价性 [J] . 杨文武 ,李永明 ,孙丹丹 . 计算机工程与科学 . 2008,第011期
4. 基于子域上下文关系的DNS隐蔽信道检测方法 [J] . 王杉杉 ,杜飞 . 计算机科学与应用 . 2021,第006期
5. 几类格值自动机的关系 [J] . 李平 ,李永明 . 模糊系统与数学 . 2005,第3期
6. 格值树自动机与格值上下文无关树文法的等价性 [C] . . 2008年全国理论计算机科学学术年会 . 2008
7. 几类格值自动机的关系及其语言的代数性质 [A] . 李平 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号