2關係數據庫

三指禪的我繼續敲鍵盤，想着等我的書來了，是不是就可以直接看書寫字學習了，迴歸考研時的青蟲歲月，哈哈。奮鬥吧，騷年！如果有不足，我可以通過我的學習改善。從一個二本學校放棄保研資格考到985院校的我的學習能力還是可以噠。

關係數據庫：

 

關係數據庫及形式化定義

關係數據庫系統是支持關係數據模型的數據庫系統。關係模型由關係數據結構、關係操作集合、關係完整性約束3部分組成。

關係模型的數據結構只包含單一的數據結構—關係。用戶看來，關係模型中數據的邏輯結構是一張二維表。

域是一組具有相同數據類型的值的集合。

若關係中的某一屬性組的值能唯一的標識一個元祖，則稱該屬性組爲候選碼。

候選碼的諸屬性稱爲主屬性。不包含在任何候選碼中的屬性稱爲非主屬性或非碼屬性。

若一個關係有多個候選碼，則選定其中一個爲主碼。

設F是基本關係R的一個或一組屬性，但不是關係R的碼。K_r是基本關係S的主碼。如果F與K_r相對應，則稱F是R的外碼。並稱基本關係R爲參照關係，基本關係S爲被參照關係或目標關係。注：關係R和S不一定是不同的關係。外碼並不一定要與相應的主碼同名。

在一個給定的應用領域中，所有實體及實體之間聯繫的關係的集合構成一個關係數據庫。關係數據庫的型也稱爲關係數據庫模式，是對關係數據庫的描述。

 

關係操作

查詢時關係操作中最主要的部分。關係操作的特點是集合操作方式，即操作的對象和結果都是集合，這種操作方式稱爲一次-集合的方式，非關係數據模型的數據操作方式則爲一次-記錄的方式。

 

關係的完整性

關係模型的完整性規則是對關係的某種約束條件，包括實體完整性、參照完整性、用戶定義的完整性。

實體完整性規則：若屬性（指一個或一組屬性）A是基本關係R的主屬性，則A不能取空值。主屬性不能爲空。

參照完整性規則：若屬性（或屬性組）F是基本關係R的外碼，它與基本關係S的主碼K_r 相對應（基本關係R和S不一定是不同的關係），則對於R中每個元組在F上的值必須爲：或者取空值（F的每個屬性值均爲空置）；或者等於S中某個元組的主碼值。外碼要麼爲空，要麼能在目標關係中找到相應的值。

任何關係數據庫都應該支持實體完整性和參照完整性。

用戶定義的完整性：針對某一具體關係數據庫的約束條件。

 

關係代數

關係代數的運算對象是關係，運算結果也是關係。關係運算符用到的運算符包括四類：集合運算符、專門的關係運算符、算術比較符和邏輯運算符。傳統的集合運算有並、差、交、笛卡爾積；專門的關係運算有選擇、投影（關係R上的投影是從R中選擇出若干屬性列組成新的關係）、連接（等值連接、自然連接）、除運算。其中，並、差、笛卡爾積、選擇和投影5種運算爲基本的運算，其他3種（交、連接和除）均可以用這5種來表達。

 

關係演算

元組關係演算語言（ALPHA）、域關係演算語言（QBE）