Relational Model

關係模型的基本假定是所有數據都表示為數學上的關係，就是説n個集合的笛卡兒積的一個子集，有關這種數據的推理通過二值（就是説沒有NULL）的謂詞邏輯來進行，這意味着對每個命題都有兩種可能的賦值：要麼是真要麼是假。數據通過關係演算和關係代數的一種方式來操作。關係模型是採用二維表格結構表達實體類型及實體間聯繫的數據模型.

關係模型允許設計者通過數據庫規範化的提煉，去建立一個信息的一致性的模型。訪問計劃和其他實現與操作細節由DBMS引擎來處理，而不應該反映在邏輯模型中。這與SQL DBMS普遍的實踐是對立的，在它們那裏性能調整經常需要改變邏輯模型。

基本的關係建造塊是域或者叫數據類型。元組是屬性的有序多重集（multiset），屬性是域和值的有序對。關係變量（relvar）是域和名字的有序對（序偶）的集合，它充當關係的表頭（header）。關係是元組的集合。儘管這些關係概念是數學上的定義的，它們可以寬鬆的映射到傳統數據庫概念上。表是關係的公認的可視表示；元組類似於行的概念。

關係模型的基本原理是信息原理：所有信息都表示為關係中的數據值。所以，關係變量在設計時刻是相互無關聯的；反而，設計者在多個關係變量中使用相同的域，如果一個屬性依賴於另一個屬性，則通過參照完整性來強制這種依賴性。