基于XQuery查询优化的研究

来源 :计算机应用与软件 | 被引量 : 10次 | 上传用户:laner12
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
XML已经成为网络上信息描述和信息交换的标准,随着XML应用得越来越广泛,人们提出了多种XML数据的查询方法。但是,很多查询方法都有各自的局限性。利用有意义的最小公共实体结构EntityInMLCAS(Entity In Meaning Lowest Common An- cestor Structure)原理,提出一种优化查询方法。同时采用堆栈技术的方法对XML文档结点树进行自顶向下的遍历,该方法大大提高了优化查询的速度。
其他文献
分析CMMI的特点以及在实际应用中遇到的问题,以CMMI理论模型为基础,通过适当的裁剪,并结合敏捷软件开发的思想,提出基于CMMI的轻型软件质量保证框架(SQAF)。SQAF构建在CMMI的十个过程域上,沿用了CMMI中的主要角色和组,结合了敏捷软件开发的思想和实践。SQAF主要针对中小软件企业,易于实施和应用。
大面积皮肤撕脱伤是一种严重创伤。努力做好大面积皮肤撕脱伤的处理,最大限度地保留、恢复受伤部位的外形、功能是创伤外科中的一个重要课题。我院白2005年5月至2006年10月对2
语法结构正确的过程模型并不能保证过程运作的实际执行,因为没有考虑实例化阶段的时间资源安排。传统的过程自动机描述法不足以分析实例化过程模型。针对这种情况,提出用时间自动机描述过程模型语义的方法,设计了生成时间自动机的算法,分析了这种描述方法在模型检验中的应用。
学科知识建模是一项巨大的工程,当前存在的主要问题有知识库不能很好地共享和重用,难以实现语义上的推理及检索等。把本体技术应用于学科知识建模中,构造了部分课程本体,并实现了对该本体的推理及查询。
基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态和静态的契约检查。首先介绍了VeriJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了方案的核心部分基于定理证明器的静态验证器的理论和设计,并给出了相关示例。
在GIS领域中,由于Delaunay三角网在描述地表形态方面有很大的优势,所以常被用于生成不规则三角形网(TIN)。对约束TIN的构建过程进行了研究,并对其中的逐点插入算法和强行约束线算法从实现上进行了改进,提高了构网的速度。
运动检测是现代视频监控系统的核心。在分析和探讨了几种运动检测算法后,提出了一种新的应用于视频监控系统的运动检测算法,该算法结合统计法和边缘检测筛选出运动边缘点,对运动边缘点逐个进行块匹配最优搜索,估算出运动矢量。该算法的应用有效地压缩了存储的视频数据,改善了系统性能,有很好的实用价值。
通过对手机内容服务系统,特别是其安全性要求的研究,提出了一种适合于手机内容服务系统的安全模型。该模型能够满足手机内容服务系统的各种安全需求。讨论了一个具体的模型及其实现策略,分析了模型中使用的一些关键技术,同时对模型的性能作了简要的评测。