Привычная нам со школьной скамьи логика с двумя значениями утверждений (TRUE — FALSE, ИСТИНА — ЛОЖЬ, или 1 — 0) оказалась неприспособленной для работы с неопределенными данными, в связи с этим Кодд предложил использовать трехзначную (с третьим значением UNKNOWN; по-русски пишут «НД» — «нет данных»). (http://www.pcmag.ru/solutions/detail.php?ID=31704). Так в информатике был выпущен джинн многозначности, который сидел в своем сосуде чуть ли не со времен Аристотеля и с XIX века терпел посрамления от Джорджа Буля и его алгебры логики. Проблемы, порождаемые NULL-значениями, не заставили себя ждать: сравнение NULL с любым значением (в том числе и с NULL) дает опять NULL; не всех удовлетворяла и единственность неопределенного значения — Н. Белнап различал в нем NONE (неопределенность) и BOTH (переопределенность или противоречивость). Однако верные последователи Джорджа Буля не торопились выбросить белый флаг. К. Дейт утверждал, что домены в SQL не могут должным образом…Читать «Три знака пятому поколению» →
Подписаться на:
Комментарии к сообщению (Atom)
Комментариев нет:
Отправить комментарий