SQL數(shù)據(jù)庫(kù)創(chuàng)建表與完整性約束

1、4.1.3 sql語(yǔ)言功能概述 sql功能功能命令動(dòng)詞命令動(dòng)詞 數(shù)據(jù)查詢(xún)數(shù)據(jù)查詢(xún)select 數(shù)據(jù)定義數(shù)據(jù)定義create、drop、alter 數(shù)據(jù)操縱數(shù)據(jù)操縱insert、update、delete 數(shù)據(jù)控制數(shù)據(jù)控制grant、revoke 四部分：數(shù)據(jù)定義功能、數(shù)據(jù)控制功能、數(shù)據(jù) 查詢(xún)功能和數(shù)據(jù)操縱功能。 4.2 sql的數(shù)據(jù)類(lèi)型 數(shù)值型 字符串型 日期時(shí)間型 貨幣型 數(shù)值型 準(zhǔn)確型 整數(shù) bigint: 8字節(jié)， int：4字節(jié) smallint：2字節(jié)， tinyint：1字節(jié) bit：1位，存儲(chǔ)1或0 小數(shù) numeric（p,q）或decimal（p,q）， 其中：p為數(shù)字位長(zhǎng)度

2、，q：小數(shù)位長(zhǎng)度。 近似型 float：8字節(jié) real：4字節(jié) 字符串型 普通編碼字符串類(lèi)型 統(tǒng)一字符編碼字符串類(lèi)型 二進(jìn)制字符串類(lèi)型 普通編碼字符串類(lèi)型 char（n）:定長(zhǎng)存儲(chǔ)，n=8000 varchar（n）：不定長(zhǎng)存儲(chǔ)（按實(shí)際長(zhǎng)度 存儲(chǔ)），長(zhǎng)度最大不超過(guò)n , n=8000 注：n 為字符個(gè)數(shù) text：存儲(chǔ)大于8000字節(jié)的文本 統(tǒng)一字符編碼字符串類(lèi)型 nchar（n）:定長(zhǎng)存儲(chǔ)，n=4000 nvarchar（n）：不定長(zhǎng)存儲(chǔ)，長(zhǎng)度最大不 超過(guò)n , n=4000 ntext：存儲(chǔ)大于8000字節(jié)的文本 特點(diǎn)：每個(gè)字符占兩個(gè)字節(jié) 二進(jìn)制字符串類(lèi)型 binary(n)：固定長(zhǎng)度，

3、n = 8000。 varbinary(n)：可變長(zhǎng)度，n 8000 。 注：n為二進(jìn)制數(shù)據(jù)的字節(jié)數(shù) image：大容量、可變長(zhǎng)二進(jìn)制字符數(shù)據(jù)， 可用于存儲(chǔ)文件。 日期時(shí)間型日期時(shí)間型 datetime：8字節(jié)，年月日時(shí)分秒毫秒 （例：2001/08/03 10:30:00.000 ） smalldatetime：4字節(jié)，年月日時(shí)分 （例： 2001/08/03 10:30:00 ） 日期、時(shí)間的輸入格式 貨幣類(lèi)型 money： 8 個(gè)字節(jié)，精確到貨幣單位的千 分之十。 smallmoney： 4 個(gè)字節(jié)，精確到貨幣單 位的千分之十。 限制到小數(shù)點(diǎn)后 4 位。 可以帶有適當(dāng)?shù)呢泿欧?hào)。例如，1

4、00 英 鎊可表示為 100。 4.3 基本表的定義、刪除及修改 4.3.1 基本表的定義與刪除 4.3.2 修改表結(jié)構(gòu) 4.3.1 基本表的定義與刪除 1定義基本表 使用sql語(yǔ)言中的create table語(yǔ)句實(shí)現(xiàn)， 其一般格式為： create table （ 列級(jí)完整性約束定義 , 列級(jí)完整性約束定義 , 表級(jí)完整性約束定義 ） 在列級(jí)完整性約束定義處可以定義的約束 not null：限制列取值非空。 default：給定列的默認(rèn)值。 unique：限制列取值不重。 check：限制列的取值范圍。 primary key：指定本列為主碼。 foreign key：定義本列為引用其他表的

5、外碼。使 用形式為： foreign key（） references （） 幾點(diǎn)說(shuō)明 not null和default只能是列級(jí)完整性約束； 其他約束均可在表級(jí)完整性約束處定義。 注意以下幾點(diǎn)： 第一，如果check約束是定義多列之間的取值約束，則 只能在表級(jí)完整性約束處定義； 第二，如果表的主碼由多個(gè)列組成，則也只能在表級(jí)完 整性約束處定義，并將主碼列用括號(hào)括起來(lái)，即：pri mary key（列1，列2 ）； 第三，如果在表級(jí)完整性約束處定義外碼，則“forei gn key ()”部分不能省。 約束定義 列取值非空約束 not null 例：sname char(10) not nul

6、l 約束定義（續(xù)） 表主碼約束表主碼約束 在定義列時(shí)定義主碼（僅用于單列主碼） 列定義 primary key 例： sno char(7) primary key 在定義完列時(shí)定義主碼（用于單列或多列主 碼） primary key （） 例： primary key(sno) primary key(sno，cno) 約束定義（續(xù)） 外碼引用約束外碼引用約束 指明本表外碼列引用的表及表中的主碼列。 foreign key （） references （） 例： foreign key （sno） references 學(xué)生表（sno） 約束定義（續(xù)） 默認(rèn)值約束默認(rèn)值約束 格式：defau

7、lt 默認(rèn)值 例：定義系的默認(rèn)值為“計(jì)算機(jī)系”。 default 計(jì)算機(jī)系 約束定義（續(xù)） checkcheck約束約束 格式：check (約束表達(dá)式) 例：定義成績(jī)大于等于0。 check ( grade = 0 ) 約束定義（續(xù)） uniqueunique約束約束 在列級(jí)約束定義（僅用于單列約束） 列定義 unique 例： sname char(7) unique 在表級(jí)約束定義（用于單列或多列組合約束） unique （） 例： unique (sno，cno) 用于限制在一個(gè)列中不能有重復(fù)的值。用于限制在一個(gè)列中不能有重復(fù)的值。 用在事實(shí)上具有惟一性的屬性列上，比如每用在事實(shí)上具有

8、惟一性的屬性列上，比如每 個(gè)人的身份證號(hào)碼、駕駛證號(hào)碼等均不能有個(gè)人的身份證號(hào)碼、駕駛證號(hào)碼等均不能有 重復(fù)值。重復(fù)值。 注意：注意： 允許有一個(gè)空值；允許有一個(gè)空值； 在一個(gè)表中可以定義多個(gè)在一個(gè)表中可以定義多個(gè)unique約束；約束； 可以在一個(gè)列或多個(gè)列上定義可以在一個(gè)列或多個(gè)列上定義unique約約 束。束。 創(chuàng)建學(xué)生表 create table student ( sno char ( 7 ) primary key, sname char ( 10 ) not null, ssex char (2) check (ssex = 男 or ssex = 女), sage tinyin

9、t check (sage = 15 and sage 0), semester tinyint check (semester 0), period int check (period 0), primary key(cno) ) 創(chuàng)建sc表 create table sc ( sno char(7) not null, cno char(10) not null, grade tinyint, check (grade = 0 and grade = 100), primary key ( sno, cno ), foreign key ( sno ) references student

10、 ( sno ), foreign key ( cno ) references course ( cno ) ) 刪除表 當(dāng)確信不再需要某個(gè)表時(shí)，可以將其刪除 刪除表時(shí)會(huì)將與表有關(guān)的所有對(duì)象一起刪 掉，包括表中的數(shù)據(jù)。 刪除表的語(yǔ)句格式為： drop table , 例：刪除test表的語(yǔ)句為： drop table test 4.3.2 修改表結(jié)構(gòu) 在定義完表之后，如果需求有變化，比 如添加列、刪除列或修改列定義，可以 使用alter table語(yǔ)句實(shí)現(xiàn)。 alter table語(yǔ)句可以對(duì)表添加列、刪 除列、修改列的定義、定義主碼、外碼， 也可以添加和刪除約束。 修改表結(jié)構(gòu)語(yǔ)法 alter

11、 table alter column | add column | drop column | add primary key（列名 ， n ） | add foreign key（列名） referneces 表名（列名） 示例 例2為sc表添加“修課類(lèi)別”列，此列的定 義為：xklb char(4) alter table sc add xklb char(4) null 示例 例3將新添加的xklb的類(lèi)型改為 char(6)。 alter table sc alter column xklb char(6) 示例 例4刪除course表的period列。 alter table cou

12、rse drop column period 指指數(shù)數(shù)據(jù)的正確性、有效性和相容性據(jù)的正確性、有效性和相容性 然而大多然而大多數(shù)數(shù)情情況況下，我下，我們們所提到的完整性，所提到的完整性，實(shí)際實(shí)際是指完整性是指完整性 規(guī)則規(guī)則 為為保保證證完整性，完整性，數(shù)數(shù)據(jù)據(jù)應(yīng)該滿(mǎn)應(yīng)該滿(mǎn)足的足的約約束束條條件，又件，又稱(chēng)為稱(chēng)為完整性完整性約約束束 完整性的原義完整性的原義 關(guān)系模型中的完整性關(guān)系模型中的完整性 關(guān)系完整性關(guān)系完整性 在關(guān)系模型中的地位在關(guān)系模型中的地位 三要素之一（關(guān)系三要素之一（關(guān)系, 關(guān)系完整性關(guān)系完整性, 關(guān)系操作）關(guān)系操作） 三種類(lèi)型三種類(lèi)型 實(shí)體完整性；實(shí)體完整性； 參照完整性；參照

13、完整性； 用戶(hù)定義完整性；用戶(hù)定義完整性； 三種關(guān)系完整性規(guī)則三種關(guān)系完整性規(guī)則 解決現(xiàn)實(shí)世界的三個(gè)問(wèn)題解決現(xiàn)實(shí)世界的三個(gè)問(wèn)題 如何保證一個(gè)實(shí)體是可識(shí)別（區(qū)分）的如何保證一個(gè)實(shí)體是可識(shí)別（區(qū)分）的 方法：實(shí)體完整性方法：實(shí)體完整性 如何保證能夠從一個(gè)實(shí)體找到另一個(gè)相關(guān)聯(lián)的實(shí)體，而不如何保證能夠從一個(gè)實(shí)體找到另一個(gè)相關(guān)聯(lián)的實(shí)體，而不 會(huì)出現(xiàn)找不到的情況會(huì)出現(xiàn)找不到的情況 方法：參照完整性方法：參照完整性 如何保證用于描述實(shí)體的屬性，其取值是合理的如何保證用于描述實(shí)體的屬性，其取值是合理的 方法：用戶(hù)定義完整性方法：用戶(hù)定義完整性 三種關(guān)系完整性規(guī)則三種關(guān)系完整性規(guī)則 實(shí)體完整性實(shí)體完整性 目的：

14、保證每個(gè)元組（所代表的實(shí)體）是可標(biāo)識(shí)目的：保證每個(gè)元組（所代表的實(shí)體）是可標(biāo)識(shí) （區(qū)分）的（區(qū)分）的 規(guī)則：元組在主碼的每個(gè)屬性上取唯一值，且不規(guī)則：元組在主碼的每個(gè)屬性上取唯一值，且不 能為空能為空 意義：意義： 關(guān)系往往對(duì)應(yīng)一個(gè)實(shí)體集，這時(shí)關(guān)系中的每個(gè)元關(guān)系往往對(duì)應(yīng)一個(gè)實(shí)體集，這時(shí)關(guān)系中的每個(gè)元 組對(duì)應(yīng)一個(gè)實(shí)體組對(duì)應(yīng)一個(gè)實(shí)體 現(xiàn)實(shí)世界中的實(shí)體是可區(qū)分的，關(guān)系中的元組也現(xiàn)實(shí)世界中的實(shí)體是可區(qū)分的，關(guān)系中的元組也 必須是可區(qū)分的必須是可區(qū)分的 主碼起到唯一標(biāo)識(shí)（區(qū)分）每個(gè)元組的作用，所主碼起到唯一標(biāo)識(shí)（區(qū)分）每個(gè)元組的作用，所 以它必須是唯一的，同時(shí)也是非空的以它必須是唯一的，同時(shí)也是非空的

15、三種關(guān)系完整性規(guī)則三種關(guān)系完整性規(guī)則 三種關(guān)系完整性規(guī)則要點(diǎn)：三種關(guān)系完整性規(guī)則要點(diǎn)： 如果一個(gè)關(guān)系的主碼由多個(gè)屬性構(gòu)成，那如果一個(gè)關(guān)系的主碼由多個(gè)屬性構(gòu)成，那 么每個(gè)屬性都不能取空值么每個(gè)屬性都不能取空值 三種關(guān)系完整性規(guī)則三種關(guān)系完整性規(guī)則 參照完整性參照完整性 復(fù)習(xí)：外部碼復(fù)習(xí)：外部碼 外部碼外部碼 定義：關(guān)系定義：關(guān)系r1中的單個(gè)屬性或?qū)傩约?，?duì)中的單個(gè)屬性或?qū)傩约希瑢?duì) 應(yīng)另一個(gè)關(guān)系應(yīng)另一個(gè)關(guān)系 r2的主碼的主碼 r1稱(chēng)為參照關(guān)系，稱(chēng)為參照關(guān)系， r2稱(chēng)為被參照關(guān)系稱(chēng)為被參照關(guān)系 來(lái)源：由聯(lián)系集轉(zhuǎn)化而來(lái)，反映實(shí)體（元組）來(lái)源：由聯(lián)系集轉(zhuǎn)化而來(lái)，反映實(shí)體（元組） 之間的聯(lián)系之間的聯(lián)系

16、 復(fù)習(xí)：外部碼復(fù)習(xí)：外部碼 三種關(guān)系完整性規(guī)則三種關(guān)系完整性規(guī)則 參照完整性參照完整性 目的：保證外碼引用的是一個(gè)有效的主碼目的：保證外碼引用的是一個(gè)有效的主碼 規(guī)則：如果關(guān)系規(guī)則：如果關(guān)系r的外部碼對(duì)應(yīng)關(guān)系的外部碼對(duì)應(yīng)關(guān)系s的主碼，則的主碼，則r每個(gè)元組在每個(gè)元組在 外部碼上的取值必須滿(mǎn)足：外部碼上的取值必須滿(mǎn)足： 或者等于空值或者等于空值 或者等于某個(gè)對(duì)應(yīng)的主碼值（或者等于某個(gè)對(duì)應(yīng)的主碼值（s某個(gè)元組的主碼值）某個(gè)元組的主碼值） 意義：意義： 在被參照關(guān)系在被參照關(guān)系s中，中， 一個(gè)主碼值代表所在的元組（一個(gè)實(shí)體）一個(gè)主碼值代表所在的元組（一個(gè)實(shí)體） 在參照關(guān)系在參照關(guān)系r中，元組的外部碼

17、中，元組的外部碼 要么取空值，表示不和任何要么取空值，表示不和任何s元組（實(shí)體）存在聯(lián)系元組（實(shí)體）存在聯(lián)系 要么取要么取s的某個(gè)主碼值，表示表示聯(lián)系是存在的，且涉及的是的某個(gè)主碼值，表示表示聯(lián)系是存在的，且涉及的是 這個(gè)主碼值所代表的這個(gè)主碼值所代表的s元組（實(shí)體）元組（實(shí)體） 如果違反以上兩種情況，表示聯(lián)系涉及了不存在的實(shí)體，這是如果違反以上兩種情況，表示聯(lián)系涉及了不存在的實(shí)體，這是 不允許的不允許的 思考 thinking ： 根據(jù)外部碼碼取值值的可能性，我們們?cè)诙x義外部 碼碼的屬屬性類(lèi)類(lèi)型時(shí)時(shí)，應(yīng)應(yīng)遵循什么么原則則? 三種關(guān)系完整性規(guī)則三種關(guān)系完整性規(guī)則 用戶(hù)定義完整性用戶(hù)定義完整性

18、 目的：保證實(shí)體屬性的取值有效，等等目的：保證實(shí)體屬性的取值有效，等等 規(guī)則：用戶(hù)根據(jù)具體的應(yīng)用環(huán)境定義規(guī)則：用戶(hù)根據(jù)具體的應(yīng)用環(huán)境定義 例如例如 年齡的取值范圍為年齡的取值范圍為0到到200，性別只能是，性別只能是“男男”或或 “女女” 職工編號(hào)是職工編號(hào)是4位整數(shù)位整數(shù) 意義：意義： 反映了現(xiàn)實(shí)世界的真實(shí)情況，即實(shí)體的屬性必須滿(mǎn)反映了現(xiàn)實(shí)世界的真實(shí)情況，即實(shí)體的屬性必須滿(mǎn) 足要滿(mǎn)足這些條件，反映了程序編制的要求足要滿(mǎn)足這些條件，反映了程序編制的要求 思考 thinking 什么么操作會(huì)會(huì)破壞關(guān)關(guān)系完整性。查詢(xún)查詢(xún)操作，還還 是修改操作? 課堂練習(xí)課堂練習(xí) 依次執(zhí)行如下操作，哪些能夠成功？依

19、次執(zhí)行如下操作，哪些能夠成功？ 1零件關(guān)系：零件關(guān)系： 添加添加(3, 綠綠, null) 2供應(yīng)商關(guān)系：供應(yīng)商關(guān)系： 添加添加(null, 四化四化, 廣州廣州) 3供應(yīng)商關(guān)系：供應(yīng)商關(guān)系： 添加添加(e, 北電北電, 廣州廣州) 4零件關(guān)系：零件關(guān)系： 修改修改(2, 白白, a) 為為(2, 黑黑, f) 5供應(yīng)商關(guān)系：供應(yīng)商關(guān)系： 刪除刪除(a, 紅星紅星, 北京北京) 6零件關(guān)系：零件關(guān)系： 修改修改(3, 藍(lán)藍(lán), b) 為為(3, 藍(lán)藍(lán), e) 完整性控制概述完整性控制概述 完整性控制完整性控制 目的：保證數(shù)據(jù)的正確性、有效性和相容性目的：保證數(shù)據(jù)的正確性、有效性和相容性 由由db

20、ms負(fù)責(zé)，負(fù)責(zé)，包括包括兩方面兩方面 完整性規(guī)則的定義：通過(guò)完整性規(guī)則的定義：通過(guò)sql （運(yùn)行時(shí)）完整性規(guī)則的檢查：通過(guò)專(zhuān)門(mén)的（運(yùn)行時(shí)）完整性規(guī)則的檢查：通過(guò)專(zhuān)門(mén)的“完整完整 性子系統(tǒng)性子系統(tǒng)” 主碼約束主碼約束 規(guī)則：主碼值不允許空，也不允許出現(xiàn)重復(fù)規(guī)則：主碼值不允許空，也不允許出現(xiàn)重復(fù) 定義：在創(chuàng)建或修改關(guān)系的定義語(yǔ)句中，用定義：在創(chuàng)建或修改關(guān)系的定義語(yǔ)句中，用prima ry key關(guān)鍵字聲明主碼的同時(shí)，即定義了一個(gè)主碼關(guān)鍵字聲明主碼的同時(shí)，即定義了一個(gè)主碼 約束約束 create table 關(guān)系名關(guān)系名 ( , primary key (屬性屬性, 屬性屬性) ) 主碼約束主碼約束

21、 例：例： create table 選修選修( 學(xué)號(hào)學(xué)號(hào)varchar (10), 課程號(hào)課程號(hào)varchar (10), , primary key (學(xué)號(hào)學(xué)號(hào), 課程號(hào)課程號(hào)), ) 唯一約束唯一約束 規(guī)則：對(duì)指定的一個(gè)屬性或?qū)傩越M合，不允許出現(xiàn)重規(guī)則：對(duì)指定的一個(gè)屬性或?qū)傩越M合，不允許出現(xiàn)重 復(fù)值復(fù)值 定義：在創(chuàng)建或修改關(guān)系的定義語(yǔ)句中，用定義：在創(chuàng)建或修改關(guān)系的定義語(yǔ)句中，用unique關(guān)關(guān) 鍵字聲明鍵字聲明 create table 關(guān)系名關(guān)系名 ( , unique (屬性屬性, 屬性屬性) ) 主碼約束主碼約束 例：例： create table 學(xué)生學(xué)生( , 身份證號(hào)身份證

22、號(hào)varchar (15), , unique (身份證號(hào)身份證號(hào)), ) 外部碼約束外部碼約束 規(guī)則：外部碼要么取空值，要么取對(duì)應(yīng)的某個(gè)主碼值規(guī)則：外部碼要么取空值，要么取對(duì)應(yīng)的某個(gè)主碼值 定義：在創(chuàng)建或修改關(guān)系的定義語(yǔ)句中，用定義：在創(chuàng)建或修改關(guān)系的定義語(yǔ)句中，用foreig n key關(guān)鍵字聲明一個(gè)外部碼的同時(shí)，即定義了一個(gè)關(guān)鍵字聲明一個(gè)外部碼的同時(shí)，即定義了一個(gè) 外部碼約束外部碼約束 create table 表名表名 ( , foreign key (屬性名屬性名, 屬性名屬性名) references 關(guān)系名關(guān)系名(屬性名屬性名, 屬性名屬性名) on delete on upda

23、te 參照動(dòng)作參照動(dòng)作 說(shuō)明當(dāng)某個(gè)主碼值被刪除說(shuō)明當(dāng)某個(gè)主碼值被刪除/更新時(shí)（這個(gè)主碼值在被更新時(shí)（這個(gè)主碼值在被 參照關(guān)系中），如何處理對(duì)應(yīng)的外部碼值（這些外參照關(guān)系中），如何處理對(duì)應(yīng)的外部碼值（這些外 部碼值在參照關(guān)系中）部碼值在參照關(guān)系中） restrict 方式：僅當(dāng)沒(méi)有任何對(duì)應(yīng)的外碼值時(shí)，方式：僅當(dāng)沒(méi)有任何對(duì)應(yīng)的外碼值時(shí)， 才可以刪除才可以刪除/更新這個(gè)主碼值，否則系統(tǒng)拒絕執(zhí)行此更新這個(gè)主碼值，否則系統(tǒng)拒絕執(zhí)行此 操作操作 cascade 方式：連帶將所有對(duì)應(yīng)的外碼值一塊刪方式：連帶將所有對(duì)應(yīng)的外碼值一塊刪 除除/更新（刪除外碼值，實(shí)際上就是將所在的元組刪更新（刪除外碼值，實(shí)際上就是

24、將所在的元組刪 除掉）除掉） set null 方式：將所有對(duì)應(yīng)的外碼值設(shè)為空值方式：將所有對(duì)應(yīng)的外碼值設(shè)為空值 外部碼約束外部碼約束 外部碼約束外部碼約束 cascade方式示例：當(dāng)當(dāng)主碼值碼值被刪刪除/更新 時(shí)時(shí)，連帶刪連帶刪除/更新對(duì)應(yīng)對(duì)應(yīng)的外碼值碼值 外部碼約束外部碼約束 restrict方式示例：僅當(dāng)沒(méi)僅當(dāng)沒(méi)有任何對(duì)應(yīng)對(duì)應(yīng)的外 碼值時(shí)碼值時(shí)，才可以刪刪除/更新主碼值碼值，否則則系統(tǒng)統(tǒng) 拒絕執(zhí)絕執(zhí)行此操作 外部碼約束外部碼約束 外部碼約束外部碼約束 外部碼約束外部碼約束 set null方式示例：主碼值被刪除方式示例：主碼值被刪除/更新時(shí)，更新時(shí)， 將對(duì)應(yīng)的外碼值設(shè)為空值將對(duì)應(yīng)的外碼值

25、設(shè)為空值 外部碼約束外部碼約束 外部碼約束外部碼約束 例：例： create table 學(xué)生學(xué)生 ( 學(xué)號(hào)學(xué)號(hào)varchar (4), 姓名姓名, primary key (學(xué)號(hào)學(xué)號(hào)), ) create table 選修選修 ( , foreign key (學(xué)號(hào)學(xué)號(hào)) references 學(xué)生學(xué)生(學(xué)號(hào)學(xué)號(hào)) on delete restrict on update cascade, , ) 外部碼約束外部碼約束 外部碼約束外部碼約束 非空約束非空約束 非空約束非空約束 規(guī)則：屬性值不允許取空值規(guī)則：屬性值不允許取空值 定義：在定義關(guān)系的語(yǔ)句中，聲明某個(gè)屬性不能取定義：在定義關(guān)系的語(yǔ)句中，聲明某個(gè)屬性不能取 空值（空值（notnull），即定義了一個(gè)非空約束），即定義了一個(gè)非空約束 create table 關(guān)系名關(guān)系名 ( , 屬性名域?qū)傩悦騞efault 缺省值缺省值 not null , ) 非空約束非空約束 例：例： create table 學(xué)生學(xué)生 ( , 姓名姓名varchar(20) not null, , ) 完整性約束命名子句 constrain