如何在mysql中使用断言

DELIMITER //
CREATE PROCEDURE test_procedure()
BEGIN
    DECLARE some_variable INT;
    
    SET some_variable = 10;
    
    IF some_variable <> 10 THEN
        SIGNAL SQLSTATE '45000'
            SET MESSAGE_TEXT = 'Assertion failed: some_variable is not equal to 10';
    END IF;
END //
DELIMITER ;

CREATE TABLE test_table (
    id INT AUTO_INCREMENT PRIMARY KEY,
    value INT,
    CHECK (value > 0)
);

DELIMITER //
CREATE TRIGGER test_trigger
BEFORE INSERT ON test_table
FOR EACH ROW
BEGIN
    IF NEW.value <= 0 THEN
        SIGNAL SQLSTATE '45000'
            SET MESSAGE_TEXT = 'Assertion failed: value should be greater than 0';
    END IF;
END //
DELIMITER ;