Die LEAVE-Anweisung (Verlassen-Anweisung) stoppt die aktuelle Iteration der enthaltenen WHILE-, REPEAT-, LOOP-, oder BEGIN-Anweisung, die durch die Kennung angegeben ist.
Die enthaltene Auswertung der Schleifenbedingungsanweisung (falls vorhanden) wird übergangen, und die Schleife wird angehalten.
DECLARE i INTEGER;
SET i = 1;
X : REPEAT
...
IF i >= 4 THEN
LEAVE X;
END IF;
SET i = i + 1;
UNTIL
FALSE
END REPEAT;
DECLARE i INTEGER;
SET i = 0;
X : REPEAT -- Outer loop
...
DECLARE j INTEGER;
SET j = 0;
REPEAT -- Inner loop
...
IF i >= 2 AND j = 1 THEN
LEAVE X; -- Outer loop left from within inner loop
END IF;
...
SET j = j + 1;
UNTIL
j >= 3
END REPEAT;
SET i = i + 1;
UNTIL
i >= 3
END REPEAT X;
-- Execution resumes here after the leave