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: