Области определения реляционных операций в базах данных при наличии неопределенных значений

Рассматривается структура реляционной базы данных, в которой допускается наличие неопределенных значений, интерпретируемых как “значение не существует”. В рамках этой модели изучается формальное построение областей определения для таких объектов, как множество атрибутов, функциональная зависимость, базовые операции реляционной алгебры. Исследуется свойство дистрибутивности областей определений для отдельных комбинаций операций при запросах к БД: показано, что дистрибутивность выполняется для естественного соединения и проекции, но имеет место не во всех случаях для естественного соединения и селекции.