Перегляд вихідного коду сторінки Null (SQL)

{{Otheruses|NULL}}
[[Файл:Db null.png|300px|thumb|right|Грецька літера [[Омега (літера)|омега (ω)]] в нижньому регістрі використовується для представлення Null в теорії баз даних]]

'''Null'''&nbsp;— спеціальне значення, яке використовується в [[SQL]] для позначення відсутності даних.  NULL відповідає поняттю «порожнє поле», тобто «поле, яке не містить ніякого значення». Введено винахідником [[Реляційна модель даних|реляційної моделі даних]] [[Едгар Кодд|Едгаром Коддом]], [[SQL]] Null слугує для виконання вимоги, що всі ''дійсно [[Реляційна СКБД|реляційні системи керування базами даних (РСКБД)]]'' підтримують представлення «відсутньої і непридатної інформації». Кодд також ввів використання малої літери [[Грецька абетка|грецької]] [[Омега (літера)|омега]] (ω) як символу для представлення Null в теорії баз даних. <code>NULL</code> також є [[зарезервоване слово|зарезервованим словом]] в SQL, яке вказує на спеціальну позначку Null.

Null був причиною суперечок і дебатів через свою асоціацію з [[Трійкова логіка|трійковою логікою]], особливих вимог з його використання в інструкції SQL [[Об'єднання (SQL)|JOIN]], і спеціальної обробки [[агрегатна функція|агрегатними функціями]] та операторами групування SQL. Хоча особливі функції та предикати правильно обробляють Null, опоненти відчувають, що підтримка цієї можливості вводить непотрібну складність і суперечливість в реляційну модель даних.

==Історія==

Null був введений Едгаром Коддом як засіб для представлення відсутніх даних в реляційній моделі незалежно від типу даних. В подальшому він опублікував свою статтю в двох частинах в часописі ''ComputerWorld''<ref>{{Цитата:Стаття|last=Codd|first=E.F.|title=Is Your Database Really Relational?|journal=[[ComputerWorld]]|date=October&nbsp;14, 1985}}</ref><ref>{{Цитата:Стаття|last=Codd|first=E.F.|title=Does Your DBMS Run By The Rules?|journal=[[ComputerWorld]]|date=October&nbsp;21, 1985}}</ref>, в цій статті він презентував 12 правил за якими можна визначити чи є [[СКБД]] дійсно [[Реляційна СКБД|реляційною]].<ref>Elmasri, R., & Navathe, S. (1994). Fundamentals of Database Systems. 2nd ed. Redwood City, CA: The Benjamin/Cummings Publishing Co. pp. 283 – 285</ref> Кодд також ввів [[трійкова логіка|тризначну]] логіку, яка має три значення істинності Істина (True), Хиба (False) та Невідомо (Unknown), яка дуже близька до концепції Null. Значення Невідомо генерується коли Null порівнюється з будь-яким значенням даних або з Null.

У своїй книзі «The Relational Model for Database Management, Version 2» Кодд, зазначив, що єдиний Null прийнятий в стандарті SQL недостатній, і має бути замінений двома різними Null значеннями для позначення причини відсутності. Ці дві Null-позначки зазвичай згадується як ''А-значення'' (''A-Values'') та ''І-значення'' (''I-Values''), що представляють ''Відсутній та прийнятний'' (''Missing But Applicable'') та ''Відсутній та неприйнятний'' (''Missing But Inapplicable'') відповідно.<ref name="isbn0201141922">{{cite book|last=Codd|first=E.F.|year=1990|title=The Relational Model for Database Management|url=https://archive.org/details/relationalmodelf0000codd|edition=Version 2|publisher=[[Addison-Wesley]]|isbn=0-201-14192-2}}</ref> Рекомендація Кодда вимагала розширення логічної структури SQL для відповідності чотиризначній логічній системі. Через цю додаткову складність ідея не отримала широко розповсюдження.

==Тризначна логіка==
Через те, що Null не є членом будь-якого [[Домен (бази даних)|домену даних]], ми його не сприймаємо як значення, радше як позначку відсутності даних. Через це порівняння з Null ніколи не дасть в результаті ''Істина'' або ''Хиба'', результат буде завжди третім логічним значенням, ''Невідомо''.<ref name="SQL2003-Part1-Sec442"/> Логічний результат наступного виразу, що порівнює 10 з Null, ''Невідомо'':

<syntaxhighlight lang="sql">
SELECT 10 = NULL -- В результаті Невідомо
</syntaxhighlight>

Однак, певні вирази з Null можуть повертати значення якщо Null не впливає на вихідне значення виразу. Припустимо, що в наступному прикладі другий операнд обчислюється тільки якщо в цьому виникла потреба:

<syntaxhighlight lang="sql">
SELECT TRUE OR NULL -- В результаті Істина
</syntaxhighlight>

В цьому випадку факт того, що значення праворуч від OR невідоме не впливає на кіневий результат.

SQL реалізує три логічних значення, таким чином реалізації SQL мають забезпечувати [[Трійкова логіка|тризначну логіку]]. Керівні правила тризначної логіки в SQL показані в таблиці нижче ('''p''' і '''q''' представляють логічні стани)"<ref name="fourrules">{{cite journal | last = Coles, Michael | title = Four Rules for Nulls | journal = SQL Server Central | publisher = Red Gate Software | date = June 27, 2005 | url = http://www.sqlservercentral.com/columnists/mcoles/fourrulesfornulls.asp | accessdate = 14 липня 2010 | archive-date = 25 липня 2008 | archive-url = https://web.archive.org/web/20080725202353/http://www.sqlservercentral.com/columnists/mcoles/fourrulesfornulls.asp }}</ref>

{| class="wikitable"
 ! ''p'' !! ''q'' !! ''p'' OR ''q'' !! ''p'' AND ''q'' !! ''p'' = ''q''
 |-
 | True || True || True || True || True
 |-
 | True || False || True || False || False
 |-
 | True || {{Unknown}} || True || {{Unknown}} || {{Unknown}}
 |-
 | False || True || True || False || False
 |-
 | False || False || False || False || True
 |-
 | False || {{Unknown}} || {{Unknown}} || False || {{Unknown}}
 |-
 | {{Unknown}} || True || True || {{Unknown}} || {{Unknown}}
 |-
 | {{Unknown}} || False || {{Unknown}} || False || {{Unknown}}
 |-
 | {{Unknown}} || {{Unknown}} || {{Unknown}} || {{Unknown}} || {{Unknown}}
|}

{| class="wikitable"
 ! ''p'' !! NOT ''p''
 |-
 | True || False
 |-
 | False || True
 |-
 | {{Unknown}} || {{Unknown}}
|}

Базові оператори порівняння в SQL завжди повертають ''Невідомо'' коли щось порівнюється з Null, таким чином стандарт SQL забезбечує два спеціальних порівняльних пердиката для Null. <code>IS NULL</code> та <code>IS NOT NULL</code> предикати перевіряють коли дані Null чи ні.<ref name="SQL2003-Part2-Sec87">{{cite book
  | last =ISO/IEC
  | title =ISO/IEC 9075-2:2003, "SQL/Foundation"
  | publisher =ISO/IEC
  | year =2003
  | pages =Section 8.7: ''null predicate''
  | nopp =true
}}</ref>

===Типізація даних===
Null в SQL нетипізований, тобто він не розпізнається як ціле, символ чи будь-який інший [[тип даних]].<ref name="SQL2003-Part1-Sec442">{{cite book
  | last =ISO/IEC
  | title =ISO/IEC 9075-1:2003, "SQL/Framework"
  | publisher =ISO/IEC
  | year =2003
  | pages =Section 4.4.2: ''The null value''
  | url =http://www.iso.org
  | nopp =true
  | accessdate =10 травня 2022
  | archive-date =7 серпня 2008
  | archive-url =https://web.archive.org/web/20080807163442/http://www.iso.org./
  }}</ref> Через це, часом дуже важливо явно приводити Null до певного типу даних. Наприклад, якщо [[Поліморфізм (програмування)|перевантажені]] функції підтримуються РСКБД, SQL може бути неспроможним автоматично вибрати правильну функцію без знання типів даних всіх параметрів, включно з тими де передається Null.

===Мова маніпулювання даними===
Тризначна логіка SQL зустрічається в [[DML|мові маніпулювання даними]] в предикатах порівняння в DML виразах і запитах. Пункт <code>WHERE</code> вимагає від DML виразу діяти тільки для рядків на яких предикат повертає ''Істина''. Рядки на яких предикат повертає ''Хиба'' або ''Невідомо'' не піддаються дії DML виразів <code>[[Insert (SQL)|INSERT]]</code>, <code>[[Update (SQL)|UPDATE]]</code> чи <code>[[Delete (SQL)|DELETE]]</code>, а також відкидаються DML запитом <code>[[Select (SQL)|SELECT]]</code>. Розуміння ''Невідомо'' і ''Хиба'' як одного і того самого результату є помилкою, яка часто зустрічається при роботі з Null.<ref name="fourrules"/> Наступний приклад показує таку помилку:

<syntaxhighlight lang="sql">
SELECT * 
FROM t 
WHERE i = NULL;
</syntaxhighlight>

Наведений запит завжди буде повертати нуль рядків через те, що порівняння стовпця ''i'' з Null завжди дає ''Невідомо'', навіть для рядків де ''i'' дорівнює Null, що змушує <code>SELECT</code> відкинути всі рядки. (Однак, на практиці, деякий SQL інструментрарій повертає рядки при використанні порівняння з Null.)

===CASE вирази===
SQL вирази <code>CASE</code> діють за тими ж правилами обробки Null, що і DML пункт <code>WHERE</code>. Через те, що цей вираз можна трактувати як послідовність умов на рівність, ''простий вираз <code>CASE</code>'' не може прямо перевірити на присутність Null. Перевірка на Null в простому виразі <code>CASE</code> завжди повертає ''Невідомо'', як в наступному прикладі:

<syntaxhighlight lang="sql">
SELECT CASE i WHEN NULL THEN 'Is Null' -- Цей варіант ніколи не спрацює
              WHEN    0 THEN 'Is Zero'  -- Спрацює коли i = 0
              WHEN    1 THEN 'Is One'   -- Спрацює коли i = 1
              END
FROM t;
</syntaxhighlight>

Завдяки тому, що <code>i = NULL</code> обчислюється як ''Невідомо'', неважливо що міститься в стовпці ''i'' (навіть якщо там Null), рядок <code>'Is Null'</code> ніколи не буде повернутий.

''Пошуковий вираз <code>CASE</code>'' також повертає перше значення для якого предикат порівняння повертає ''Істина'', включно з порівняннями, що використовують <code>IS NULL</code> та <code>IS NOT NULL</code>. Наступний приклад показує як використовувати пошуковий вираз <code>CASE</code> для правильної перевірки на Null:

<syntaxhighlight lang="sql">
SELECT CASE WHEN i IS NULL THEN 'Null Result' -- Спрацює коли i буде NULL
            WHEN     i = 0 THEN 'Zero'         -- Спрацює коли i = 0
            WHEN     i = 1 THEN 'One'          -- Спрацює коли i = 1
            END
FROM t;
</syntaxhighlight>

В пошуковому виразі <code>CASE</code>, рядок <code>'Null Result'</code> буде повернуто для всіх рядків де ''i'' буде Null.

===Check constraint===
Первинне місце де тризначна логіка SQL перетинається з SQL [[DDL|мовою опису даних (DDL)]] це в формі {{Li|check constraint|Q=Q5089090}}. Перевірка на обмеження розміщена на ствопці діє за дещо різними правила порівняно з DML пунктом <code>WHERE</code>. Якщо DML пункт <code>WHERE</code> має отримати ''Істина'' для рядка, тоді як перевірка на обмеження має отримати не ''Хиба''. Це означає, що перевірка на обмеження буде успішно пройдена якщо результат буде ''Істина'' або ''Невідомо''. Таблиця з перевіркою на обмеження в наступному прикладі забороняє вставляння будь-яких цілих значень в стовпець ''i'', але вона дозволяє вставляти Null завдяки тому, що результат перевірки буде ''Невідомо''.<ref name="nullversusnull">{{cite journal | last = Coles, Michael | title = Null Versus Null? | journal = SQL Server Central | publisher = Red Gate Software | date = 26 лютого 2007 | url = http://www.sqlservercentral.com/columnists/mcoles/2829.asp | accessdate = 15 липня 2010 | archive-date = 25 квітня 2007 | archive-url = https://web.archive.org/web/20070425130027/http://www.sqlservercentral.com/columnists/mcoles/2829.asp }}</ref>

<syntaxhighlight lang="sql">
CREATE TABLE t (
     i INTEGER,
     CONSTRAINT ck_i CHECK ( i < 0 AND i = 0 AND i > 0 ) );
</syntaxhighlight>

Для заборони вставлення значень Null, можна застосувати <code>NOT NULL</code>, як показано в наступному прикладі. Обмеження <code>NOT NULL</code> семантично тотожно перевірці на обмеження з предикатом<code>IS NOT NULL</code>.

<syntaxhighlight lang="sql">
CREATE TABLE t ( i INTEGER NOT NULL );
</syntaxhighlight>
===Процедурні розширення===
SQL/PSM (SQL Persistent Stored Modules) визначає [[Процедурне програмування|процедурні]] розширення для SQL, такі як вираз <code>[[Умовний перехід|IF]]</code>. Однак, головні постачальники SQL продуктів мають свої історично включені процедурні розширення. Процедурні розширення для організації циклів і порівнянь діють із Null порівняннями схожим чином з DML виразами і запитами. Наступний фрагмент коду, в форматі стандарту ISO SQL, використовує Null тризначну логіку в виразі <code>IF</code>.

<syntaxhighlight lang="sql">
IF i = NULL THEN
      SELECT 'Результат Істина'
ELSEIF NOT(i = NULL) THEN
      SELECT 'Результат Хиба'
ELSE
      SELECT 'Результат Невідомо';
</syntaxhighlight>

Вираз <code>IF</code> виконує дію тільки якщо порівняння обчислюється як ''Істина''. Для виразів яки обчислюються як ''Хиба'' або ''Невідомо'', <code>IF</code> передає керування в пункт <code>ELSEIF</code> і потім в пункт <code>ELSE</code>. Результатом попереднього коду буде завжди повідомлення <code>«Результат Невідомо»</code> завдяки тому, що порівняння з Null завжди повертає ''Невідомо''.

==Об'єднання==
[[Файл:Sql query1.png|270px|thumb|right|Приклад [[Об'єднання (SQL)|зовнішнього об'єднання]] в запиті з Null заповнювачами в [[результатний набір|результатному наборі]]. Null позначки представлені словом <code>NULL</code> на місці даних в виборці. Вибірка з [[Microsoft SQL Server]], показана в SQL Server Management Studio.]]
[[Об'єднання (SQL)|Зовнішнє об'єднання]] в SQL, включно з лівим зовнішнім об'єднанням, правим зовнішнім об'єднанням та повним зовнішнім об'єднанням, автоматично підставляє Null як заповнювач для відсутніх значень у відповідних таблицях. Наприклад, для лівих зовнішніх об'єднань Null генерується на місцях з таблиць, що знаходяться праворуч від оператора <code>LEFT OUTER JOIN</code>. Наступний простий приклад використовує дві таблиці для демонстрації підстановки Null замінника при лівому зовнішньому об'єднанні.

Перша таблиця ('''Employee''') містить ID службовців та імена, тоді як друга таблиця ('''PhoneNumber''') містить відповідно ID службовців та [[Телефонний номер|телефонні номери]].

{|
| valign="top" |
{| class="wikitable"
|-
|+ Employee
|-
! ID
! LastName
! FirstName
|-
| 1
| Сквира
| Степан
|-
| 2
| Ворохта
| Василь
|-
| 3
| Толока
| Тетяна
|-
| 4
| Балабух
| Борислав
|-
|}
| valign="top" |
{| class="wikitable"
|-
|+ PhoneNumber
|-
! ID
! Number
|-
| 1
| 555-2323
|-
| 3
| 555-9876
|-
|}
|}

Наступний SQL запит виконує ліве зовнішнє об'єднання на цих двох таблицях.

<syntaxhighlight lang="sql">
SELECT e.ID, e.LastName, e.FirstName, pn.Number
FROM Employee e
LEFT OUTER JOIN PhoneNumber pn
ON e.ID = pn.ID;
</syntaxhighlight>

Результатний набір цього запиту показує як SQL використовує Null як замінник для значень відсутніх в таблиці '''PhoneNumber'''.

{| class="wikitable"
|-
|+ Query Result
|-
! ID
! LastName
! FirstName
! Number
|-
| 1
| Сквира
| Степан
| 555-2323
|-
| 2
| Ворохта
| Василь
| '''NULL'''
|-
| 3
| Толока
| Тетяна
| 555-9876
|-
| 4
| Балабух
| Борислав
| '''NULL'''
|-
|}

Внутрішнє об'єднання, яке також присутнє в стандарті SQL, не продукує Null замість відсутніх значень в відповідних таблицях.

Треба бути обережним використовуючи стовпці з можливими значеннями Null в критеріях об'єднань SQL. Через те, що Null не дорівнює іншому Null, Null в стовпці однієї таблиці не буде об'єдуватись з Null в парній таблиці шляхом використання стандартних операторів для перевірки рівності. SQL функція <code>COALESCE</code> або вирази <code>CASE</code> можуть бути використані для такої перевірки в критеріях об'єднання, <code>IS NULL</code> і <code>IS NOT NULL</code> предикати також можуть бути використані в критеріях об'єднання.

Наступний вираз перевіряє на рівність значення A і B і трактує Null-и як рівні значення. Оператор <code>IFNULL</code> необхідний з огляду на те, що A = B повертає Null якщо хоча б одне значення є Null і <code>NULL OR FALSE</code> є Null.

<syntaxhighlight lang="sql">
IFNULL( A = B, FALSE ) OR ( A IS NULL AND B IS NULL )
</syntaxhighlight>

==Математичні операції та об'єднання рядків==
Через те, що Null не тип даних, а просто позначка невідомого значення, використання математичних операторів з Null повертає невідоме значення, яке представляється за допомогою Null.<ref name="SQL2003-Part2-Sec626">{{cite book
  | last =ISO/IEC
  | title =ISO/IEC 9075-2:2003, "SQL/Foundation"
  | publisher =ISO/IEC
  | year =2003
  | pages =Section 6.2.6: ''numeric value expressions''
  | nopp =true
}}.</ref> В наступному прикладі, добуток 10 та Null повертає Null:

<syntaxhighlight lang="sql">
10 * NULL -- Результат NULL
</syntaxhighlight>

Це може призвести до неочікуваних результатів. Наприклад, при спробі розділити Null на нуль, платформа може повернути Null замість генерування [[обробка винятків|помилки]] ділення на нуль ("data exception - division by zero").<ref name="SQL2003-Part2-Sec626"/>. Хоч поведінка в цій ситуації не визначена стандартом ISO SQL багато СКБД трактують цю операцію схожим чином. Наприклад, Oracle, PostgreSQL, MySQL Server і Microsoft SQL Server повернуть Null як результат наступного виразу:

<syntaxhighlight lang="sql">
NULL / 0
</syntaxhighlight>

Операція [[Конкатенація|конкатенації]] рядків, яка часто зустрічається в SQL, також продукує Null коли один з операндів Null<ref name="SQL2003-Part2-Sec628">{{cite book
  | last =ISO/IEC
  | title =ISO/IEC 9075-2:2003, "SQL/Foundation"
  | publisher =ISO/IEC
  | year =2003
  | pages =Section 6.2.8: ''string value expression''
  | nopp =true
}}.</ref>. Наступний приклад показує, як результат Null буде повернений при використанні Null у SQL-операції з'єднання стрічок з використанням оператора <code>||</code>.

<syntaxhighlight lang="sql">
'Fish ' || NULL || 'Chips' -- Результат NULL
</syntaxhighlight>
Це не вірно для всіх реалізацій баз даних. Наприклад, в Oracle NULL та порожній рядок трактуються однаково, таким чином 'Fish ' || NULL || 'Chips' повертає 'Fish Chips'.

==Агрегатні функції==
SQL визначає [[агрегатна функція|агрегатні функції]] для спрощення агрегатних обчислень на сервері. Майже всі агрегатні функції виконують крок з виключення Null, таким чином Null значення не включаються в результат обчислень.<ref name="SQL2003-Part2-Sec4154">{{cite book
  | last =ISO/IEC
  | title =ISO/IEC 9075-2:2003, "SQL/Foundation"
  | publisher =ISO/IEC
  | year =2003
  | pages =Section 4.15.4: ''Aggregate functions''
  | nopp =true
}}.</ref> Таке неявне виключання Null може відбитися на результаті обчислень агрегатної функції.

Наступна таблиця видає різні результати для кожного стовпця при застосуванні агрегатної функції <code>AVG</code>:

{| class="wikitable"
|-
|+ Table
|-
! i
! j
|-
| 150
| 150
|-
| 200
| 200
|-
| 350
| 350
|-
| NULL
| 0
|}

Агрегатна функція <code>AVG</code> застосована до стовпця ''i'' повертає 233 і 175 коли ми застосовуємо її до стовпця ''j''. Крок з виключення Null призводить до різниці в результаті. Єдина агрегатна функція яка не виключає Null це функція <code>COUNT(*)</code>.

==Групування та сортування==
Через те, що [[SQL:2003]] визначає позначки Null як нерівні одна одній, додаткове визначення було необхідне для групування Null разом при виконанні певних операцій. SQL визначає «будь-які два значення, які рівні між собою або будь-які два Null»", як «нерізні».<ref name="SQL2003-Part2-Sec3168">{{cite book
  | last =ISO/IEC
  | title =ISO/IEC 9075-2:2003, "SQL/Foundation"
  | publisher =ISO/IEC
  | year =2003
  | pages =Section 3.1.6.8: ''Definitions: distinct''
  | nopp =true
}}</ref> Це визначення «нерізності» для групування та сортування позначок Nulls коли пункт <code>GROUP BY</code> (або інші ключові слова, що виконують групування) використовуються.

Інші SQL оператори, вирази та ключові слова використовують «нерізні» в їхньому трактуванні позначок Null. Вірно для наступних:

* <code>PARTITION BY</code> разом із <code>ROW_NUMBER</code>
* <code>UNION</code>, <code>INTERSECT</code> та <code>EXCEPT</code> оператори, що трактують NULL як рівні для порівняння/виключеня рядків
* <code>DISTINCT</code> в запиті <code>SELECT</code>
* Стовпці в яких не дозволено зберігати більше одного Null, наприклад стовпці з обмеженням на унікальність

Стандарт SQL не визначає явно порядок сортування за умовчанням для позначок Null. Замість цього, Null можуть бути відсортовані перед або після всіх даних, використовуючи <code>NULLS FIRST</code> або <code>NULLS LAST</code> пункт виразу <code>ORDER BY</code>. Хоча й не всі постачальники СКБД підтримують цю функціональність. Постачальники, які не реалізують цю функціональність можуть визначити різні трактування для сортування позначок Null в СКБД.<ref name="nullversusnull"/>

==Функції обробки Null==
SQL визначає дві функції обробки Null: <code>COALESCE</code> і <code>NULLIF</code>. Обидві функції є скороченнями для пошукових виразів <code>CASE</code>.<ref name="SQL2003-Part2-Sec611">{{cite book
  | last =ISO/IEC
  | title =ISO/IEC 9075-2:2003, "SQL/Foundation"
  | publisher =ISO/IEC
  | year =2003
  | pages =Section 6.11: ''case expression''
  | nopp =true
}}.</ref>

=== COALESCE ===
Функція <code>COALESCE</code> приймає список параметрів і повертає перше не Null значення зі списку:

<syntaxhighlight lang="sql">
COALESCE(value1, value2, value3, ...)
</syntaxhighlight>

<code>COALESCE</code> визначена як умовне позначення для наступного SQL <code>CASE</code> виразу:

<syntaxhighlight lang="sql">
CASE WHEN value1 IS NOT NULL THEN value1
     WHEN value2 IS NOT NULL THEN value2
     WHEN value3 IS NOT NULL THEN value3
     ...
     END
</syntaxhighlight>

Деякі SQL СКБД реалізують специфічні функції подібні до <code>COALESCE</code>. Наприклад реалізують функцію <code>ISNULL</code> або інші схожі функції, які функціонально подібні до <code>COALESCE</code>.

=== NULLIF або NVL ===
Функція <code>NULLIF</code> приймає два параметри. Якщо перший параметр дорівнює другому <code>NULLIF</code> повертає Null. Інакше, повертається значення першого параметра.

<syntaxhighlight lang="sql">
NULLIF(value1, value2)
</syntaxhighlight>

Тобто, <code>NULLIF</code> є скороченням для наступного виразу <code>CASE</code>:

<syntaxhighlight lang="sql">
CASE WHEN value1 = value2 THEN NULL ELSE value1 END
</syntaxhighlight>

Вираз <code>COALESCE</code> може бути приведений до еквівалентного виразу <code>NVL</code> у такий спосіб:
<syntaxhighlight lang="sql">
COALESCE ( val1, ... , val{n} )
</syntaxhighlight>

переходить в:

<syntaxhighlight lang="sql">
NVL( val1 , NVL( val2 , NVL( val3 , ... , NVL ( val{n-1} , val{n} ) ... )))
</syntaxhighlight>

==Суперечка==
===Загальні помилки===
Неправильне розуміння як Null працює стає причиною великої кількості помилок в SQL коді, як в ISO SQL виразах, так і в специфічних діалектах SQL реальних систем баз даних. Ці помилки зазвичай виникають в результаті плутання між Null і або 0 (нуль), або порожнім рядком (рядком зі значенням нульової довжини, представленим в SQL як <code><nowiki>''</nowiki></code>). ISO SQL стандарт визначає Null як відмінний від порожнього рядка та числового значчення <code>0</code>. В той час як Null позначає відсутність значення, порожній рядок або цифра нуль представляють реальні значення.

Наприклад, пункт <code>WHERE</code> або умовний вираз порівнюють значення в стовпці із константою. Часто невірно припускається, що відсутнє значення буде «менше ніж» або «не дорівнюватиме» константі, але, насправді, вираз повертає ''Невідомо''. Як в прикладі нижче:

<syntaxhighlight lang="sql">
SELECT *
FROM sometable
WHERE num <> 1; -- Рядки де num є NULL не будуть повернуті, 
                 -- протилежно до очікувань багатьох користувачів.
</syntaxhighlight>

Схожим чином, Null значення часто плутають з порожніми рядками. Припустимо існування функції <code>LENGTH</code>, яка повертає кількість знаків в рядку. Коли Null передається в цю функцію, вона повертає Null. Це також може призвести до неочікуванних результатів, якщо користувач не дуже добре розбирається в тризначній логіці. Наприклад:

<syntaxhighlight lang="sql">
SELECT * 
FROM sometable
WHERE LENGTH(string) < 20; -- Рядки де NULL не будуть повернуті.
</syntaxhighlight>

Це ускладнюється фактом, що деякі утіліти показують NULL як порожній рядок, і порожній рядок може бути невірно збережений як NULL.

===Критика===
Реалізація Null в ISO SQL є предметом критики, суперечок і закликів до змін. Існують різні думки з цього приводу:
* ''Думка 1:'' З точки зору теорії [[Реляційна база даних|реляційних баз даних]], значення Null не потрібне, а його використання — наслідок помилки проектування бази даних. В БД розробленій в повній відповідності з [[Нормалізація баз даних|критеріями нормалізації]], не може бути стовпців без значень, тобто, не потрібна і спеціальна позначка для таких стовпців. Хоча на практиці, з міркувань ефективності, виявляється корисним знехтувати деякими правилами нормалізації, тоді, як один з видів плати за таке нехтування, з'являються відсутні значення, для позначення яких і був введений Null
* ''Думка 2:'' Null необхідний і обов'язковий для будь-якої БД, що претендує на реляційність. Зокрема без нього неможливо коректно побудувати зовнішнє об'єднання (<code>OUTER JOIN</code>) рядків з двох таблиць. Саме цієї точки зору притримувався Кодд, явно помістивши його як третього з [[12 правил Кодда|12 правил]] для реляційних СКБД. Саме цей принцип закріплений в останніх стандартах мови SQL.

===Закон виключеного третього ===
SQL дозволяє три логічні вибори: істина, хиба і невідомо, що означає, що SQL неминуче ігнорує [[закон виключеного третього]]. Коротко закон стверджує, для отримання протилежного результату до будь-якого логічного результату достатньо застосувати оператор логічного «[[заперечення]]». Однак, його неможливо застосувати до SQL Null. Керуючись законом виключеного третього, наступний логічний вираз може бути спрощений:

<syntaxhighlight lang="sql">
SELECT * FROM stuff WHERE ( x = 10 ) OR NOT ( x = 10 );
</syntaxhighlight>

Закон виключеного третього дозволяє спрощення предикату в пункті WHERE, отримавши в результаті наступне:

<syntaxhighlight lang="sql">
SELECT * FROM stuff;
</syntaxhighlight>

Це не спрацює в SQL, через те, що ''x'' стовпець може містити Null, що призведе до повернення додаткових рядків.

Насправді:

<syntaxhighlight lang="sql">
SELECT * FROM stuff;
-- (через тризначну логіку) тотожно з:
SELECT * FROM stuff WHERE ( x = 10 ) OR NOT ( x = 10 ) OR x IS NULL;
</syntaxhighlight>

Тобто, для вірного спрощення першого виразу в SQL необхідно повертати всі рядки де ''х'' не Null.

<syntaxhighlight lang="sql">
SELECT * FROM stuff WHERE x IS NOT NULL;
</syntaxhighlight>

Ігнорування закону виключеного третього вводить додаткову складність в логіку SQL, спроби застосувати це правило в тризначній логіці SQL призводить [[Фальшива дилема|фальшивої дихотомії]].
== Примітки ==
{{reflist|2}}


{{SQL}}
{{СКБД}}
{{Database-stub}}
[[Категорія:SQL]]
[[Категорія:Статті з прикладами коду мовою SQL]]