Визуальное конструирование алгебраических реляционных запросов на основе их нормальной формы

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