Операции "равно" и "не равно" записываются при помощи продукции

Три основные операции с множествами узлов, которые поддерживает язык XPath, — это фильтрация множества, выборка с использованием путей и объединение.

Множества узлов, которые получаются в результате вычисления выражений, можно фильтровать — то есть выбирать из них узлы, удовлетворяющие заданным свойствам подобно тому, как это делалось предикатами в шагах выборки.

В выражениях множества узлов могут также фильтроваться одним или несколькими предикатами. Узел остается в фильтруемом множестве, только если он удовлетворяет всем предикатам поочередно.

Предположим, что нам нужно оставить в фильтруемом множестве узлов, которое присвоено переменной

, только те узлы, которые имеют имя и атрибут . Искомое выражение может быть записано следующим образом:

Можно использовать и более сложные конструкции, например, фильтровать объединение двух множеств — присвоенного переменной

и возвращаемого путем выборки :

Выражение, в котором производится фильтрация узлов, отвечает EBNF-правилу

:

Если раскрыть рекурсию, которая имеется в этом правиле, его можно переписать в более простом виде:

Выражение

, которое используется в этой продукции, должно обязательным образом возвращать множество узлов. В противном случае процессор выдаст ошибку, потому что никакой другой тип не может быть преобразован во множество узлов.

Помимо того, что выражение само по себе может быть путем выборки, относительные пути можно комбинировать с другими выражениями. Например, можно выбрать все дочерние элементы узлов множества, содержащегося в переменной

Для разделения шагов выборки в фильтрующих выражениях можно использовать операторы "

" и "". Например, для того, чтобы получить всех потомков узлов из множества, присвоенного переменной, можно использовать выражение вида

Здесь

— это тест узла, выполняющийся для всех типов узлов, а , как и обычно, сокращение от .

Выражения, которые используют пути выборки, соответствуют продукции

:

Множества могут быть объединены при помощи оператора "

". В объединение будут входить узлы, которые присутствуют хотя бы в одном из множеств, причем результат не содержит повторений. Объединять можно любые выражения, результатом вычисления которых являются множества узлов.

Множество всех элементов

, и документа может быть задано выражением .

Выражению объединения соответствует продукция

:

Теперь, когда мы изучили все типы операций XPath, можно дать синтаксическое определение выражению и выстроить все операции в порядке старшинства.