數(shù)據(jù)庫設(shè)計與應(yīng)用

第1章 引言
1.1 數(shù)據(jù)庫的應(yīng)用實例
1.1.1 從超市購物
1.1.2 從圖書館借書
1.1.3 學(xué)生網(wǎng)上選課
1.1.4 航空訂票系統(tǒng)
1.2 數(shù)據(jù)庫的基本概念
1.2.1 數(shù)據(jù)
1.2.2 信息
1.2.3 數(shù)據(jù)庫
1.2.4 數(shù)據(jù)庫管理系統(tǒng)
1.2.5 數(shù)據(jù)庫系統(tǒng)
1.2.6 數(shù)據(jù)庫管理員
1.2.7 數(shù)據(jù)模型
1.2.8 數(shù)據(jù)模式
1.2.9 空值問題
1.3 應(yīng)用軟件系統(tǒng)的體系結(jié)構(gòu)
1.4 數(shù)據(jù)庫與信息系統(tǒng)
1.5 數(shù)據(jù)庫設(shè)計的任務(wù)與步驟
1.6 數(shù)據(jù)庫設(shè)計人員
本章習(xí)題
第2章 數(shù)據(jù)模型
2.1 層次數(shù)據(jù)模型
2.2 網(wǎng)狀數(shù)據(jù)模型
2.3 關(guān)系數(shù)據(jù)模型
2.3.1 關(guān)系
2.3.2 關(guān)系的關(guān)鍵
2.3.3 關(guān)系的主屬性和非主屬性
2.3.4 關(guān)系的完整性約束
2.4 實體-聯(lián)系數(shù)據(jù)模型
2.4.1 基本E-R數(shù)據(jù)模型
2.4.2 擴(kuò)充E-R數(shù)據(jù)模型
2.5 UML E-R數(shù)據(jù)模型
2.5.1 基本UML E-R數(shù)據(jù)模型
2.5.2 擴(kuò)充UML E-R數(shù)據(jù)模型
本章習(xí)題
第3章 關(guān)系數(shù)據(jù)庫的設(shè)計理論
3.1 關(guān)系模式設(shè)計中一些語義問題
3.2 函數(shù)依賴
3.2.1 函數(shù)依賴的定義
3.2.2 函數(shù)依賴集的閉包
3.2.3 屬性集的閉包
3.2.4 最小函數(shù)依賴
3.3 多值依賴
3.4 連接依賴
3.5 關(guān)系模式的分解
3.6 無損分解的驗證
3.7 保持依賴的驗證
3.8 關(guān)系模式的規(guī)范化
3.8.1 第一范式
3.8.2 第二范式
3.8.3 第三范式
3.8.4 BC范式
3.8.5 無損連接和保持函數(shù)依賴分解成3NF模式集成的算法
3.8.6 無損分解成BCNF模式的算法
3.8.7 第四范式
本章習(xí)題
第4章 數(shù)據(jù)庫設(shè)計的需求分析
4.1 業(yè)務(wù)需求的確定
4.1.1 業(yè)務(wù)的流程
4.1.2 組成業(yè)務(wù)的處理
4.1.3 數(shù)據(jù)的處理
4.1.4 業(yè)務(wù)規(guī)則
4.2 數(shù)據(jù)需求的確定
4.3 處理需求的確定
4.4 數(shù)據(jù)的收集和分析
……
第5章 數(shù)據(jù)庫的概念設(shè)計
第6章 數(shù)據(jù)庫的邏輯設(shè)計
第7章 數(shù)據(jù)庫的物理設(shè)計
第8章 數(shù)據(jù)庫的實現(xiàn)、運行與維護(hù)
第9章 數(shù)據(jù)庫應(yīng)用示例
附錄 各章習(xí)題解答
參考文獻(xiàn)