Книга: Firebird РУКОВОДСТВО РАЗРАБОТЧИКА БАЗ ДАННЫХ
Утверждения
Утверждения
Часто условия, проверяемые в 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 задает проверку "больше или равно значению в левой части и меньше или равно значению в правой части".
Круглые скобки здесь не являются обязательными, хотя для многих сложных выражений скобки должны быть использованы для задания приоритета вычислений выражений и предикатов. В ситуациях, когда проверяются серии предикатов, использование для них скобок является хотя и необязательным, но весьма полезным для документирования и отладки.
- Инструкция утверждения
- Утверждения как средство для написания корректного ПО
- IV. Рисунки для утверждения планов
- Утверждения (Assertions)
- Утверждения не являются механизмом проверки вводимых данных
- Утверждения это не управляющие структуры
- Работа с утверждениями
- Включение функций в утверждения
- У11.3 Полные утверждения для стеков
- У11.6 Утверждения и экспорт
- Переопределение и утверждения
- Наследование и утверждения