Пространства имен и схемы 70 Сегментация проблемы 71

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

В языке XPath кванторы (quantifiers) используются для выделения хотя бы одного узла из последовательности узлов или выделения всех узлов последовательности с определенным свойством. Квантор существования (existential quantifier) записывается так:

sоте $имя in выражение1 satisfies выражение2

Здесь сначала вычисляется выражение1. Переменная $имя одно за другим принимает значения узлов из последовательности, полученной в результате вычисления выражения1. Эти значения используются в выражении2. Как только выражение2 даст значение true, вычисления прекращаются и квантор выдает значение true. Если этого не случится, значением квантора будет false.

Например, выясним, есть ли у нас хотя бы один сотрудник по имени

"Федор":

every $имя in выражение1 satisfies выражение2

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

Например, проверим, все ли сотрудники имеют высшее образование;

every $n in /person/education satisfies $n = "высшее"