Ниже приведена синтаксическая конструкция данной функции:

Итак, элементы

нашего преобразования определили множество троек . Функция выбирает все узлы x такие, что значение их ключа с именем (первым аргументом функции) равно (второму аргументу функции).

Значением выражения

будет множество элементов таких, что значение их ключа будет равно . Попросту говоря, это будет множество объектов источника .

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

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

Не представляет особой сложности определение множества ключей в случае, если в определении они идентифицируются строковыми выражениями. Например, в следующем определении

атрибут

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

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

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

Узел

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

□ узел

соответствует паттерну, указанному в его атрибуте ;

□ значение его атрибута

равно имени ;

□ результат

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

 • 

является множеством узлов и равно одному из их строковых значений;

 • 

не является множеством узлов и равно его строковому значению.

Без сомнения, определение не из простых. Но как бы мы действовали, если бы физически создавали в памяти множество ключей? Ниже представлен один из возможных алгоритмов:

□ для каждого элемента

найти множество узлов документа, удовлетворяющих его паттерну (множество );

□ для каждого из найденных узлов (

∈ ) вычислить значение выражения атрибута (значение );

□ если

является множеством узлов (назовем его ), то для каждого ∈ создать ключ , где — имя ключа (значение атрибута элемента );

□ если

является объектом другого типа (назовем его ), создать ключ .

Найдем множество ключей, создаваемое определением

Имена всех ключей будут одинаковы и равны

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