[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