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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

創(chuàng)建多列約束

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

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

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

這樣做之后還有一個讓人煩惱的是不止使用一列來判斷某個特定列的值是否有效，例如，假設(shè)我想要確保在輸入HourlySalaryType時，我想要Salary小于100，或者在輸入MonthlySalaryType時，Salary小于10000，當(dāng)輸入AnnualSalaryType時，Salary合計是準(zhǔn)確的。為了實現(xiàn)這個約束條件，我使用下面的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)行分離，這樣我的檢查約束就可以驗證每個不同的SalaryType的Salary值了。

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

回顧一下我在本文的第一小節(jié)“什么是檢查約束”中講到的“當(dāng)檢查約束的條件表達(dá)式返回一個FALSE值時，記錄不能INSERT和UPDATE”，因為如此，空值可能讓進(jìn)入數(shù)據(jù)庫的數(shù)據(jù)并不符合你的要求。例如，假設(shè)在payroll表上只有一個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語句會失敗，它之所以失敗是因為SalaryType被打亂了，不再僅僅是“Hourly”，“Monthly”或“Annual”了，那為什么第二個INSERT語句沒有返回FALSE呢？很明顯，NULL（空值）也不是有效的SalaryType，第二條INSERT語句能夠工作的原因是它運(yùn)行時CK_Payroll_SalaryType約束沒有返回FALSE值，所以數(shù)據(jù)庫引擎就插入了第二條記錄。

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

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

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

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

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