2011年軟考數(shù)據(jù)庫系統(tǒng)工程師知識點講解(5)

　　五、關(guān)系數(shù)據(jù)庫

　　1.表格

　　表格(或簡稱表)表示了用戶的特定類型(Type)的一些實體。表頭由一些屬性名(Attribute Name)組成，每個屬性名對應于一列。在表上屬性名必須唯一，不允許重名。表體是由一些行或元組(tuple)、或記錄(record)組成。一個元組對應于傳統(tǒng)的文件結(jié)構(gòu)中的一個記錄，一個記錄含有若干個域(field)用以存儲屬性值(Attribute value)。一個元組對應于一個“用戶”實體的出現(xiàn)(occurrence)。表體中每一行和某一列的交叉點(相當于記錄中的域)上保存一個屬性值。這個屬性值叫做這一行(或這個實體出現(xiàn))的相應屬性值。表體中每一列可以保存的值對應于某種屬性類型(Type of Attribute)，也就是說，這一列的屬性值只能取這個屬性類型的值。某個屬性所能取的所有值的集合叫做這個屬性的值域(Domain of Attribute)。類型和值域的對應關(guān)系是一對多的。一個類型有一個值域，但一個值域可以作為多個類型，基名稱不同，但實質(zhì)上值域一樣。實際上，類型是對值域的命名。能唯一標識一個元組的屬性稱之為關(guān)鍵屬性(Primary Key Attribute)或簡稱為主關(guān)鍵字(Primary Key)。主關(guān)鍵字有時是由多個屬性組成的，此時的主關(guān)鍵字叫做組合關(guān)鍵字(Conˉcatenated primary Key)。有的時候，表中必須由一些組合的主關(guān)鍵字才能唯一地標識一個元組，也就是說，不存在能作關(guān)鍵字的一個屬性。這時為了方便，往往引入一個附加的屬性并稱之為外來關(guān)鍵字(Foreigh Key)來作主關(guān)鍵字。外來關(guān)鍵字為以后檢索和查詢帶來了方便，但也增加了信息冗余。

　　2.表名、表頭和表體

　　表名、表頭和表體在關(guān)系模型中具有不同的作用或功能，因而也具有完全不同的性質(zhì)。表頭是一個屬性的集合，它規(guī)定了表的結(jié)構(gòu)。表體是一個特殊的集體，稱作為關(guān)系(relation)�！瓣P(guān)系模型”中的“關(guān)系”一詞就是指表體中的這個數(shù)學關(guān)系。在關(guān)系數(shù)據(jù)庫中，表名對應于數(shù)據(jù)庫名(或關(guān)系名)，表頭對應于數(shù)據(jù)描述(或結(jié)構(gòu)描述)，表體對應于數(shù)據(jù)庫。表體是數(shù)據(jù)庫的內(nèi)容及數(shù)據(jù)庫操作的對象。另外，有兩個概念必須加以強調(diào):型(type)和值或出現(xiàn)(occurence)。表頭定義了實體(或元組)的型，也就是說規(guī)定了實體(或元組)的值域。而表體則給出了實體(或元組)的出現(xiàn)。出現(xiàn)是型中的一個值。

　　3.關(guān)系的數(shù)學定義

　　關(guān)系模型是建立在集合論(Set Theory)的基礎之上的�，F(xiàn)在，開始用集合論的術(shù)語來嚴格地定義數(shù)學上的關(guān)系，即給出關(guān)系的數(shù)學定義。定義1 域(Domain)是值(value)的集合。

　　4.關(guān)系模型

　　關(guān)系模型由三部分組成:數(shù)據(jù)結(jié)構(gòu)(即關(guān)系)、關(guān)系操作、關(guān)系的完整性。下面將對這三個部分進行分別的討論。(1)單一的數(shù)據(jù)結(jié)構(gòu)———關(guān)系 在關(guān)系模型中，無論是實體還是實體之間的聯(lián)系均由單一的類型結(jié)構(gòu)—關(guān)系來表示。在前面，已給出了關(guān)系和域的數(shù)學定義，介紹了n元關(guān)系、元組和屬性等概念。下面介紹關(guān)鍵字、關(guān)系模式和關(guān)系數(shù)據(jù)庫等一些基本概念。關(guān)鍵字 關(guān)系中的某一組屬性，若其值可以唯一地標識一個元組，則稱該屬性組為一個候選關(guān)鍵字(Candidate Key)。若一個關(guān)系有多個候選關(guān)鍵字，則可以任選其中一個作為主關(guān)鍵字(Primary Key)。主關(guān)鍵字中的諸屬性被稱為主屬性。關(guān)系模式 關(guān)系的描述稱為關(guān)系模式。它包括:關(guān)系名、組成關(guān)系的諸屬性名、屬性到域的映象、屬性間的數(shù)據(jù)依賴關(guān)系等等。所以，關(guān)系模式由關(guān)系名、諸屬性名和屬性到域的映象三個部分組成，關(guān)系模式通常簡記為R(A 1 ，A 2 ，…，A n )，其中R是關(guān)系名，A 1 ，A 2 ，…，A n 為諸屬性名。屬性到域的映象一般通過指定屬性的類型和長度來說明。某個關(guān)系模式在某一時刻所具有的狀態(tài)是指關(guān)系的外延，即元組的集合。關(guān)系的外延內(nèi)容有時簡稱為關(guān)系。但關(guān)系模式和關(guān)系的內(nèi)容有時也統(tǒng)稱為關(guān)系。讀者可以從上下文中區(qū)別其確切的含義。形象地說，關(guān)系模式是關(guān)于表名和表頭的描述，而關(guān)系的內(nèi)容是表體。關(guān)系數(shù)據(jù)庫 在關(guān)系數(shù)據(jù)庫中，要分清型和值兩個基本概念。關(guān)系數(shù)據(jù)庫的型是指數(shù)據(jù)庫的結(jié)構(gòu)描述，它包括關(guān)系數(shù)據(jù)庫名、若干屬性的定義，以及這些屬性上的若干關(guān)系關(guān)系模式。亦稱為數(shù)據(jù)庫的內(nèi)涵(Intension)，數(shù)據(jù)庫的值亦稱為數(shù)據(jù)庫的外延。在關(guān)系數(shù)據(jù)庫中，內(nèi)涵是比較穩(wěn)定的，它規(guī)定了外延的取值范圍。而外延卻是隨時間變化的。這和在一般的形式邏輯中外延和內(nèi)涵一一對應有所區(qū)別。此處外延是指任意一個滿足內(nèi)涵的集合，而不一定恒指滿足內(nèi)涵的最大的一個集合。關(guān)系模式(即內(nèi)涵)是穩(wěn)定的;而關(guān)系的內(nèi)容，即外延，卻是隨時間動態(tài)的變化而變化的。數(shù)據(jù)庫的結(jié)構(gòu)(即模式)是穩(wěn)定的;而數(shù)據(jù)庫中的數(shù)據(jù)內(nèi)容卻在不斷地更新。