Está sintaticamente correta a seguinte instrução em PLSQL, em que x representa uma condição e y, o corpo de um loop.
WHILE <x> LOOP
<y>
FINISH LOOP;