No PL/SQL, é um laço utilizado quando não se tem certeza de quantas vezes o ciclo deve ocorrer e não se quer executar o laço no mínimo uma vez: