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

Аннотация

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