Сборники трудов ИСП РАН


Решение проблемы NULL в запросах к реляционной базе данных на основе использования операторов реляционной алгебры A.

И.В. Блудов.

Аннотация

операторах ограничения предлагается логические выражения интерпретировать как реляционные. Точнее, считается, что операция реляционного ограничения (R WHERE b) над отношением R по некоторому логическому выражению b может быть представлена как соединение (R<AND>B) заданного отношения R с реляционным выражением B, полученным из исходного логического выражения b заменой логических операторов AND, OR и NOT на соответствующие реляционные операторы <AND>, <OR> и <NOT>. Тогда для некоторого кортежа T определим значение атрибута A как отношение с одним кортежем и одним значением интересующего нас атрибута – RELATION<A>{{a}}. Значение атрибута, указанное как NULL, в качестве значение «неизвестно», определим как отношение с заголовком из интересующего нас атрибута и телом, содержащим всевозможные значения типа атрибута A – RELATION<A>{…}. Сравнение значений атрибутов на равенство будет выглядеть как соединение таких значений атрибутов, представленных отношениями. Кортеж T, который может быть определен как декартово произведение всех своих атрибутов, будет теперь представлять отношение RT. Истинность такого кортежа T, представленного отношением RT, по заданному логическому выражению b, означает истинность квантора всеобщности над значениями RT по выражению b, что в свою очередь означает равенство соединения (RT <AND> B) и RT – (RT <AND> B) = RT.

Ключевые слова

реляционная модель данных; NULL; отсутствующая информация; реляционная алгебра A

Издание

Труды Института системного программирования РАН, том 21, 2011, стр. 183-204.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома