Значення UNKNOWN і операції з ним

Якщо розглядати

• FALSE як 0,
• TRUE як 1,
• UNKNOWN як ½,

то можна сформулювати 3 правила трьохзначної логіки:

1. Результатом операції x AND y є мінімальне з значень x, y. Зокрема, FALSE AND UNKNOWN = FALSE.
2. Результатом операції x OR y є максимальне з значень x, y. Зокрема, TRUE OR UNKNOWN = TRUE.
3. Операція заперечення NOT x дає результат 1-x, тобто NOT UNKNOWN = UNKNOWN.

Таким чином, має місце таблиця трьохзначної логіки

Таблиця 5.13. Операції трьохзначної логіки

При тестуванні речення WHERE кортежі, які повертають FALSE або UNKNOWN, відкидаються.

Приклад 5.5. Розглянемо запит до БД фільмів

На перший погляд, у підсумкове відношення мають бути включені всі кортежі. Але якщо lenth містить значення NULL, такі кортежі не попадають у підсумкове відношення, оскільки UNKNOWN OR UNKNOWN = UNKNOWN.