В отличие от языков Java и C++, базирующихся на предложениях, язык XQuery основывается на выражениях. Простейшим выражением XQuery является конструктор XML элемента:

Данный элемент <recipe/> является XQuery выражением, которое формирует полный XQuery. На самом деле этот XQuery реально не является каким-либо запросом. Он просто создает на выходе пустой элемент <recipe/>. Но конструирование новых элементов в XQuery часто бывает необходимо.

Выражения XQuery могут быть заключены в фигурные скобки и вставлены в другое выражение XQuery. Данный XQuery представляет собой вставку документа, встроенную в узел выражения:

<html xmlns="http://www.w3.org/1999/xhtml/"

xml:id="{doc("other.html")/html/@xml:id}"/>

Это выражение создает на выходе новый элемент <html> и устанавливает его атрибут id в соответствии с найденным атрибутом id из элемента <html> в файле other.html.

Использование выражений Path для сравнения и выбора элементов

В C++ и Java для поиска нужных элементов мы пишем вложенные циклы for и рекурсивные функции обхода XML деревьев. В XQuery мы записываем эти итеративные и рекурсивные алгоритмы посредством выражений пути.

Выражение пути выглядит подобно обычному выражению файлового пути, используемому для указания расположения файла в иерархической файловой системе. Это последовательность одного или нескольких шагов, разделенных слешем “ / "или двойным слешем "/ / ". Хотя выражения пути используется для обхода XML деревьев, а не файловых систем, в QtXmlPatterms мы может моделировать файловую систему, чтобы она выглядела подобно XML дереву. Следовательно, применяя QtXmlPatterns, мы можем использовать XQuery для обхода файловой системы. См. пример файловой системы.

Думаю, что использование выражения пути, как алгоритма обхода XML дерева с целью поиска и получения элементов, интересно. Этот алгоритм определяется посредством вычисления каждого шага при перемещении в заданной последовательности пути слева направо. Вычисляемый шаг с набором входных элементов (узлы и атомарные значения), иногда называют фокус. Шаг вычисляется для каждого элемента в фокусе. Эти вычисления создают новый набор элементов, называемый результатом, который затем становится фокусом, и передается на следующий шаг. Вычисление последнего шага определяет окончательный результат, который и является результатом XQuery. Элементы в результирующем наборе представлены без дублирования в том же порядке, что и в документе.

В QtXmlPatterns стандартным способом установки начального фокуса в запросе является вызов (QXmlQuery::setFocus

). Другой распространенный способ – разрешить XQuery самостоятельно установить начальный фокус, используя первый шаг выражения пути при вызове функции doc(). Функция doc()загружает XML-документ и возвращает узел документа. Обратите внимание, что узел документа не тоже, что и элемент документа. Узел документа это узел, построенный в памяти при загрузке документа. Он представляет собой цельный XML документ, а не элемент документа. Элемент документа это одиночный ,XML элемент верхнего уровня в файле. Функция doc() возвращает узел документа, который становится одноэлементный узлом в начальном наборе, получившим фокус. Узел документа будет иметь один дочерний узел, и этот дочерний узел будет представлять элемент документа. Рассмотрим следующий запрос XQuery.

Описатель оси	ссылается на оси, содержащую...
self::	сам узел контекста
attribute::	все атрибут узлы узла контекста
child::	все дочерние узлы узла контекста (не атрибуты)
descendant::	все потомки узла контекста (дети, внуки, и т.д.)
descendant-or-self::	все узлы descendant + self
parent::	родительский узел узла контекста, или пустой, если нет родителя
ancestor::	все предки узла контекста (родители, родители родителей и т.д.)
ancestor-or-self::	все узлы ancestor + self
following::	все узлы в дереве, включая контекстный узел, не включая descendant, и которые следуют за контекстным узлом в документе
preceding::	все узлы в дереве, включая контекстный узел, не включая ancestor, и которые предшествуют контекстному узлу в документе
following-sibling::	все дети parent контекстного узла, которые следуют за контекстным узлом в документе
preceding-sibling::	все дети parent контекстного узла, которые предшествуют контекстному узлу в документе

Проверка узла	соответствует всем...
node()	узлы любого вида
text()	текстовые узлы
comment()	узлы комментариев
element()	узлы элементов (подобно звездочке: *)
element(name)	узлы элементов с именем name
attribute()	узлы атрибутов
attribute(name)	узлы атрибутов с именем name
processing-instruction()	инструкции обработки
processing-instruction(name)	инструкции обработки с именем name
document-node()	узел документа (существует только один)
document-node(element(name))	узел документа с элементом документа name

Сокращенный синтаксис	Сокращено для...	соответствует всем...
name	child::element(name)	дочерние узлы, являющиеся элементами с name
*	child::element()	дочерние узлы, которые являются элементами (node() соответствует всем дочерним узлам)
..	parent::node()	родительские узлы (существует только один)
@*	attribute::attribute()	узлы атрибуты
@ имя	attribute::attribute(name)	атрибуты с именем name
//	descendant-or-self::node()	узлы потомки (при использовании вместо '/')

конструктор элемента с выражением...	вычисляет...
<e>sum ((1, 2, 3))</e>	<e>sum ((1, 2, 3))</e>
<e>sum ({(1, 2, 3)})</e>	<e>sum (1 2 3)</e>
<e>{ sum ((1, 2, 3))}</e>	<e>6</e>