關繫型數據庫是建立在關繫模型基礎上的數據庫
，借助於集合代數等數學概念和方法來處理數據庫中
的數據。關繫型數據庫的基礎—關繫理論被認為是
SQL的基礎。
達特所著的《你不可不知的關繫數據庫理論》為
我們講解了什麼纔是真正的關繫型數據庫，與當前的
數據庫產品相比，它的特點和優勢是什麼。《你不可
不知的關繫數據庫理論》分為3部分，共計14章。第
一部分是數據庫的基礎，講解了數據庫基本概念，關
繫和關繫變量，碼、外碼和相關概念，關繫運算符，
約束和斷言，關繫模型等內容；第二部分講解了事務
的相關概念，以及如何設計一個好的數據庫；第三部
分則講解了SQL相關的知識，其內容涵蓋了SQL基本表
，SQL操作符和運算符，SQL約束，SQL與關繫模型等
內容。本書最後的5個附錄涵蓋了Tutorial D語法、
TABLE_DUM和TABLE_DEE、集合論、關繫演算，以及
與關繫理論知識相關的資源。
《你不可不知的關繫數據庫理論》適合數據庫開
發、維護人員以及高校數據庫專業的師生閱讀。對於
想要真正理解什麼是關繫型繫統的讀者來說，本書也
是不錯的選擇。

**部分 基礎知識
第1章 數據庫基本概念
1.1 什麼是數據庫
1.2 什麼是數據庫管理繫統
1.2.1 數據依賴
1.2.2 DBMS的其他功能
1.3 什麼是關繫型DBMS
1.4 數據庫繫統與程序繫統
1.5 練習
1.6 答案
第2章 關繫和關繫變量
2.1 關繫
2.1.1 屬性
2.1.2 元組
2.1.3 關繫的特點
2.2 關繫變量
2.3 練習
2.4 答案
第3章 碼、外碼和相關概念
3.1 完整性約束
3.2 碼
3.3 外碼
3.4 關繫變量定義
3.5 導入數據庫
3.6 數據庫繫統和程序繫統對比
3.7 練習
3.8 答案
第4章 關繫運算符Ⅰ
4.1 Codd的原始代數
4.2 限制
4.3 投影
4.4 練習Ⅰ
4.5 答案Ⅰ
4.6 並、交、差
4.6.1 並
4.6.2 交
4.6.3 差
4.6.4 一些公式化的特性
4.7 改名
4.8 練習Ⅱ
4.9 答案Ⅱ
4.10 聯接
4.10.1 笛卡兒乘積
4.10.2 再論交運算
4.10.3 原始運算符
4.11 關繫比較
4.12 修改運算符的擴充
4.13 練習Ⅲ
4.14 答案Ⅲ
第5章 關繫運算符Ⅱ
5.1 匹配和非匹配
5.2 擴展
5.3 映像關繫
5.4 聚集和分類彙總
5.4.1 分類彙總
5.4.2 明確的分類彙總
5.4.3 廣義約束
5.5 練習
5.6 答案
第6章 約束和斷言
6.1 數據庫約束
6.2 關繫變量斷言
6.3 斷言與約束
6.4 練習
6.5 答案
第7章 關繫模型
7.1 關繫模型定義
7.2 類型
7.3 關繫類型產生器
7.4 關繫變量
7.5 關繫賦值
7.6 關繫運算符
7.6.1 安全性
7.6.2 視圖
7.7 結論
第二部分 事務和數據庫設計
第8章 事務
8.1 什麼是事務
8.2 恢復
8.2.1 恢復日志
8.2.2 ACID特性
8.3 並發性
8.4 鎖
8.5 SQL的討論
8.6 練習
8.7 答案
第9章 數據庫設計
9.1 無損分解
9.2 函數依賴
9.3 第二範式
9.4 第三範式
9.5 BC範式
9.6 結論
9.7 練習
9.8 答案
第三部分 SQL
**0章 SQL基本表
10.1 發展歷史
10.2 基本概念
10.3 表的特性
10.4 修改表
10.5 等值比較
10.6 定義表
10.7 SQL繫統與程序繫統
10.8 練習
10.9 答案
**1章 SQL操作符Ⅰ
11.1 限制
11.2 投影
11.3 並、交、差
11.4 *名
11.5 練習Ⅰ
11.6 答案Ⅰ
11.7 聯接
11.7.1 另一種格式
11.7.2 規範特性
11.7.3 笛卡兒乘積
11.8 基本表表達式的求值
11.9 表的比較
11.10 顯示結果
11.11 練習Ⅱ
11.12 答案Ⅱ
**2章 SQL運算符Ⅱ
12.1 MATCHING與NOT MATCHING
12.2 EXTEND
12.3 映像關繫
12.4 聚集和歸納
12.4.1 歸納
12.4.2 “通用的限制”
12.5 練習
12.6 答案
**3章 SQL約束
13.1 數據庫約束
13.2 類型約束
13.3 練習
13.4 答案
**4章 SQL與關繫模型
14.1 概述
14.2 SQL與關繫模型的不同點
14.3 練習
14.4 答案
附錄A Tutorial D語法
附錄B TABLE_DUM和TABLE_DEE
附錄C 集合論
附錄D 關繫演算
附錄E 進階閱讀指南