• 首页
  • css3教程
  • html5教程
  • jQuery手册
  • vue手册
  • php手册
  • MySQL手册
  • apache手册
  • redis手册
  • 检查约束

    在MySQL 8.0.16之前,CREATE TABLE仅允许以下有限的表CHECK约束语法版本被解析和忽略:

    CHECK (expr)
    

    从MySQL 8.0.16开始,CREATE TABLE允许CHECK对所有存储引擎使用表和列约束的核心功能。对于表约束和列约束,都CREATE TABLE允许使用以下CHECK约束语法:

    [CONSTRAINT [symbol]] CHECK (expr) [[NOT] ENFORCED]
    

    可选symbol为约束指定名称。如果省略,MySQL将根据表名称,文字_chk_和序数(1、2、3,...)生成名称。约束名称的最大长度为64个字符。它们区分大小写,但不区分重音。

    expr将约束条件指定为布尔表达式,对于表的每一行,其值必须等于TRUEUNKNOWN(对于NULL值)。如果条件的计算结果为FALSE,则失败,并且发生约束冲突。违反的影响取决于正在执行的语句,如本节后面所述。

    可选的执行子句指示是否强制执行约束:

    • 如果省略或指定为ENFORCED,则创建并强制执行约束。
    • 如果指定为NOT ENFORCED,则创建约束但不强制约束。

    CHECK约束指定为表约束或列约束:

    • 表约束不会出现在列定义中,并且可以引用任何表列。允许对表定义后面出现的列进行前向引用。
    • 列约束出现在列定义中,并且只能引用该列。

    考虑此表定义:

    CREATE TABLE t1
    (
      CHECK (c1 <> c2),
      c1 INT CHECK (c1 > 10),
      c2 INT CONSTRAINT c2_positive CHECK (c2 > 0),
      c3 INT CHECK (c3 < 100),
      CONSTRAINT c1_nonzero CHECK (c1 <> 0),
      CHECK (c1 > c3)
    );
    

    该定义包括表约束和列约束,格式为已命名和未命名:

    • 第一个约束是表约束:它发生在任何列定义之外,因此它可以(并且确实)引用多个表列。此约束包含对尚未定义的列的前向引用。没有指定约束名称,因此MySQL会生成一个名称。
    • 接下来的三个约束是列约束:每个约束都出现在列定义中,因此只能引用所定义的列。约束之一被明确命名。MySQL为其他两个生成一个名称。
    • 最后两个约束是表约束。其中之一被明确命名。MySQL为另一个生成一个名称。

    如前所述,MySQL为CHECK指定的任何约束生成一个名称,而没有一个约束。要参见为前面的表定义生成的名称,请使用SHOW CREATE TABLE

    mysql> SHOW CREATE TABLE t1\G
    *************************** 1. row 	***************************
           Table	: t1
    Create Table	: CREATE TABLE `t1` (
      `c1` int(11) DEFAULT NULL,
      `c2` int(11) DEFAULT NULL,
      `c3` int(11) DEFAULT NULL,
      CONSTRAINT `c1_nonzero` CHECK ((`c1` <> 0)),
      CONSTRAINT `c2_positive` CHECK ((`c2` > 0)),
      CONSTRAINT `t1_chk_1` CHECK ((`c1` <> `c2`)),
      CONSTRAINT `t1_chk_2` CHECK ((`c1` > 10)),
      CONSTRAINT `t1_chk_3` CHECK ((`c3` < 100)),
      CONSTRAINT `t1_chk_4` CHECK ((`c1` > `c3`))
    ) ENGINE=InnoDB DEFAULT CHARSET=utf8mb4 COLLATE=utf8mb4_0900_ai_ci
    

    SQL标准指定所有类型的约束(主键,唯一索引,外键,检查)都属于同一名称空间。在MySQL中,每个约束类型在每个架构(数据库)中都有自己的名称空间。因此,CHECK约束名称对于每个模式必须是唯一的;同一模式中的两个表都不能共享CHECK约束名称。(例外:TEMPORARY表隐藏具有TEMPORARY相同名称的非表,因此它也可以具有相同的CHECK约束名称。)

    以表名开头生成的约束名称有助于确保架构唯一性,因为表名在架构中也必须是唯一的。

    CHECK条件表达式必须遵守以下规则。如果表达式包含不允许的构造,则会发生错误。

    • 除了具有AUTO_INCREMENT属性的列和其他表中的列之外,允许非生成列和生成列。
    • 允许使用文字,确定性内置函数和运算符。如果给定表中的相同数据,则独立于所连接的用户,如果多次调用产生相同的结果,则该函数为确定性函数。的是不确定性和失败,这个定义函数的例子:CONNECTION_ID()CURRENT_USER()NOW()
    • 不允许使用存储的函数和用户定义的函数。
    • 不允许存储过程和函数参数。
    • 不允许使用变量(系统变量,用户定义的变量和存储的程序局部变量)。
    • 不允许子查询。

    外键参照动作(ON UPDATEON DELETE)被禁止在使用的列CHECK约束。同样,CHECK禁止对外键引用操作中使用的列进行约束。

    CHECK约束评估INSERTUPDATEREPLACELOAD DATA,和LOAD XML语句和发生,如果约束评估为一个错误FALSE。如果发生错误,则对于事务性存储引擎和非事务性存储引擎,已应用的更改处理将有所不同,并且还取决于严格的SQL模式是否有效,如严格SQL模式中所述。

    CHECK约束评估INSERT IGNOREUPDATE IGNORELOAD DATA ... IGNORE,和LOAD XML ... IGNORE报表,如果出现一个约束评估为警告FALSE。跳过任何有问题的行的插入或更新。

    如果约束表达式计算出的数据类型与声明的列类型不同,则根据通常的MySQL类型转换规则,对声明的类型进行隐式强制转换。请参见“表达式评估中的类型转换”。如果类型转换失败或导致精度损失,则会发生错误。

    注意

    约束表达式评估使用评估时有效的SQL模式。如果表达式的任何部分取决于SQL模式,则表的不同用法可能会产生不同的结果,除非在所有用法中SQL模式都相同。