%0 Journal Article
%T The Formal Semantics of Xquery Language<br>XQuery语言的形式化语义
%A YANG Hong-Li HAN Jun-Gang HAO Ke-Gang
%A <br>杨红丽
%A 韩俊刚
%A 郝克刚
%J 计算机科学
%D 2004
%I 
%X XQuery语言用于查询XML文档。目前，该语言规范还是W3C的工作草稿。语言的形式化语义有助于语言的标准化，本文通过重用XML家族语言通用语义构件的方法，形式化建模XQuery语言的语义，语义的描述采用Object—Z规范语言。这种面向对象的语义描述不仅具有简洁性、可扩展性和可组合性，而且有助于规范之间的一致性和协调性。
%K XML
%K XPath
%K XML schema
%K Object-Z
%K XQuery<br>XQuery语言
%K 形式化语义
%K 面向对象
%K XML语言
%K 应用程序
%K 标准化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=10AA18A9377B7188&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=38B194292C032A66&sid=23CCDDCD68FFCC2F&eid=13553B2D12F347E8&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=22