86
если один или несколько элементов множества неизвестны, а остальные равны false, то значение выражения также неизвестны (может быть true или false, в зависимости оттого какие на самом деле имеют значения неизвестные элементы множества).
Выражение FORALL(х1, х2, …, хn) принимает значение false, если хотя бы один из элементов множества <х1, х2, …, хn> имеет значение false, принимает значение true, если все до одного элемента этого множества имеют значение true, и наконец, если один или несколько элементов неопределенны, а остальные находятся в состоянии true, то значение выражения также является неопределенным (оно может быть true, если неизвестные элементы равны true, и будут false, если хотя бы один из них равен false).
Рассмотренные в данном разделе аспекты, причиной которых является допущение использования в качестве значений атрибутов неопределенных значений, не является единственными. Ниже будут рассмотрены и некоторые другие. Учитывая тот факт, что в настоящее время NULL-значения «узаконены» стандартом языка SQL, знание этих аспектов является совершенно необходимым. При этом, однако, в качестве рекомендации разработчику базы данных можно привести пожелание Дэйта [1] по возможности не использовать для атрибутов отношения базы данных NULL-значений, кроме случаев, когда это является действительно оправданным. В большом числе практических случаев альтернативой использования NULL-значений может быть использование значений по умолчанию. При этом операции над значениями атрибутов остаются в рамках более привычной двузначной логики, а их результаты являются для разработчика более понятными и предсказуемыми. В языке SQL по умолчанию для атрибутов NULL-значения разрешены. Для их запрета для конкретного атрибута используется ограничение NOT NULL.
9.2.Ограничения целостности уровня кортежа
Ограничения целостности кортежа представляют собой ограничения,
накладываемые на допустимые значения отдельного кортежа отношения, и не являющиеся ограничением целостности атрибута. То, что ограничение наложено на кортеж, означает, что для его проверки не требуется никакой информации о других кортежах.
Примером такого рода ограничений в отношении АУДИТОРНЫЙ_ФОНД, имеющего следующие атрибуты {№_КОМНАТЫ, ДЛИНА, ШИРИНА, ВЫСОТА,