作業原地址：作業
- 3.定義並理解下列術語，說明它們之間的聯繫與區別；
（1）域，笛卡爾積，關係，元組，屬性；
（2）主碼，候選碼，外碼；
（3）關係模式，關係，關係數據庫。
（1）
域：是一組具有相同數據類型的值的集合。
————例如：整數、實數等。
笛卡爾積：給定一組域D1，D2，…，Dn，允許其中某些域是相同的。
D1，D2，…，Dn的笛卡爾積爲：
D1×D2×…×Dn ＝ ｛（d1，d2，…，dn）｜di∈Di，i＝1，2，…，n｝
————注：笛卡爾積是所有域的所有取值的一個組合。不能重複。
關係：D1×D2×…×Dn的 子集 叫作在域D1，D2，…，Dn上的關係，表示爲
R（D1，D2，…，Dn） R：關係名，n：關係的目或度
關係是一個二維表。表的每行對應一個元組，表的每列對應一個屬性。
元組：笛卡爾積中每一個元素（d1，d2，…，dn）叫作一個n元組，簡稱元組。
屬性：即關係裏的一列。
（2）
主碼：若一個關係有多個候選碼，則選定其中一個爲主碼。
候選碼：若關係中的某一屬性組的值能唯一表示一個元組，則稱 該屬性組爲候選碼。
外碼：某個關係的主碼相應的屬性在另一個關係中出現，該主碼就是在另一個關係的外碼。
（3）
關係模式：關係的描述稱爲關係模式。它可以形式化的表現爲R（U,D,DOM,F）
關係：關係是關係模式在某一時刻的狀態或內容。
————關係模式是靜態的、穩定的，而關係是動態的、隨時間不斷變化的。
關係數據庫：在一個給定的應用領域中，所有關係的集合構成一個關係數據庫。
5.試述關係模型的完整規則。在參照完整性中，什麼情況下外碼屬性的值可以爲空值？
實體完整性規則：若屬性A（指一個或一組屬性）是基本關係R的主屬性，則A不能取空值。
參照完整性規則：若屬性（或屬性組）F是基本關係R的外碼，它與基本關係S的主碼Ks相對應，則對於R中每個元組在F上的值必須爲：
或者取空值（F的每個屬性值均爲空值）
或者等於S中某個元組的主碼值
【注】外碼要麼爲空，要麼源自於被參照關係的外碼。
6.
8.關係代數的基本運算都有哪些？如何用這些基本運算表示其他運算？
關係代數的基本運算包括傳統的集合運算和專門的關係運算。
傳統的集合運算：
∩，∪，-，×（笛卡爾積）
專門的關係運算：
選擇（σ），投影（Π），連接（⋈），除（÷）
以上
————2020.3.8