1.關(guān)系模型：用二維表格結(jié)構(gòu)表示實(shí)體集，外鍵表示實(shí)體間聯(lián)系的數(shù)據(jù)模型稱為關(guān)系模型。關(guān)系模型是由若干個(gè)關(guān)系模式組成的集合。

2.關(guān)系模式：關(guān)系模式實(shí)際上就是記錄類型。它包括：模式名，屬性名，值域名以及模式的主鍵。關(guān)系模式僅是對數(shù)據(jù)特性的描述。

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

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

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

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

7.候選碼：在關(guān)系中能唯一標(biāo)識(shí)元組的屬性集稱為關(guān)系模式的候選碼。

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

9.外碼：某個(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的外碼。

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

11.參照完整性規(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)視具體問題而定。

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

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