域
笛卡爾積
數學關係式就不說了，簡單來說就是所有域的所有取值的乙個集合（不能重複）
例：d1=，d2=，d3=
笛卡爾積：d1xd2xd3=，等等12種組合
關係
候選碼：若關係中的某一屬性組你能惟一的標識乙個元組，則稱該屬性組為候選碼。在最簡單情況下，候選碼只包含乙個屬性
全碼：在最極端的情況下關係模式的所有屬性組是這個關係模式的候選碼，稱為全碼
主碼：若乙個關係有多個候選碼，則選定其中乙個為主碼。主碼的諸屬性稱為主屬性，不包含在任何候選碼中的屬性稱為非碼屬性
基本關係（基本表或基表）：實際存在的表，是實際儲存的邏輯表示
查詢表：查詢結果對應的表
檢視表：由基本表或其他檢視表匯出的表，是虛表，不對應實際儲存資料
列是同質的：每乙個列中的分量是同一型別的資料，來自同乙個域
不同的列可出自同乙個域：其中每一列稱為乙個屬性，不同的屬性要給予不同的屬性名
列的順序無所謂：列的次序可以任意交換
任意兩個元組不能完全相同：由笛卡爾積的性質決定，但是許多關聯式資料庫產品沒有遵循這一性質，如oracle
行的順序無所謂
分量必須取原子值：每乙個分量都必須是不可分的資料項，這是規範條件中最基本的一條
什麼是關係模式
關係模式是對關係的描述
定義關係模式
關係模式可以形象化的表示為：r(u,d,dom,f)
r:關係名
u：組成該關係的屬性名集合
d：屬性組u中屬性所來自的域
dom：屬性向域的映像集合
f:屬性間的資料依賴關係集合
關係模式通常可以簡記為r(a1,a2,…,an)
r：關係名
a1,a2：屬性名
【注】：網域名稱及屬性向域的映像常常直接說明為屬性的型別，長度
關聯式資料庫
在乙個給定的應用領域中，所有實體及實體之間聯絡的關係的集合構成乙個關聯式資料庫
關聯式資料庫的型與值
關係的三類完整性約束
常用的關係操作
關係操作的特點
關係資料語言的種類
關係資料語言的特點
關係模式與關係
實體完整性
若屬性a是基本關係r的主屬性，則屬性a 不能取空值
參照完整性
使用者定義的完整性
是針對某一具體關聯式資料庫的約束條件，反映某一具體應用所涉及的資料必須滿足的語義要求
關係代數：一種抽象的查詢語言，用對關係的運算來表達查詢
關係代數運算的三要素：
運算物件：關係；
運算結果：關係；
運算子：四類
集合運算子：將關係看成元組的集合，運算是從關係的「水平」方向即行的角度來進行。
包括並，差，交，廣義笛卡爾積
專門的關係運算子：不僅涉及行而且涉及列。
包括選擇，投影，連線，除
算數比較符：輔助專門的關係運算子進行操作
邏輯運算子：輔助專門的關係運算子進行操作
第二章 關聯式資料庫
一 關係資料結構及形式化定義 1.域 定義 域是一組具有相同資料型別的值的集合。例 整數 實數介於某個取值範圍的整數 指定長度的字串集合 2.笛卡爾積 定義 給定一組域d1，d2，dn，允許其中某些域是相同的。d1，d2，dn的笛卡爾積為 d1 d2 dn d1，d2，dn di di，i 1，2，...
第二章 關聯式資料庫
2.2 關係操作 2.3 資料完整性約束 2.4 關係代數 一 域 domain 二 笛卡爾積 cartesian product 三 關係 relation t 關係中的每個元素是關係中的元組，通常用t表示 關係的表示 關係是笛卡積的子集，所以關係也是乙個二維表，表每行對應乙個元組，表的每列對應乙...
第二章 關聯式資料庫（一）
一，基本定義 1.域 一組具有相同資料型別的值的集合。2.關係 d1d2 dn的子集叫做在域d1,d2 dn上的關係，表示為r d1,d2 dn r 關係名 n 關係的目或度。3.元組 關係中的每個元組 d1,d2 dn 叫做乙個n元組 行 通常用t表示。4.屬性 關係中不同列稱為屬性，每個屬性有乙...