expresin

::= expresin-de-una-relacin | expresin-de-dos-relaciones

expresin-de-una-relacin
::= renombrado | restriccin | proyeccin
renombrado
::= trmino RENAME atributo AS atributo
trmino
::= relacin | expresin
restriccin
::= trmino WERE comparacin
proyeccin
::= trmino | trmino ! listaconcomas-de-atributos "
listaconcomas-de-atributos
::= atributo | atributo# listaconcomas-de-atributos
expresin-de-dos-relaciones
::= proyeccin operacin-binaria expresin
operacin-binaria
::= $N%&N | %N'ERSE(' | M%N$S | '%MES | )&%N | *%+%*E,-