A álgebra relacional implementa consultas procedimentais
sobre dados, de forma que operações são realizadas sobre
conjuntos ou relações. Para as relações R e S quaisquer,
não necessariamente com atributos comuns, a operação
junção natural, simbolizada por R |x|S, é equivalente a: