表检查约束允许无效数据

Question

当我使用下面的测试脚本创建检查约束时，违反约束的数据仍将允许进入表，并且该约束仍显示为受信任。

我意识到检查约束不能正确检查NULL（它包括column = null而不是column IS null ），但是我仍然希望SQL Server不允许'ASDF'，'3'或NULL值，因为根据这些值，检查条件评估为假。 有人可以解释为什么此检查约束允许以下值：NULL，'3'，'ASDF'吗？

如果我将约束条件更改为(checkMe is null or checkMe = '1' or checkMe = '2') ，则它将按预期工作。

SQL Server版本：Microsoft SQL Server 2008 R2（SP2）-10.50.4000.0（X64）

CREATE TABLE dbo.testCheck(checkMe varchar(50));
go

将数据插入表中

INSERT INTO dbo.testCheck(checkMe)
VALUES ('1'),('2'),(NULL),('3');
GO

添加约束，并进行检查，以便应检查现有数据。 我希望NULL和'3'都违反此检查，但是以某种方式成功了。

ALTER TABLE dbo.testCheck WITH CHECK 
ADD CONSTRAINT ck_testCheck 
CHECK (checkMe = null or checkMe = '1' or checkMe = '2');
GO

尝试在添加检查约束后插入无效数据...成功吗？

INSERT INTO dbo.testCheck(checkMe) VALUES('ASDF');
GO

显示表中包含无效数据，并且该约束被标记为受信任，这意味着表中的所有数据都已针对约束进行了验证

SELECT *
    --this is the same logic as in the check constraint, shows 3 rows that do not pass
    , checkConstraintLogic = case when (checkMe = null or checkMe = '1' or checkMe = '2') then 'PASS' else 'FAIL' end
FROM dbo.testCheck;
go

SELECT parentObject = isnull(OBJECT_SCHEMA_NAME(k.parent_object_id) + '.', '') + OBJECT_NAME(k.parent_object_id)
    , k.name, k.is_not_trusted
FROM sys.check_constraints k 
WHERE k.parent_object_id = object_id('dbo.testCheck')
ORDER BY 1;
GO

脚本输出：

Answer 1

检查约束与WHERE子句的不同之处在于，如果表达式的计算结果为空标记，则CHECK允许进行修改。 需要说明的是：WHERE子句过滤掉表达式计算结果为false或null标记的行 ； 检查约束仅过滤掉评估为false的修改。

您编写的表达式始终求值为null，因为它内部具有一个与null的比较。 将= null更改is null 。

此外，不同的Check约束用法对于CHECK / NOCHECK具有不同的默认值，因此您应该养成始终指定它的习惯。

尝试以下方法。

ALTER TABLE dbo.testCheck WITH CHECK 
WITH CHECK
ADD CONSTRAINT ck_testCheck 
CHECK (checkMe IS null or checkMe = '1' or checkMe = '2');

编辑：重新“但是我想知道为什么这个例子的评估结果为True”，正如您所得出的那样，您的例子评估的结果不是true而是null标记 ，Check约束允许这样做。 抱歉，我应该解释得更好一些。

Answer 2

作为指定在这里 ：

CHECK约束拒绝评估为FALSE的值。

换一种说法：

当表中的任何行所检查的条件都不为FALSE时，CHECK约束将返回TRUE。

在您的情况下，表达式(checkMe is null or checkMe = '1' or checkMe = '2')计算结果为NULL（又名Unknown），并且CHECK约束返回TRUE（因为它正在检查的条件不是FALSE）

来自同一来源的一个很好的例子：

例如，假设您在一个int列MyColumn上放置一个约束，以指定MyColumn只能包含值10（MyColumn = 10）。 如果将值NULL插入MyColumn，则数据库引擎将插入NULL，并且不会返回错误。