Em ciências da computação, álgebra relacional é uma derivação descendente da lógica de primeira ordem e da álgebra de conjuntos em relação das operações sobre a relação finítimo, que auxilia o trabalho ao identificar os componentes de uma tupla por nome ao invés de uma coluna de chaves numéricas, o qual é chamado a relação na terminologia de banco de dados. Wikipedia