检查约束
从MySQL 8.0.16
开始,CREATE TABLE
允许所有存储引擎的表和列使用检查约束的核心功能 。 CREATE TABLE
允许以下检查约束语法,用于表约束和列约束:
[CONSTRAINT [symbol]] CHECK (expr) [[NOT] ENFORCED]
可选symbol
指定约束的名称。如果省略,MySQL 会使用表名_chk_序数(1、2、3…)生成一个名称。约束名称的最大长度为 64 个字符,区分大小写。
age
字段不小于18
。
drop database if exists jack;
create database jack;
create table jack.kaven (
id int auto_increment primary key ,
age int not null ,
check ( age >= 18 )
);
show create table jack.kaven;
insert into jack.kaven(age) value (20);
insert into jack.kaven(age) value (18);
insert into jack.kaven(age) value (17);
expr
将约束条件指定为布尔表达式,该表达式必须为表的每一行计算TRUE
或UNKNOWN
(对于NULL
值)。如果约束条件评估为FALSE
,则它失败并发生违反约束。违反的影响取决于正在执行的语句。
可选的执行子句指示是否强制执行约束:
- 如果省略或指定为
ENFORCED
,则会创建并强制执行约束。
不满足约束的数据行不能插入成功,其他同理。
drop database if exists jack;
create database jack;
create table jack.kaven (
id int auto_increment primary key ,
age int not null ,
check ( age >= 18 ) enforced
);
insert into jack.kaven(age) value (20);
insert into jack.kaven(age) value (18);
select * from jack.kaven;
insert into jack.kaven(age) value (17);
select * from jack.kaven;
- 如果指定为
NOT ENFORCED
,则会创建约束但不强制执行。
不满足约束的数据行也能插入成功,其他同理。
drop database if exists jack;
create database jack;
create table jack.kaven (
id int auto_increment primary key ,
age int not null ,
check ( age >= 18 ) not enforced
);
insert into jack.kaven(age) value (20);
insert into jack.kaven(age) value (18);
insert into jack.kaven(age) value (17);
select * from jack.kaven;
一个检查约束被指定为任一表约束或列约束:
- 表约束不会出现在列定义中,并且可以引用表的列。允许引用出现在表定义后面的列。
- 列约束出现在列定义中,并且只能引用该列。
password
字段长度满足区间[8,16]
,age
字段不小于18
。
drop database if exists jack;
create database jack;
create table jack.kaven (
constraint password_check check ( length(password) >=8 and length(password) <= 16) ,
id int auto_increment primary key ,
age int not null constraint age_check check ( age >= 18 ),
password varchar(256) not null
);
show create table jack.kaven;
insert into jack.kaven(age , password) value (20 , '12345678');
insert into jack.kaven(age , password) value (18 , '1234567890');
insert into jack.kaven(age , password) value (25 , '12345678_12345678');
SQL 标准规定所有类型的约束(主键、唯一索引、外键、检查)都属于同一个命名空间。在 MySQL 中,每个约束类型每个视图(数据库)都有自己的命名空间。因此, 每个视图的检查约束名称必须是唯一的;同一视图中的两个表不能共享检查约束名称。
drop database if exists jack;
create database jack;
create table jack.kaven (
id int auto_increment primary key ,
age int not null ,
constraint age_check check ( age >= 18 ) enforced
);
create table jack.kaven2 (
id int auto_increment primary key ,
age int not null ,
constraint age_check check ( age >= 20 ) enforced
);
例外: 临时表隐藏了同名的非临时表,因此它也可以有相同的检查约束名。
drop database if exists jack;
create database jack;
create table jack.kaven (
id int auto_increment primary key ,
age int not null ,
constraint age_check check ( age >= 18 ) enforced
);
create temporary table jack.kaven2 (
id int auto_increment primary key ,
age int not null ,
constraint age_check check ( age >= 20 ) enforced
);
以表名开头生成的约束名称有助于确保在视图中的唯一性,因为表名在视图中也必须是唯一的。
检查条件表达式必须遵守以下规则。如果表达式包含不允许的构造,则会发生错误。
- 允许非生成列和生成列,具有
AUTO_INCREMENT
属性的列和其他表中的列除外。 - 允许使用文字、确定性内置函数和运算符。如果给定表中都是相同的数据,多个调用独立于连接的用户都会产生相同的结果,则函数是确定性的。非确定性函数和未通过此定义的函数示例:
CONNECTION_ID()
、CURRENT_USER()
、NOW()
。 - 不允许存储函数和可加载函数。
- 不允许存储过程和函数参数。
- 不允许使用变量(系统变量、用户定义的变量和存储的程序局部变量)。
- 不允许子查询。
AUTO_INCREMENT
属性的列不能使用检查约束。
drop database if exists jack;
create database jack;
create table jack.kaven (
id int auto_increment primary key ,
constraint id_check check ( id > 0 ) enforced
);
insert ignore into jack.kaven(id) value (1);
insert ignore into jack.kaven(id) value (10);
select * from jack.kaven;
检查约束使用的列上禁止外键引用操作(ON UPDATE
, ON DELETE
)。同样,外键引用操作使用的列也禁止使用检查约束。
检查约束为 INSERT
、 UPDATE
、 REPLACE
、 LOAD DATA
和 LOAD XML
语句评估约束,如果约束评估为FALSE
,则会发生错误。如果发生错误,事务性和非事务性存储引擎对已应用更改的处理会有所不同,并且还取决于严格SQL模式是否有效。
drop database if exists jack;
create database jack;
create table jack.kaven (
id int auto_increment primary key ,
age int not null ,
constraint age_check check ( age >= 18 ) enforced
);
insert into jack.kaven(age) value (17)
约束评估为FALSE
,发生错误。
检查约束为INSERT IGNORE
、UPDATE IGNORE
、 LOAD DATA ... IGNORE
和 LOAD XML ... IGNORE
语句评估约束 , 如果约束评估为FALSE
,则会出现警告。跳过任何违规行的插入或更新。
drop database if exists jack;
create database jack;
create table jack.kaven (
id int auto_increment primary key ,
age int not null ,
constraint age_check check ( age >= 18 ) enforced
);
insert ignore into jack.kaven(age) value (17);
insert ignore into jack.kaven(age) value (18);
select * from jack.kaven;
出现警告。
跳过任何违规行的插入。
如有错误,欢迎大家评论指正。