检查约束在SQL Server 2016中不起作用

Question

我在下面有一个简单的例子

begin tran

CREATE TABLE [dbo].[Filters]
(
    [Id]                    INT NOT NULL IDENTITY,
    [FCode]                 varchar(30) null,
    [FVersion]              varbinary(892) null,

    CONSTRAINT [PK_Filter] PRIMARY KEY CLUSTERED ([Id]),

    CONSTRAINT [CK_Filters_FCode_FVersion]  
        CHECK (([FCode] IS NULL AND [FVersion] IS NULL) 
               OR (LEN([FCode]) > 0 AND DATALENGTH([FVersion]) > 0)), 
)

INSERT INTO [dbo].[Filters] (FCode, FVersion)
VALUES  (NULL, NULL),
        (NULL, 0x6BE348),
        ('ASD', NULL),
        ('ASD', 0x6BE348)

SELECT
    IIF(([FCode] IS NULL AND [FVersion] IS NULL) 
         OR (LEN([FCode]) > 0 AND DATALENGTH([FVersion]) > 0) , 1, 0) AS [check], *
FROM
    [dbo].[filters]

rollback

我希望第2和第3个插入语句将导致约束违规.但服务器允许它们.

在使用select语句时,可以看到第2行和第3行违反了约束检查的值.看到结果

check   Id  FCode   FVersion
------------------------------
1       1   NULL    NULL
0       2   NULL    0x6BE348
0       3   ASD     NULL
1       4   ASD     0x6BE348

有任何想法吗？

Answer 1

只有在确定值时,检查约束才会失败false.

您希望违反约束的表达式求值为UNKNOWN.

你可以看到这个

SELECT CASE
         WHEN( ( [FCode] IS NULL
                 AND [FVersion] IS NULL )
                OR ( LEN([FCode]) > 0
                     AND DATALENGTH([FVersion]) > 0 ) ) THEN 'True'
         WHEN NOT ( ( [FCode] IS NULL
                      AND [FVersion] IS NULL )
                     OR ( LEN([FCode]) > 0
                          AND DATALENGTH([FVersion]) > 0 ) ) THEN 'False'
         ELSE 'Unknown'
       END                    AS [check],
       LEN([FCode])           AS LenFCode,
       DATALENGTH([FVersion]) AS DataLengthFVersion,
       *
FROM   [dbo].[filters] 

哪个回报

+---------+----------+--------------------+----+-------+----------+
|  check  | LenFCode | DataLengthFVersion | Id | FCode | FVersion |
+---------+----------+--------------------+----+-------+----------+
| True    | NULL     | NULL               |  1 | NULL  | NULL     |
| Unknown | NULL     | 3                  |  2 | NULL  | 0x6BE348 |
| Unknown | 3        | NULL               |  3 | ASD   | NULL     |
| True    | 3        | 3                  |  4 | ASD   | 0x6BE348 |
+---------+----------+--------------------+----+-------+----------+

它们之所以UNKNOWN是因为LEN并且DATALENGTH两者都NULL在通过时返回NULL