论文部分内容阅读
XQuery是W3C提出的一种对XML结构文档或数据进行查询的语言规范，该语言规范对其类型系统仅做了功能性的描述，而没有涉及在编译实现中遇到的两个类型之间子类型关系和值-域关系的判断方法。本文描述和分析了这两种关系，基于树自动机，给出了XQuery类型系统中子类型关系和值-域关系的判断算法。
基于树自动机的XQuery子类型关系和值-域关系
【摘 要】
：
XQuery是W3C提出的一种对XML结构文档或数据进行查询的语言规范，该语言规范对其类型系统仅做了功能性的描述，而没有涉及在编译实现中遇到的两个类型之间子类型关系和值-域关系
【机 构】
：
安徽大学计算智能与信号处理教育部重点实验室,中国科学技术大学计算机科学与技术系
【出 处】
：
计算机科学
【发表日期】
：
2004年B09期
其他文献
介绍了跨G55高速公路分离式立交桥55m钢混组合箱梁的施工方案、临时支架的搭设、钢箱梁安装、钢筋混凝土桥面板的施工工艺与施工方法。
舞钢公司针对市场需求,通过优化合金成分设计、冶炼及浇铸工艺,同时匹配合适的轧钢及热处理工艺措施,最终采用连铸坯代替模铸钢锭成功生产出100~150 mm厚度规格S690QL钢板。
通过对江苏省新建省道S336公路桥-80m计算跨径的PC系杆拱桥的施工建模和施工过程的模拟分析，展示了PC系杆拱桥施工过程中各控制截面的内力、应力以及吊杆索力的分布特点，为同类
运用土样全压实曲线理论,借助土体强度以及回弹模量的相关实验,探讨了公路施工土样全压实和击实曲线的知识与实际应用的要点,探究了公路应用土体物理属性、压实土体和击实功
阐述了选择沥青路面预防性养护措施的原则，构建了沥青路面预防性养护模型，并采用层次分析法（AHP）作为确定沥青路面预防性养护决策的研究方法，通过矩阵计算的方式得出最佳的沥青路
Gau和Buehrer提出Vague集以来,为刻画两个Vague集(值)之间的相似程度,一些Vague集的相似度量方法被提出来,但在许多情况下,求相似度量往往和距离测度有关.本文通过建立Vague
双预应力混凝土结构在拉压共同作用下，克服了混凝土抗压不抗拉的弱点，改善了混凝土的性能，可大幅降低梁高，减轻白重，可用于梁高受到限制的场合。阐述了双预应力混凝土结构的含义，介
软件体系结构是软件设计的基础,在不同的应用领域有具体的设计和表达.随着网络建设的完善,我国各级政府职能部门建立在网络上的应用系统日益增多,本文以交通管理部门应用为例