數據庫作業3：第二章課後題

3.（1）
域：一組具有相同數據類型的值的集合。就是一個數據類型的取值範圍。

笛卡爾積：不重複的所有域的所有取值的一個組合。就是多個集合每個元素逐一組合，去除重複項之後的集合。

關係：不重複的所有域的所有取值的一個組合。就是把至少兩個集合的元素逐一組合，去除重複項後的集合。

元組：笛卡爾積中每個元素叫作一個n元組，或簡稱元組。

屬性：實體所具有的某一特性。

(2）
主碼：若一個關係有多個候選碼，則選定一個爲主碼。

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

外碼：設F是基本關係關係R的一個或一組屬性，但不是關係R的碼。如果F與基本關係S的主碼Ks相對應，則稱稱F是R的外碼。即把別的基本關係的主碼F，作爲基本關係R的非碼屬性，稱F爲R的外碼。

（3）
關係模式：是對關係的描述，是靜態的、穩定的，即通過關係名（屬性1，屬性2，…，屬性n） 的格式用多個屬性對關係進行描述。

關係：單一的數據結構，即實體間的聯繫。一個關係對應通常說的一張表。是關係模型在某一時刻的狀態或內容，是動態的、不斷變化的。

關係數據庫：在一個給定的應用領域中，所有關係的集合構成一個關係數據庫。

5.關係模型的完整性規則：

1、實體完整性實體完整性要求每個表都有唯一標識符，每一個表中的主鍵字段不能爲空或者重複的值。

2、參照完整性參照完整性要求關係中不允許引用不存在的實體。設定相應的更新刪除插入規則來更新參考表。

3、用戶自定義完整性用戶自定義完整性是針對某一具體關係數據庫的約束條件，它反映某一具體應用所涉及的數據必須滿足的語義要求。也就是說：某個表你設置這一列爲null，not null，default，check等。包括：非空約束、唯一約束、檢查約束、主鍵約束 、外鍵約束。

若外鍵不是主屬性，則可以取空值。

(1)$\Pi_{SNO}(\sigma_{JNO='J1' }(SPJ))$

(2)$\Pi_{SNO}(\sigma_{JNO='J1' \cap PNO=′P1′​}(SPJ))$

(3)$\Pi_{SNO}(\sigma_{PNO=′P1′ }(SPJ\bowtie \sigma_{COLOR=′紅′​}(P)))$

(4)$\Pi_{SNO}(\sigma_{COLOR=′紅′​}(P)\bowtie (S-\sigma_{CITY='天津'}(S)))$

(5)$\Pi_{PNO,JNO}(SPJ)) \div\Pi_{PNO}(\sigma_{SNO='S1'}(SPJ))$

8、
基本運算：
（1）並： $R \cup S$
（2）差： $R−S$
（3）選擇： $\sigma_{sno = 1}(Student)$
（4）投影： $\Pi_{sno,cno}(Student)$
（5）笛卡爾積：$Student \times SC$

用基本運算表示
（1）交： $R \cap SR∩S=R−（R−S）$ 或 $R \cap S=S−（S−R)$
（2）除： $\Pi_{X}(R)- \Pi_{X}(\Pi_{X}(R) \times\Pi_{Y}(S)-R)$
（3）連接： $\sigma_{AθB}(R\times S)$
(θ爲比較運算符）