10.3969/j.issn.1002-137X.2004.03.004
XQuery语言的形式化语义
XQuery语言用于查询XML文档.目前,该语言规范还是W3C的工作草稿.语言的形式化语义有助于语言的标准化,本文通过重用XML家族语言通用语义构件的方法,形式化建模XQuery语言的语义,语义的描述采用Object-Z规范语言.这种面向对象的语义描述不仅具有简洁性、可扩展性和可组合性,而且有助于规范之间的一致性和协调性.
XML、XPath、XML Schema、Object-Z、XQuery
31
TP3(计算技术、计算机技术)
联合国大学软件技术研究所资助项目
2004-06-11(万方平台首次上网日期,不代表论文的发表时间)
共5页
15-18,27