域是一組具有相同資料型別的值的集合。例: 整數 實數 介於某個取值範圍的整數 指定長度的字串集合 {‘男’，‘女’} ……………..

笛卡爾積 給定一組域D1，D2，…，Dn，允許其中某些域是相同的。     D1，D2，…，Dn的笛卡爾積為：     D1×D2×…×Dn ＝         ｛（d1，d2，…，dn）｜diDi，i＝1，2，…，n｝ 所有域的所有取值的一個組合 不能重複

碼 候選碼（Candidate key）     若關係中的某一屬性組的值能唯一地標識一個元組，則稱該屬性組為候選碼     簡單的情況：候選碼只包含一個屬性 全碼（All-key）     最極端的情況：關係模式的所有屬性組是這個關係模式的候選碼，稱為全碼（All-key）主碼 若一個關係有多個候選碼，則選定其中一個為主碼（Primary key） 主屬性 候選碼的諸屬性稱為主屬性（Prime attribute） 不包含在任何侯選碼中的屬性稱為非主屬性（Non-Prime attribute）或非碼屬性（Non-key attribute）

關係資料庫 在一個給定的應用領域中，所有關係的集合構成一個關係資料庫 關係資料庫的型與值 關係資料庫的型: 關係資料庫模式，是對關係資料庫的描述 關係資料庫的值: 關係模式在某一時刻對應的關係的集合，通常稱為關係資料庫

常用的關係操作 查詢操作：選擇、投影、連線、除、並、差、交、笛卡爾積 選擇、投影、並、差、笛卡爾基是5種基本操作 資料更新：插入、刪除、修改 關係操作的特點 集合操作方式：操作的物件和結果都是集合，一次一集合的方式

實體完整性和參照完整性 關係模型必須滿足的完整性約束條件稱為關係的兩個不變性，應該由關係系統自動支援 使用者定義的完整性 應用領域需要遵循的約束條件，體現了具體領域中的語義約束

外碼：設F是基本關係R的一個或一組屬性，但不是關係R的碼。如果F與基本關係S的主碼Ks相對應，則稱F是R的外碼 基本關係R稱為參照關係（Referencing  Relation） 基本關係S稱為被參照關係（Referenced Relation）     或目標關係（Target Relation）

參照完整性規則：若屬性（或屬性組）F是基本關係R的外碼它與基本關係S的主碼Ks相對應（基本關係R和S不一定是不同的關係），則對於R中每個元組在F上的值必須為： 或者取空值（F的每個屬性值均為空值） 或者等於S中某個元組的主碼值

使用者定義的完整性：針對某一具體關係資料庫的約束條件，反映某一具體應用所涉及的資料必須滿足的語義要求 關係模型應提供定義和檢驗這類完整性的機制，以便用統一的系統的方法處理它們，而不需由應用程式承擔這一功能。