реляционная алгебра Язык для описания операций над отношениями. Основные операции реляционной алгебры: проекция, соединение, пересечение и объединение. Язык запросов к реляционной базе данных, основанный на реляционной алгебре, позволяет задать последовательность операций над отношениями, которая приводит к ответу на запрос.
English-Russian Computer dictionary
algebraic specification
алгебраические спецификации Способ спецификации, при котором описание каждого выполняемого программой или модулем действия состоит из двух частей: спецификации входных параметров и совокупности уравнений, описывающих отношения между входными и выходными параметрами после выполнения операции.
English-Russian Computer dictionary
Boolean algebra
Булева алгебра, алгебра логики Алгебра, в которой переменные принимают значения истина и ложь. Основные операции Булевой алгебры - конъюнкция (операция И), дизъюнкция (операция ИЛИ) и отрицание (операция НЕ)