□ Паттерн

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

Мы более подробно остановимся на ключевых паттернах, когда будем разбирать функции

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

Если сравнить это правило с упрощенной продукцией

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

Эти шаги соответствуют продукции

, которая отличается от продукции только тем, что разрешает использовать только оси и .

Продукция

описывает дескрипторы осей и в полном или сокращенном виде:

Для простоты мы можем раскрыть эту продукцию, получив ее в следующем виде:

Тогда продукцию

тоже можно переписать:

Теперь стало совершенно очевидно, что шаг паттерна это не что иное, как подмножество шагов выборки, в которых ограничено множество осей навигации.

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

в виде оператора), но зато можно в качестве узла отсчета использовать узел, выбранный по своему уникальному атрибуту или по значению ключа.

Паттерны могут использоваться в XSLT в следующих атрибутах:

□ атрибуты

и элемента ;

□ атрибут

элемента ;

□ атрибут

элемента .

Последние два случая паттернов отличаются от первого тем, что в них нельзя использовать переменные. Определение вида

будет некорректным.

Остановимся подробнее на вопросе — что же означает "соответствие узла некоторому паттерну".

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

Узел

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