Базы данных: конспект лекций.

5. Null-значения и проверка условий.

Итак, из всего вышесказанного можно сделать вывод, что в логике систем управления базами данных имеются не два логических значения (Тruе и Fаlsе), а три, ведь Null-значение также рассматривается как одно из возможных логических значений. Именно поэтому на него часто ссылаются как на неизвестное значение, значение Unкnоwn.

Однако, несмотря на это, в системах управления базами данных реализуется только двузначная логика. Поэтому условие с Null-значением (неопределенное условие) должно интерпретироваться машиной либо как Тruе, либо как Fаlsе.

В языке СУБД по умолчанию установлено опознавание условия с Null-значением как значения Fаlsе. Проиллюстрируем это следующими примерами реализации в системах управления базами данных условных операторов If и Whilе:

Эта запись означает: если Р принимает значение Тruе, то выполняется действие А, а если Р принимает значение Fаlsе или Null, то выполняется действие В.

Теперь применим к этому оператору операцию отрицания, получим:

В свою очередь, этот оператор означает следующее: если ¬Р принимает значение Тruе, то выполняется действие В, а в том случае, если ¬Р принимает значение Fаlsе или Null, то будет выполняться действие А.

И снова, как мы видим, при появлении Null-значения мы сталкиваемся с неожиданными результатами. Дело в том, что два оператора If в этом примере не эквивалентны! Хотя один из них получен из другого отрицанием условия и перестановкой ветвей, т. е. стандартной операцией. Такие операторы в общем случае эквивалентны! Но в нашем примере мы видим, что Null-значению условия Р в первом случае соответствует команда В, а во втором – А.

А теперь рассмотрим действие условного оператора Whilе:

Как работает этот оператор? Пока переменная Р имеет значение Тruе, будет выполняться действие А, а как только Р примет значение Fаlsе или Null, выполнится действие В.

Но не всегда Null-значения интерпретируются как Fаlsе. Например, в ограничениях целостности неопределенные условия опознаются как Тruе (ограничения целостности – это условия, накладываемые на входные данные и обеспечивающие их корректность). Это происходит потому, что в таких ограничениях отвергнуть нужно только заведомо ложные данные.

И опять-таки в системах управления базами данных существует специальная функция подмены IfNull (ограничения целостности, Тruе), с помощью которой Null-значения и неопределенные условия можно представить в явном виде.

Перепишем условные операторы If и Whilе с использованием этой функции:

Итак, функция подмены IfNull (выражение 1, выражение 2) возвращает значение первого выражения, если оно не содержит Null-значения, и значение второго выражения – в противном случае.

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