BEGIN DECLARE time_format VARCHAR(20); SET time_format = DATE_FORMAT(New.r_time, '%W%H:%i'); IF NOT EXISTS (SELECT * FROM work WHERE work_start = time_format) THEN SIGNAL SQLSTATE '45000' SET MESSAGE_TEXT = 'Cannot insert the new record, invalid work time.'; END IF; END

您可以使用DATE_FORMAT()函数将r_time转换为类似于周几几点的格式，代码如下所示：

BEGIN
    DECLARE time_format VARCHAR(20);
    SET time_format = DATE_FORMAT(NEW.r_time, '%W%H:%i');
    IF NOT EXISTS (SELECT * FROM work WHERE work_start = time_format) THEN
        SIGNAL SQLSTATE '45000' SET MESSAGE_TEXT = 'Cannot insert the new record, invalid work time.';
    END IF;
END

在上述代码中，我们将r_time使用DATE_FORMAT()函数转换为指定格式，然后将结果保存到一个变量time_format中。

接下来，我们使用IF条件语句和NOT EXISTS子查询检查work表中是否存在与time_format匹配的工作时间，如果不存在，则会抛出一个异常，提示无法插入新记录。

这样，在插入新数据时，触发器会自动检测和匹配时间格式，保证只有符合条件的记录才能插入到reserve表中。