XQuery语言的形式化语义

来源 :计算机科学 | 被引量 : 0次 | 上传用户：gaoxiang19931030

【摘要】

：

XQuery语言用于查询XML文档.目前,该语言规范还是W3C的工作草稿.语言的形式化语义有助于语言的标准化,本文通过重用XML家族语言通用语义构件的方法,形式化建模XQuery语言的语

【作者】

：

杨红丽韩俊刚郝克刚

【机构】

：

西北大学计算机科学系,西安邮电学院计算机系,西北大学计算机科学系

【出处】

：

计算机科学

【发表日期】

：

2004年3期

【关键词】

：

XQUERY语言形式化语义面向对象 XML语言应用程序标准化 XML. XPath XML schema Object-Z .XQuery

【基金项目】

：

联合国大学软件技术研究所资助项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

XQuery语言用于查询XML文档.目前,该语言规范还是W3C的工作草稿.语言的形式化语义有助于语言的标准化,本文通过重用XML家族语言通用语义构件的方法,形式化建模XQuery语言的语义,语义的描述采用Object-Z规范语言.这种面向对象的语义描述不仅具有简洁性、可扩展性和可组合性,而且有助于规范之间的一致性和协调性.

其他文献

利用水平井系统开发低产能油层的可能性

为提高低产能油层开发效果,有效开发复杂结构油气藏和底水油藏,扩大强化采油与油层处理方法的应用领域,本文对俄罗斯诺亚布里地区低产能油藏使用水平井开发的可能性和效果进

期刊

水平井油层采油率

电子图书馆及其建设

本文首先对电子图书馆的内涵作了概述,并基于Internet的应用、多媒体技术、电子图书等方面的发展,指出了建设电子图书馆不仅是必要的而且是可能的。文章在分析我国高校图书馆

期刊

电子图书馆管理系统信息资源图书馆自动化Electronic LibraryManagement SystemInformation Resour

资源真的有限吗？

期刊

未来资源预测人口增长技术进步

在Prudhoe湾用井下视频测井技术诊断生产问题

介绍了实时光导纤维井下视频系统(DHV)(Downhole Video)及其在Prudhoe湾油井上作为一种解决生产问题的诊断工具的使用情况。镜头制备技术的最新发展以及在电子纤维光导电缆方

期刊

视频技术测井采油井

图书馆在未来信息世界的位置

随着计算机技术和通讯技术的发展,传统图书馆在信息的收集和传递手段上发生了质的变化。但也因竞争对手的介入而导致横向交流职能的削弱。与此同时,各种类型的图书馆根据自身

期刊

图书馆信息网络计算机应用LibraryInformation Network

基于二次成像与清晰度差异的多聚焦图像融合

本文提出了一种基于清晰度差异的不同聚焦点图像的融合方法。该方法首先选择了一种基于梯度向量模方和的清晰度定义,然后根据几何光学系统的成像模型,以及点扩散函数的作用效果提出了模拟光学系统的二次成像模型。然后根据二次成像前后各图像清晰度的差异情况,对各幅图像中的目标进行判断,并选择其中的清晰部分生成融合图像。实验结果表明,该方法可以提取出多聚焦图像中的清晰目标,生成的融合图像效果优于Laplacian塔

期刊