Firebird РУКОВОДСТВО РАЗРАБОТЧИКА БАЗ ДАННЫХ - Хелен Борри

* при установке во время выполнения условий определения вывода;

* в условиях потока управления в модулях PSQL.

Предикаты

Предикат - это просто выражение, которое утверждает некоторый факт о значении. Операторы SQL обычно проверяют предикаты во фразах WHERE и В выражениях CASE, ON является проверкой для предикатов JOIN, HAVING проверяет атрибуты в сгруппированном выводе. В PSQL операторы управления потоком выполнения проверяют предикаты в предложениях IF, WHILE и WHEN. Решения принимаются в соответствии с результатом вычисления предиката - истина или ложь.

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

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

Все операторы, включенные в табл. 21.1 (которая появится позже в этой главе), могут быть операторами предикатов. Значения, включенные в предикат, могут быть простыми или чрезвычайно сложными вложенными выражениями. Пока сравниваемые выражения, которые могут растворяться среди константных значений, являются правильными, то не имеет значения, насколько они сложны.

Возьмем такой простой оператор, где равенство = используется для проверки точного соответствия:

SELECT * FROM EMPLOYEE

WHERE LAST_NAME = 'Smith';

Это предикат "значением столбца LAST_NAME является 'smith'". Сравниваются две константы (текущее значение столбца и строковый литерал) для проверки их равенства. Выбирая каждую строку из таблицы EMPLOYEE, сервер будет отбрасывать все, где предикат является ложным (значение отличается от 'Smith') или неопределенным (столбец имеет значение NULL, следовательно, он не может быть определен, как имеющий значение 'Smith' или не имеющий значение 'Smith').

Где проверяется истинность

Синтаксическими элементами, проверяющими истинность, являются:

* в DDL: CHECK для проверки условий достоверности данных;

* в SQL: WHERE (для условий поиска), HAVING и NOT HAVING (для условий выбора групп), ON (для условий соединения) и случаи проверки множества условий CASE, COALESCE и NULLIF;

* в PSQL: IF (универсальная проверка истина/ложь), WHILE (для проверки условий цикла) и WHEN (для проверки кодов исключения).

Утверждения

Часто условия, проверяемые в WHERE, IF и т.д., не являются простыми предикатами, а группой нескольких предикатов, каждый из которых при вычислении делает вклад в вычисление общей истинности. Утверждение может состоять из одного предиката или из нескольких предикатов, связанных логическими операциями AND или OR. Каждый из этих предикатов сам может содержать вложенные предикаты. Окончательный результат вычисление истинности утверждения получается в результате процесса, который работает по направлению от внутренних предикатов к внешним. Каждый "уровень" должен быть вычислен в порядке своего приоритета, пока не будет возможным получить окончательное значение утверждения.

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

SELECT * FROM EMPLOYEE

WHERE (

(HIRE_DATE > CURRENT_DATE - 366)

AND (SALARY BETWEEN 25000.00 AND 39999.99));

Строки, для которых одно утверждение истинно, а другое ложно, будут отбрасываться.

Первый предикат (HIRE_DATE > CURRENT_DATE - 366) использует выражение, состоящее из переменной и операции вычисления значения, которое будет сравниваться со значением столбца. В этом случае утверждение использует оператор- утверждение будет истинным, если значение столбца будет больше, чем значение, полученное из выражения.

Второй предикат использует другой оператор. Ключевое слово BETWEEN задает проверку "больше или равно значению в левой части и меньше или равно значению в правой части".

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

Решение, что является истинным

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

В нашем примере вначале проверяется (HIRE_DATE > CORRENT_DATE - 366), потому что это самый левый предикат. Если бы у него были вложенные предикаты, то сначала проверялись бы они. Ни для одного из предикатов нет проверки на NULL, но мы включили сюда тот случай, когда встречается пустое ("неизвестное") значение в проверяемых данных, что приведет к результату "ложь", поскольку проверка не может вернуть истину. Должна быть доказана истинность предикатов, чтобы они считались истинными.

Если NULL встречается в HIRE DATE, то проверка немедленно прекращается и возвращает ложь[72]. Связка AND означает: два предиката, соединенные операцией AND, не могут давать результат истина, если один из них является ложным, следовательно, нет необходимости выполнять проверку второго предиката.

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

Рис. 21.1. Вычисление истинности

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

Символы, используемые в выражениях

Табл. 21.1 описывает символы, которые могут появляться в выражениях SQL.

Таблица 21.1. Элементы выражений SQL

Элемент

Описание

Имя столбца

Идентификаторы столбцов из указанных таблиц, представляющих поле, используемое в вычислении, или сравнении, или в качестве условия поиска. На любой столбец базы данных может быть ссылка в выражении за исключением столбцов типа массива. (Исключение: любой столбец, являющийся массивом, может проверяться на is [NOT] NULL)

Элементы массива

На элементы массива может быть ссылка в выражении

Имена столбцов только для вывода

Во время выполнения идентификаторы задают вычисляемые столбцы или алиасы столбцов базы данных

Ключевое слово AS

Используется (необязательно) как маркер для имени только для выходного столбца списка столбцов в SELECT

Арифметические операторы

Символы +, -, * и / используются для вычисления значений

Логические операторы

Зарезервированные слова NOT, AND и OR используются в простых условиях поиска или при комбинировании простых условий поиска для создания сложных предикатов

Операторы сравнения

<, >, <=, >=, = и <> используются для сравнения утверждений

Другие операторы сравнения

LIKE, STARTING WITH, CONTAINING, BETWEEN, и IS [NOT] NULL

Операторы существования

Предикаторы, используемые для проверки существования значения в наборе, IN может быть использован с наборами констант или со скалярными подзапросами, EXISTS, SINGULAR, ALL, ANY и SOME могут быть использованы только с подзапросами

Оператор конкатенации

Пара из вертикальных черт (||) используется для соединения символьных строк. Обратите внимание, что символы + и & не являются символами конкатенации в стандарте SQL

Константы

Числа или заключенные в апострофы строковые литералы, такие как 507 или 'Tokyo', которые могут быть включены в вычисления или сравнения в качестве полей времени выполнения

Литералы даты

Выражения, подобные строковым литералам, заключенным в апострофы, которые могут быть интерпретированы как значения даты, времени или даты-времени в операциях EXTRACT, SELECT, INSERT и UPDATE. Литералами даты могут быть предварительно определенные литералы ('TODAY', 'NOW' 'YESTERDAY', 'TOMORROW') или подходящие строки даты и времени, как описано в главе 10. В диалекте 3 литералы даты обычно требуют преобразования (CAST) в допустимый тип даты/времени при использовании в выражениях EXTRACT и SELECT

Внутренние контекстные переменные

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

Подзапросы

Внутренние операторы SELECT, которые возвращают единственное (скалярное) значение для вывода или для сравнения в предикате