◆關(guān)系實(shí)例：就是一個(gè)關(guān)系，即一張二維表格。

　　◆屬性：在關(guān)系模型中，字段稱為屬性。

　　◆域：在關(guān)系中，每一個(gè)屬性都有一個(gè)取值范圍，稱為屬性的值域。

　　◆元組：在關(guān)系中，記錄稱為元組。

　　◆超鍵：在關(guān)系中能唯一標(biāo)識(shí)元組的屬性集稱為關(guān)系模式的超鍵。(注意，超鍵是一個(gè)屬性集)

　　◆候選鍵：不含有多余屬性的超鍵稱為候選鍵。

　　◆主鍵：用戶選作元組標(biāo)識(shí)的一個(gè)候選鍵為主鍵。

　　◆外鍵：某個(gè)關(guān)系的主鍵相應(yīng)的屬性在另一關(guān)系中出現(xiàn)，此時(shí)該主鍵在就是另一關(guān)系的外鍵，如有兩個(gè)關(guān)系S和SC,其中S#是關(guān)系S的主鍵，相應(yīng)的屬性S#在關(guān)系SC中也出現(xiàn)，此時(shí)S#就是關(guān)系SC的外鍵。

　　◆實(shí)體完整性規(guī)則：這條規(guī)則要求關(guān)系中元組在組成主鍵的屬性上不能有空值。如果出現(xiàn)空值，那么主鍵值就起不了唯一標(biāo)識(shí)元組的作用。

　　◆參照完整性規(guī)則：這條規(guī)則要求“不引用不存在的實(shí)體”。其形式定義如下：如果屬性集K是關(guān)系模式R1的主鍵，K也是關(guān)系模式R2的外鍵，那么R2的關(guān)系中，K的取值只允許有兩種可能，或者為空值，或者等于R1關(guān)系中某個(gè)主鍵值。

　　這條規(guī)則在使用時(shí)有三點(diǎn)應(yīng)注意：

　　1)外鍵和相應(yīng)的主鍵可以不同名，只要定義在相同值域上即可。

　　2)R1和R2也可以是同一個(gè)關(guān)系模式，表示了屬性之間的聯(lián)系。

　　3)外鍵值是否允許空應(yīng)視具體問(wèn)題而定。

　　◆過(guò)程性語(yǔ)言：在編程時(shí)必須給出獲得結(jié)果的操作步驟，即“干什么”和“怎么干”。如Pascal和C語(yǔ)言等。

　　◆非過(guò)程性語(yǔ)言：編程時(shí)只須指出需要什么信息，不必組出具體的操作步驟的語(yǔ)言，各種關(guān)系查詢語(yǔ)言均屬于非過(guò)程性語(yǔ)言。

　　◆無(wú)限關(guān)系：當(dāng)一個(gè)關(guān)系中存在無(wú)窮多個(gè)元組時(shí)，此關(guān)系為無(wú)限關(guān)系。如元組表達(dá)式{t|┐R(t)}表示所有不在關(guān)系R中的元組的集合，這是一個(gè)無(wú)限關(guān)系。

　　◆無(wú)窮驗(yàn)證：在驗(yàn)證公式時(shí)需對(duì)無(wú)窮多個(gè)元組進(jìn)行驗(yàn)證就是無(wú)窮驗(yàn)證。如驗(yàn)證公式(∨u)(P(u))的真假時(shí)需對(duì)所有的元組u進(jìn)行驗(yàn)證，這是一個(gè)無(wú)窮驗(yàn)證的問(wèn)題。

　　　　　　　計(jì)算機(jī)等級(jí)考試三級(jí)數(shù)據(jù)庫(kù)技術(shù)三套全真預(yù)測(cè)試題

　　　　　　　計(jì)算機(jī)等級(jí)考試三級(jí)數(shù)據(jù)庫(kù)技術(shù)上機(jī)考試內(nèi)容