Durante o processo de otimização de consultas em bancos de dados relacionais, o otimizador pode aplicar regras de equivalência da álgebra relacional para gerar planos alternativos semanticamente equivalentes, porém potencialmente mais eficientes. Considere a seguinte transformação:

R ⋈S ≡ S ⋈R

Essa transformação permite alterar a ordem das relações envolvidas na operação de junção, sem modificar o resultado final da consulta. Essa técnica de otimização baseada em reescrita algébrica é conhecida como