Аннотация:
Рассматривается задача построения нового отношения путем применения операций соединения и проектирования к исходным отношениям, возникающая при манипуляции информацией в реляционных базах данных. Критерием правильности является совпадение конструируемого отношения с заданным. Формализовано понятие решения рассмотренной задачи и исследованы свойства множеств решений.