Это было бы хорошо, иначе приходится в теле сразу или проверять или обнулять через nvl.

Я вижу тут бурные дебаты пошли во все стороны, поэтому сужу вопрос только для простых скалярных встроенных типов.
Выглядит недоработкой что поля типа INTEGER в таблице можно объявить как НЕ-nullable, а параметры в функции - нельзя.
Возможно, это однажды было великой концепцией что даже один байт всегда передается по ссылке и следовательно, может отсутствовать, и возможно, SQL стандарт когда-нибудь предложит альтернативу для встроенных типов.

PL/SQL часто помогает сгладить этот угол. Например, следующее присваивание обрабатывает null не вызывая исключение:




А дальше уже хуже, т.к для null PL/SQL не соблюдает правила булевой алгебры, а некоторые операции с ним запрещены:



Попытки передать null в putchar() закончились предсказуемым неуспехом (передался int 0, что не то же самое), хотя не всем еще понятно почему.

Ответ: при передаче по параметра по значению невозможно передать null на значение, только само значение.
Если функция просит один байт, в C++ ей придется скормить ровно один байт, не больше, не меньше (в C немного по другому).

Пример с (const TYPE& val) передает по ссылке, но тоже запрещает передать null, что используют программисты в C/C++.
Когда возможность передать null приветствуется, используются указатели (TYPE* pval).
Синтакс работы с указателями и ссылками отличается в C/C++, напоминая программистам о возможности присутствия null.

Например, битовое копирование в первом случае всегда безопасно, т.к.синтакс гарантирует наличие объекта



битовое копирование во втором случае использует указатель, что подсказывает программисту что можно нарваться на NULL:

Мой комплимент был преждевременным. Оракл обещает что когда захочет, это поведение сломает.

ОраклAlthough Oracle treats zero-length character strings as nulls, concatenating a zero-length character string with another operand always results in the other operand, so null can result only from the concatenation of two null strings. However, this may not continue to be true in future versions of Oracle Database. To concatenate an expression that might be null, use the NVL function to explicitly convert the expression to a zero-length string.
https://docs.oracle.com/cd/B19306_01/server.102/b14200/operators003.htm

То есть, конкатенацию с null делать не рекомендуется, ибо такой код может перестать работать неожиданным образом в будущем.

Другими словами: вместо str1 || str2 Оракл рекомендует писать nvl(str1,'') || nvl(str2,'')

https://docs.oracle.com/cd/B19306_01/server.102/b14200/operators003.htm

То есть, конкатенацию с null делать не рекомендуется, ибо такой код может перестать работать неожиданным образом в будущем.

Другими словами: вместо str1 || str2 Оракл рекомендует писать nvl(str1,'') || nvl(str2,'')

Модератор попросил не обсуждать C/C++ в этой теме, я (или друге эксперты по C/C++) могу ответить на профильном форуме.

соблюдает . только она не на двоичной логике построена, а на троичной,
с оговоркой на то, что третьим логическим значением выступает именно Null,
что формально не очень честно, но на практике еще никого не напрягло ни разу.


Я не встречался раньше в программировании с 3VL алгеброй, ну а почему бы и нет?
Написал процедурку распечатать значения "булевой" переменной, и поигрался немного.




Четвертого состояния материи булевой переменной пока не нашел, уже хорошо.

Прошелся по таблице операций - вроде все совпадает как должно быть в 3VL по Клину.
Проверил ленивое вычисление (в PL/SQL, где оно есть), выражения с null уважают ленивость, все как положено.

Насколько я вижу, логические операции в PL/SQL следуют логике Клина, т.е. без противоречий.

Я не уловил разницу. В PL/SQL я могу добавить параметр с атрибутом default, чтобы не трогать старый код.
Перекомпилить, конечно же, придется.

Смысл в том, что в mssql старый код сможет вызвать обновленную функцию без перекомпиляции? так?

Я попробовал следующий код, который выдал бы ошибку в в языке с более строгой проверкой типов.
Для разнообразия вместо null использовал другое ограничение.

Оракл скомпилировал перекаст на подтип не смущаясь, и поймал несоответствие во время исполнения.