Булевские функции и операторы

Две функции-конструкторы

fn:true() as xs:boolean

и

fn:false() as xs:boolean

возвращают соответственно значения true и false.

Для булевских данных определены следующие операторы:

· op:boolean-equal($value1 as xs:boolean, $value2 as xs:boolean) as xs:boolean – возвращает true в случае, если оба аргумента равны true или оба аргумента равны false, в противном случае возвращает false;

· op:boolean-less-than($arg1 as xs:boolean, $arg2 as xs:boolean) as xs:boolean – возвращает true в случае, если первый аргумент равен false, а второй – true, в противном случае возвращает false;

· op:boolean-greater-than($arg1 as xs:boolean, $arg2 as xs:boolean) as xs:boolean – возвращает true в случае, если первый аргумент равен true, а второй – false, в противном случае возвращает false;

Функция

fn:not($arg as item()*) as xs:boolean

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

Примеры использования булевских функций и операторов:

1. fn:true() – возвращает true.

2. op:boolean-equal(true, false) – возвращает false.

3. op:boolean-less-than(true, false) – возвращает false.

4. op:boolean-greater-than(true, false) – возвращает true.

5. fn:not(false) – возвращает true.

6. fn:not(3<5) – возвращает false.