Banco de Dados (TI)

Álgebra relacional é um formalismo matemático constituído de operadores para manipulação de relações de uma maneira operacional. Tipicamente, uma álgebra relacional inclui os operadores unários projeção (denotado por ) seleção (denotado por ) e os operadores binários união, diferença, produto cartesiano (denotado por × ) e junção. Por outro lado, a linguagem SQL permite especificar, de maneira declarativa (não-operacional), os resultados de consultas a um banco de dados relacional. Adicionalmente, SQL e álgebra relacional são formalismos equivalentes, no sentido de que expressões escritas em SQL podem ser mapeadas em expressões equivalentes da álgebra relacional e vice-versa.

Sejam r, s e t relações; a, b e c, atributos dessas relações; e , um predicado que envolva r, s, t , a, b e c. 

A expressão SQL