A Light but Formal Introduction to XQuery
A Light but Formal Introduction to XQuery
复制标题
XQuery 的简单但正式的介绍
DOI：
10.1007/978-3-540-30081-6_2
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
S. Demeyer
中科院分区：
文献类型：
--
作者：
J. Hidders;J. Paredaens;Roel Vercammen;S. Demeyer
通过定义XQuery的子语言，我们对XQuery进行了一个轻量级但正式的介绍。我们忽略类型，不考虑名称空间、注释、编程指令和实体。为了避免混淆，我们称我们的版本为LiXQuery（Light XQuery）。LiXQuery与XQuery完全向下兼容。它的语法和语义远没有XQuery复杂，但LiXQuery中包含了XQuery的典型表达式。LiXQuery是一种优雅而简单的XQuery子语言，可用于教育和研究目的。给出了LiXQuery的完整语法和形式化语义。
We give a light-weight but formal introduction to XQuery by defining a sublanguage of XQuery. We ignore typing, and don’t consider namespaces, comments, programming instructions, and entities. To avoid confusion we call our version LiXQuery (Light XQuery). LiXQuery is fully downwards compatible with XQuery. Its syntax and its semantics are far less complex than that of XQuery, but the typical expressions of XQuery are included in LiXQuery. We claim that LiXQuery is an elegant and simple sublanguage of XQuery that can be used for educational and research purposes. We give the complete syntax and the formal semantics of LiXQuery.