CREATETABLEdbo.Payroll
(
IDintPRIMARYKEY,
PositionIDINT,
SalaryTypenvarchar(10),
Salarydecimal(9,2)
CHECK(Salary<150000.00)
);

這里的CHECK子句關(guān)聯(lián)了Salary列，這是一個(gè)列級的約束，如果你創(chuàng)建了一個(gè)列級約束，你只能在檢查約束的邏輯表達(dá)式中使用列名，這里的檢查約束列就只允許Salary列的值小于150000。創(chuàng)建這個(gè)表時(shí)也會創(chuàng)建CHECK約束，約束名由系統(tǒng)自動(dòng)生成，如果你想在CREATETABLE操作時(shí)命名你的檢查約束，代碼就可以變成下面這樣：

CREATETABLEdbo.Payroll
(
IDintPRIMARYKEY,
PositionIDINT,
SalaryTypenvarchar(10),
Salarydecimal(9,2)
CONSTRAINTCK_Payroll_SalaryCHECK(Salary<150000.00)
);

這里我將檢查約束命名為CK_Payroll_Salary了。

上面的例子都僅在單個(gè)列上創(chuàng)建了檢查約束，而且也只有一個(gè)條件，其實(shí)檢查約束表達(dá)式可以包括多個(gè)條件，下面就是一個(gè)包含多個(gè)條件的檢查約束：

CREATETABLEdbo.Payroll
(
IDintPRIMARYKEY,
PositionIDINT,
SalaryTypenvarchar(10),
Salarydecimal(9,2)
CONSTRAINTCK_Payroll_Salary
CHECK(Salary>10.00andSalary<150000.00)
);

如果要讓SQLServer拒絕一條記錄，那在檢查約束邏輯表達(dá)式的最終輸出中需要計(jì)算為FALSE，因此，在這個(gè)例子中，檢查約束會驗(yàn)證Salary大于10且小于150000，這兩個(gè)條件中任意一個(gè)檢查結(jié)果返回FLASE，都會直接拒絕Payroll表中對行的INSERT或UPDATE請求，提示也會顯示一條錯(cuò)誤消息。

如果你想創(chuàng)建一個(gè)表級檢查約束，你可以使用下面的代碼：

CREATETABLEdbo.Payroll
(
IDintPRIMARYKEY,
PositionIDINT,
Salarydecimal(9,2),
SalaryTypenvarchar(10),
CHECK(Salary>10.00andSalary<150000.00)
);

在這里我創(chuàng)建了單個(gè)表級約束，檢查Salary列，但可以使用表中的任意列，因?yàn)檫@是一個(gè)表級檢查，注意CHECK子句將會引起SQLServer生成一個(gè)檢查約束名，因?yàn)槲覜]有手動(dòng)為其命名。

在現(xiàn)有表上創(chuàng)建檢查約束

有時(shí)，在你設(shè)計(jì)和創(chuàng)建好表后，你可能想要在表上放一個(gè)檢查約束，你可以使用ALTERTABLE語句來實(shí)現(xiàn)，下面是一個(gè)例子：

ALTERTABLEdbo.Payroll
WITHNOCHECKADDCONSTRAINTCK_Payroll_SalaryType
CHECK(SalaryTypein('Hourly','Monthly','Annual'));

我在這里的創(chuàng)建檢查約束將會檢查Payroll表中SalaryType列的值為“Hourly”，“Monthly”或“Annual”的所有記錄，我還給這個(gè)檢查約束起了一個(gè)名字，叫做“CK_Payroll_SalaryType”。

你也可以在一個(gè)ALTERTABLE語句中給表添加多個(gè)檢查約束，下面就是這樣一個(gè)例子：

ALTERTABLEdbo.Payroll
WITHNOCHECKADDCONSTRAINTCK_Payroll_SalaryType
CHECK(SalaryTypein('Hourly','Monthly','Annual')),
CONSTRAINTCK_Payroll_Salary
CHECK(Salary>10.00andSalary<150000.00);

在這里我在一條ADDCONSTRAINT子句中為SalaryType和Salary這兩列同時(shí)增加了檢查約束。

創(chuàng)建多列約束

不用在每個(gè)列上都創(chuàng)建約束，相反，可以在多個(gè)列上同時(shí)創(chuàng)建一個(gè)約束來檢查這些列的值，例如，如果我想創(chuàng)建單個(gè)約束來檢查Salary和SalaryType，那我可能使用如下的代碼：

ALTERTABLEdbo.PayrollWITHNOCHECK
ADDCONSTRAINTCK_Payroll_Salary_N_SalaryType
CHECK(SalaryTypein('Hourly','Monthly','Annual')
andSalary>10.00andSalary<150000.00);

這個(gè)約束和前面的兩個(gè)約束完成的事情是一樣的，但你要記住，這樣做有一個(gè)不好的后果，那就是最終在理解究竟是SalaryType列，還是Salary列，或者這兩列違反了你的檢查約束時(shí)可能比較困難。

這樣做之后還有一個(gè)讓人煩惱的是不止使用一列來判斷某個(gè)特定列的值是否有效，例如，假設(shè)我想要確保在輸入HourlySalaryType時(shí)，我想要Salary小于100，或者在輸入MonthlySalaryType時(shí)，Salary小于10000，當(dāng)輸入AnnualSalaryType時(shí)，Salary合計(jì)是準(zhǔn)確的。為了實(shí)現(xiàn)這個(gè)約束條件，我使用下面的ADDCONSTRAINT子句：

ALTERTABLEdbo.PayrollWITHNOCHECK
ADDCONSTRAINTCK_Payroll_SalaryType_Based_On_Salary
CHECK((SalaryType='Hourly'andSalary<100.00)or
(SalaryType='Monthly'andSalary<10000.00)or
(SalaryType='Annual'));

在這里我將多列條件集中在一起了，又用or條件將它們進(jìn)行分離，這樣我的檢查約束就可以驗(yàn)證每個(gè)不同的SalaryType的Salary值了。

理解遇到空值時(shí)會發(fā)生什么

回顧一下我在本文的第一小節(jié)“什么是檢查約束”中講到的“當(dāng)檢查約束的條件表達(dá)式返回一個(gè)FALSE值時(shí)，記錄不能INSERT和UPDATE”，因?yàn)槿绱?，空值可能讓進(jìn)入數(shù)據(jù)庫的數(shù)據(jù)并不符合你的要求。例如，假設(shè)在payroll表上只有一個(gè)CK_Paryroll_SalaryType檢查約束，只需要刷新檢查約束所在內(nèi)存即可：

ALTERTABLEdbo.Payroll
WITHNOCHECKADDCONSTRAINTCK_Payroll_SalaryType
CHECK(SalaryTypein('Hourly','Monthly','Annual'));

現(xiàn)在，如果你執(zhí)行下面的INSERT語句：

INSERTINTOdbo.Payrollvalues(1,1,'Hourly',25.00);
INSERTINTOdbo.Payrollvalues(2,2,NULL,25.00);
INSERTINTOdbo.Payrollvalues(3,3,'Horly',25.00);

你認(rèn)為將會發(fā)生什么？只有第一條INSERT語句會起作用嗎？第二條和第三條INSERT將會怎么樣？它們都會違反CK_Payroll_SalaryType嗎？結(jié)果是只有第三條INSERT語句會失敗，它之所以失敗是因?yàn)镾alaryType被打亂了，不再僅僅是“Hourly”，“Monthly”或“Annual”了，那為什么第二個(gè)INSERT語句沒有返回FALSE呢？很明顯，NULL（空值）也不是有效的SalaryType，第二條INSERT語句能夠工作的原因是它運(yùn)行時(shí)CK_Payroll_SalaryType約束沒有返回FALSE值，所以數(shù)據(jù)庫引擎就插入了第二條記錄。

為什么會這樣呢？因?yàn)镹ULL（空值）在比較操作中時(shí)會返回UNKNOWN，因?yàn)閁NKNOWN并不等價(jià)于FLASE，故沒有違反檢查約束。因此，你在寫檢查約束時(shí)要當(dāng)心，你可能想要排除掉包含NULL（空值）的值。上面的例子如果想要排除掉NULL（空值），那代碼要做如下的改動(dòng)：

ALTERTABLEdbo.Payroll
WITHNOCHECKADDCONSTRAINTCK_Payroll_SalaryType
CHECK((SalaryTypein('Hourly','Monthly','Annual'))
andSalaryTypeisnotNULL);

另一個(gè)選擇是將SalaryType列設(shè)置為一個(gè)NOTNULL字段，這樣之后就不用再創(chuàng)建一個(gè)檢查約束了，但你會獲得一個(gè)不能向表中插入NULL值的錯(cuò)誤消息。

通過檢查約束進(jìn)行數(shù)據(jù)驗(yàn)證

使用檢查約束后，可以確保你的數(shù)據(jù)庫只包括通過了檢查的數(shù)據(jù)，這樣允許你讓數(shù)據(jù)庫引擎控制你的數(shù)據(jù)有效性，這樣做之后，你的應(yīng)用程序就不用再進(jìn)行數(shù)據(jù)驗(yàn)證了，否則程序代碼中到處都穿插有數(shù)據(jù)校驗(yàn)的腳本，通過這種方法使數(shù)據(jù)驗(yàn)證工作更輕松，更簡潔。