解释一下mysql中REPEAT

MySQL中的REPEAT是一种循环结构，它允许用户重复执行一组语句，直到满足某个条件为止。REPEAT循环结构的语法如下：

REPEAT
    statement_list
UNTIL search_condition
END REPEAT;

其中，statement_list是需要重复执行的语句列表，search_condition是循环终止的条件。在每次循环中，statement_list中的语句都会被执行一次，然后检查search_condition是否为真。如果为真，则循环结束，否则继续执行下一次循环。

下面是一个使用REPEAT循环结构求1到100的和的MySQL存储过程的例子：

DELIMITER $
CREATE PROCEDURE p13()
BEGIN
    DECLARE total INT DEFAULT 0;
    DECLARE num INT DEFAULT 0;
    REPEAT
        SET num := num + 1;
        SET total := total + num;
    UNTIL num >= 100
    END REPEAT;
    SELECT CONCAT('1到100的和是', total);
END$

这个存储过程中使用了REPEAT循环结构来计算1到100的和。在每次循环中，num的值会加1，total的值会加上num的值。当num的值大于等于100时，循环结束，最后输出1到100的和。