關係模型由關係資料結構、關係操作集合和關係完整性約束三部分組成。

1. 域
   定義：域是一組具有相同資料型別的值的集合。

2. 笛卡爾積
   笛卡爾積是域上的一種集合運算。

一個域允許的不同取值個數稱為這個域的基數。

3. 關係

D1XD2X...XDn 的子集叫做在域D1XD2X...XDn 上的關係，表示為：
            R(D1, D2, ..., Dn)
這裡R表示關係的名字，n是關係的目和度。
關係中的每個元素是關係中的元組，通常用 t 表示
    當t = 1時，稱該關係為單元關係，或一元關係。
    當t = 2時，稱該關係為二元關係。

若關係中的某一屬性組的值能唯一地標識一個元組，而其子集不能，則稱該屬性組為候選碼（Condidate key）

若一個關係有多個候選碼，則選定其中一個為主碼（Primary key）
候選碼的諸屬性稱為主屬性。不包含在候選碼中的屬性稱為非主屬性，或非碼屬性。

關係可以有三種類型：基本關係，查詢表和視圖表。

關係是關係模式在某一時刻的狀態或內容。關係模式是靜態的、穩定的，而關係是動態的，隨時間的變化而變化，因為關係操作在不斷地更新著資料庫中的資料。

關係資料庫

關係資料庫的型也稱為關係資料庫模式，是對關係資料庫的描述。 關係資料庫的值是這些關係模式在某一時刻對應的關係的集合，通常稱為關係資料庫。