PSQL

WHILE (<условие>) DO <команда>

WHILE это цикл котрый выполняется пока <условие> верно.

как только <условие> перестает быть верным происходит выход из цикла

в случае если в цикле надо выполнять несколько команд, то они обрамляются в BEGIN .. END

CREATE PROCEDURE SUM_INT (I INTEGER) 
RETURNS (S INTEGER)
AS
BEGIN
  s = 0;
  WHILE(i > 0)DO
  BEGIN
    s = s + i;
    i = i - 1;
  END
END

SELECT S FROM SUM_INT(4);

DataDef.pdf