摘要:下面是由希賽小編整理的中級通信互聯網技術知識點精講之關系數據結構及形式化定義,希望能幫助學友們。具體內容如下
下面是由希賽小編整理的中級通信互聯網技術知識點精講之關系數據結構及形式化定義,希望能幫助學友們。具體內容如下:
關系數據結構及形式化定義
在關系模型中,無論是實體還是實體之間的聯系均由單一的結構類型即關系(表)來表示。前面己經非形式化地介紹了關系模型及有關的基本概念。關系模型是建立在集合代數的基礎上的,這里從集合論角度給出關系數據結構的形式化定義。
1.關系
(1)域(Domain)
定義8.1域是一組具有相同數據類型的值的集合。
例如,自然數、整數、實數、長度小于25字節(jié)的字符串集合、{0,1}、大于等于0且小于等于100的正整數等,都可以是域。
(2)笛卡爾積(CartesianProduct)
其中,(張三,計算機專業(yè),李四)、(張三,計算機專業(yè),錢六)等都是元組。張三、計算機專業(yè)、李四、錢六等都是分量。
關系是笛卡爾積的有限子集,所以關系也是一個二維表,表的每行對應一個元組,表的每列對應一個域。由于域可以相同,為了加以區(qū)分,必須對每列起一個名字,稱為屬性(Attribute),n目關系必有個屬性。
若關系中的某一屬性組的值能地標識一個元組,則稱該屬性組為候選碼(Candidatekey)。
若一個關系有多個候選碼,則選定其中一個為主碼(Primarykey>。主碼的諸屬性稱為主屬性(Primeattribute).不包含在任何侯選碼中的屬性稱為非碼屬性(Non-keyattribute)。在最簡單的情況下,候選碼只包含一個屬性。在最極端的情況下,關系模式的所有屬性組是這個關系模式的候選碼,稱為全碼(All-key)。
例如,可以在表8.1的笛卡爾積中取出一個子集來構造一個關系。由于一個研究生只師從于一個導師,學習某一個專業(yè),所以笛卡爾積中的許多元組是無實際意義的,從中取出有實際意義的元組來構造關系。該關系的名字為SAP,屬性名就取域名,即SUPERVISOR,SPECIALITY和POSTGRADUATE。則這個關系表示為SAP(SUPERVISOR,SPECIALITY,POSTGRADUATE)
假設導師與專業(yè)是一對一的,即一個導師只有一個專業(yè);導師與研究生是一對多的,即-個導師可以帶多名研究生,而一名研究生只有一個導師.這樣SAP關系可以包含3個元組,如表8-2所示。
關系可以有3種類型:基本關系(通常又稱為基本表或基表)、査詢表和視圖表?;颈硎菍嶋H存在的表,它是實際存儲數據的邏輯表示.査詢表是査詢結果對應的表。視圖表是由基本表或其他視圖表導出的表,是虛表,不對應實際存儲的數據。
相關推薦:
通信工程師備考資料免費領取
去領取