部分 基礎理論 第1章 數據庫系統概論 1.1 數據系統中基本概念 1.2 數據管理技術及發展 1.2.1 人工管理階段 1.2.2 文件系統階段 1.2.3 數據庫系統階段 1.3 數據庫系統的結構 1.3.1 三級體系結構 1.3.2 三級體系結構的地位與關系 1.3.3 兩級映像以及其與數據獨立性之間的關系 1.4 數據庫系統的組成 1.5 數據模型 1.5.1 3個世界 1.5.2 3種數據模型 1.5.3 概念模型 1.5.4 邏輯模型 第2章 關系數據庫 2.1 關系數據結構及形式化定義 2.1.1 關系的形式化定義 2.1.2 關系的性質 2.2 關系操作 2.2.1 基本的關系操作 2.2.2 實現關系操作的語言 2.3 關系的完整性 2.3.1 實體完整性 2.3.2 參照完整性 2.3.3 用戶自定義完整性 2.3.4 觸發器 2.4 關系規范化理論 2.4.1 函數依賴 2.4.2 函數依賴和部分函數依賴 2.4.3 傳遞函數依賴 2.4.4 屬性集的閉包及其算法 2.4.5 侯選碼的求解算法 2.4.6 函數依賴集的等價、覆蓋和 小函數依賴集 2.4.7 小函數依賴集的求解算法 2.4.8 范式 第3章 數據庫設計 3.1 需求分析 3.2 概念結構設計 3.3 邏輯結構設計 3.3.1 E-R圖向關系模型的轉換 3.3.2 數據模型的優化 3.4 物理結構設計 3.5 數據庫實施 3.6 數據庫運行與維護 第4章 數據庫恢復技術 4.1 事務 4.1.1 事務的基本概念