Изменения

==== = Равенство ====

=== Неоднозначность импликации Вывод логических выражений ===TODO: уточнитьВ новой тернарной логике работают не все правила преобразований, присущие двоичной.* A → B = (not A) or B{| style="background-color:#CCC;margin-left:2rem;text-align:center"!style="background-color:#EEE;color:#00F"| Например, нельзя полагать, что <tex>\bf{(not\ A)\ or\ B}</tex>!style="background-color:#EEE"| <tex>vee\bf{true}</tex>!style="background-color:#EEE"| <tex>\bf{unknown}</tex>!style="background-color:#EEE"| <tex>neg\bf{false}</tex>|-|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{true}</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>false</tex>|-|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{unknown}</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>|-|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{false}</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>|} * A → B = not (A and not B){| style="background-color:#CCC;margin-left:2rem;text-align:center"!style="background-color:#EEE;color:#00F"| <tex>\bf{not\ (A\ and\ not\ B)}</tex>!style="background-color:#EEE"| <tex>\bf{true}</tex>!style="background-color:#EEE"| <tex>\bf{unknown}</tex>!style="background-color:#EEE"| <tex>\bf{false}</tex>|-|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{true}</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>false</tex>|-|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{unknown}</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>|-|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{false}</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>|}Оказывается всегда истинно, потому что законы Де Моргана в данном случае теперь может получиться '''не работают'unknown''. <br>Поэтому при каждом преобразовании троичного логического выражения, лучше сверяться с таблицами истинности.

* <tex>=</tex>, <tex><></tex>, <tex><</tex>, <tex><=</tex>, <tex>></tex>, <tex>>=</tex>* <tex>+</tex>, <tex>−</tex>, <tex>*</tex>, <tex>/</tex>* <tex>\||</tex>* <tex>in</tex>

* <font color = blue>select</font> (1 + <font color = blue>null</font>) <font color = blue>from</font> Students;Не смотря на то, что этот запрос не несет большого смысла, на его примере можно убедиться, что в арифместических арифметических операциях '''null''' "заразен".<br>

* <font color = blue>select</font> StudentId <font color = blue>from</font> Students where GroupId = null;Это частая ошибка, сравнение с '''''null''''' дает ''unknown'', а значит запрос вернет пустую таблицу.<br> Говоря об операции сравнения, стоит отметить, что она не транзитивна и не рефлексивна.* <tex>x\ =\ x</tex> - ''true'' или '''''null'''''* <tex>x\ <>\ x</tex> - ''true'' или '''''null'''''* <tex>x\ or\ x</tex> - ''true'' или '''''null'''''* <tex>x\ or\ not\ x</tex> - ''true'' или '''''null'''''* <tex>x\ and\ not\ x</tex> - ''false'' или '''''null'''''

* <tex>$R$ \cup $R$</tex> - не всегда <tex>$R$</tex> * <tex>$R$ \cap $R$</tex> - не всегда <tex>$R$</tex> * <tex>$R$ \Bowtie $bowtie R$</tex> - не всегда <tex>$R$</tex>

Следующий запрос, хоть и выглядит странно, предполагает просто поиск всевозможных студентов <font color =blue>select</font> * <font color =blue>from</font> Students <font color =blue>where</font> GroupId <> <font color =green>'M34391'</font> <font color = coalesce(v1, v2, ...) blue>union</font> <font color =blue>select</font> * <font color =blue>from</font> Students <font color =blue>where</font> GroupId =<font color =green>'M34391'</font>* Принимает произвольное число аргументов и возвращает первый Но из-за наличия '''null''', этот запрос не null* отработает так, как предполагалось. Если все аргументы ''GroupId'' студента '''''null - возвращает '''null'', то сравнение не вернет ''true'', а значит в результате это учтено не будет. <br>Подробнее у работе функции <font color = blue>where</font> будет рассказано в следующем разделе.

 === Спецэффекты ===При детальном рассмотренииТак же в SQL существует функция '''''coalesce(v1, оказываетсяv2, что сравнение не транзитивно и не рефлексивно.* ..)''x = x'' - true или null* ', которая принимает произвольное число аргументов и возвращает первый не 'x <> x'' - true или не null* ''x or x'. Если все аргументы ''' - true или null* ''x or not x', то возвращает ''' - true или null* ''x and not x'' - false или null.

* В SQL столбцы могут быть <font color = blue>nullable</font> (по умолчанию)** и не <font color = grayblue>birthday datenullable</font>* <font color = blue>Не nullablebirthday date</font>** <font color = gray>birthday date</font> <font color = blue>not null</font>

Перед созданием <font color === Проверки значений ======= Синтаксис ====*значение is [not] {null|true|false|unknown}==== Примеры ====* x is blue>nullable</font> столбца, рекомендуется дополнительно обдумать, какой конкретно смысл вкладывается в '''null* x is not true* (x or x) is ''' в данном случае, не скажется ли это негативно на остальных запросах, в случае, если начать его использовать. Если есть возможность, во избежание дополнительных проблем, описанных выше, лучше объявлять столбцы '''not null'''.

* <font color = blue>exists</font>** возвращает ''true'' или 'false'** если внутри получились только строки, Агрегирующие состоящие из '''null''', то вернет так же ''false''* агрегирующие функции(<font color = blue>count</font>, <font color = blue>sum</font>, <font color = blue>avg</font> и т.д.)** пропускают '''''null''''', т.е. не учитывают его при подсчете** при отсутствии аргументов, Order отличных от '''''null''''', возвращают '''''null'''''** исключением является <font color = blue>count</font>(*), что просто считает количество строк* <font color = blue>order by</font>** Помимо указаний порядка сортировки (asc или desc), можно указывать, куда ставить '''''null'''-ы'' - в начало или в конец. Например <font color = blue>order by</font> year nulls first. По умолчанию '''''null'''-ы'' складываются либо в начало, либо в конец, это нужно уточнять в документации к конкретной СУБД.