Tree Automaton Based Algorithms for Sub-Typing and inDOM Relations in XQuery

来源 :武汉大学学报:自然科学英文版 | 被引量 : 0次 | 上传用户:WHBGODWHBGOD
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Proposed by W3C(World Wide Web Consortium),XQuery is a descriptive query language for XML structured data or documents.The specification of XQuery gives functional description of XQuery's typing system, but doestn't provide methods to judge the Su
其他文献
国有企业高管选拔工作是人力资源管理的重要内容。如何有效识别不同对象的差异化水平是人才选拔的关键。本文研究了差异化选择的评价指标体系和评价模型,以期对实际操作具有借
新课本对两条直线平行和垂直的条件运用得较充分,但对两直线重合的条件则运用不够.这里提供一个上海高考题,希望引起同学们注意。
文章将个性化学习和协同学习的教育理念结合起来,提出了一个基于数据融合技术的协同学习系统框架,以解决协同学习中个体学习目标往往得不到实现的问题。
On the basis of analysis the governing process of downstream water level gates AVIO and AVIS, a mathematical model for simulation of dynamic operation process o
本文应用BGC作为牙周骨缺损修复的动物实验研究和临床应用材料。动物实验结果:植入30天后植入物周围有纤维组织包绕,50天后有大量纤维长入,80天后植入物界面有新骨形成。临床应用结果表明
学生在初学立体几何时,首先学习到的是平面性质的三个公理及其推论.通过教学发现,多数学生感觉到这三个公理很简单,但是却不知道如何去应用,因而造成对基础知识理解不透,学习受阻.针
数列的递推关系式是表示数列的一种重要方法,以递推关系式为载体的数列问题频繁出现在考试题中,而迭代法是解决这类问题的通法.本文以近年高考试题为例说明迭代法在解决递推数列
在立体几何学习中,求异面直线的距离是学习中的难点,因此掌握一些求异面直线距离的常用方法是很有必要的.
The synergistic interaction between the cationic guar gum (the ammonium hydroxy-propyl-trimethyl chloride of guar gum) and sodium alginate has been studied. The