◆關(guān)系實例:就是一個關(guān)系,即一張二維表格。
◆屬性:在關(guān)系模型中,字段稱為屬性。
◆域:在關(guān)系中,每一個屬性都有一個取值范圍,稱為屬性的值域。
◆元組:在關(guān)系中,記錄稱為元組。
◆超鍵:在關(guān)系中能唯一標(biāo)識元組的屬性集稱為關(guān)系模式的超鍵。(注意,超鍵是一個屬性集)
◆候選鍵:不含有多余屬性的超鍵稱為候選鍵。
◆主鍵:用戶選作元組標(biāo)識的一個候選鍵為主鍵。
◆外鍵:某個關(guān)系的主鍵相應(yīng)的屬性在另一關(guān)系中出現(xiàn),此時該主鍵在就是另一關(guān)系的外鍵,如有兩個關(guān)系S和SC,其中S#是關(guān)系S的主鍵,相應(yīng)的屬性S#在關(guān)系SC中也出現(xiàn),此時S#就是關(guān)系SC的外鍵。
◆實體完整性規(guī)則:這條規(guī)則要求關(guān)系中元組在組成主鍵的屬性上不能有空值。如果出現(xiàn)空值,那么主鍵值就起不了唯一標(biāo)識元組的作用。
◆參照完整性規(guī)則:這條規(guī)則要求“不引用不存在的實體”。其形式定義如下:如果屬性集K是關(guān)系模式R1的主鍵,K也是關(guān)系模式R2的外鍵,那么R2的關(guān)系中,K的取值只允許有兩種可能,或者為空值,或者等于R1關(guān)系中某個主鍵值。
這條規(guī)則在使用時有三點應(yīng)注意:
1)外鍵和相應(yīng)的主鍵可以不同名,只要定義在相同值域上即可。
2)R1和R2也可以是同一個關(guān)系模式,表示了屬性之間的聯(lián)系。
3)外鍵值是否允許空應(yīng)視具體問題而定。
◆過程性語言:在編程時必須給出獲得結(jié)果的操作步驟,即“干什么”和“怎么干”。如Pascal和C語言等。
◆非過程性語言:編程時只須指出需要什么信息,不必組出具體的操作步驟的語言,各種關(guān)系查詢語言均屬于非過程性語言。
◆無限關(guān)系:當(dāng)一個關(guān)系中存在無窮多個元組時,此關(guān)系為無限關(guān)系。如元組表達(dá)式{t|┐R(t)}表示所有不在關(guān)系R中的元組的集合,這是一個無限關(guān)系。
◆無窮驗證:在驗證公式時需對無窮多個元組進(jìn)行驗證就是無窮驗證。如驗證公式(∨u)(P(u))的真假時需對所有的元組u進(jìn)行驗證,這是一個無窮驗證的問題。
相關(guān)推薦:計算機(jī)等考三級數(shù)據(jù)庫技術(shù)上機(jī)模擬題匯總北京 | 天津 | 上海 | 江蘇 | 山東 |
安徽 | 浙江 | 江西 | 福建 | 深圳 |
廣東 | 河北 | 湖南 | 廣西 | 河南 |
海南 | 湖北 | 四川 | 重慶 | 云南 |
貴州 | 西藏 | 新疆 | 陜西 | 山西 |
寧夏 | 甘肅 | 青海 | 遼寧 | 吉林 |
黑龍江 | 內(nèi)蒙古 |