всегда ли x= x истинно?
От: MadHuman Россия  
Дата: 11.06.19 17:07
Оценка:
Всем привет!

Есть закон тождества, гласящий, что x=x. Что очевидно и интуитивно и по другому быть не может.
И выражение x=x and y=1 можно смело сократить до y=1
Это вроде всё очевидно и интуитивно понятно.
Однако если это критерий для выборки из таблицы БД, то нет.
Так как если x=null, то по правилам операций в БД всё выражение становится null, что уже как-то очень странно.
Как же тогда тождество? И если null по сути — значение не известно, то сравнения с тем же самым "не известным" логично бы чтоб было true (в этом случае закон тождества не нарушается).
Если мы точно знаем что источник неизвестности один и тот же, то вполне ок считать что эти значения равны.
Вот если мы этого не знаем, тогда да, логично что результат выражения будет null.

Что за хня? почему так? какая за этим логика мотивирующая такое поведение (что нарушается закон тождества и нельзя делать такие упрощения выражений фильтров)?
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.