[begin_label:] WHILE search_condition DO
    statement_list
END WHILE [end_label]

WHILEステートメント中のステートメントリストは、search_conditionが真になるまで繰り返されます。 statement_listは複数のステートメントから成り立っています。

CHECK　WHILEステートメントにはラベルを貼ることができます。 begin_labelも存在していない限り、end_labelを附与することはできません。両方が存在する場合、これらは同じでなければなりません。

例:

CREATE PROCEDURE dowhile()
BEGIN
  DECLARE v1 INT DEFAULT 5;

  WHILE v1 > 0 DO
    ...
    SET v1 = v1 - 1;
  END WHILE;
END