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

第1章 引言
1.1 數(shù)據(jù)庫(kù)的應(yīng)用實(shí)例
1.1.1 從超市購(gòu)物
1.1.2 從圖書(shū)館借書(shū)
1.1.3 學(xué)生網(wǎng)上選課
1.1.4 航空訂票系統(tǒng)
1.2 數(shù)據(jù)庫(kù)的基本概念
1.2.1 數(shù)據(jù)
1.2.2 信息
1.2.3 數(shù)據(jù)庫(kù)
1.2.4 數(shù)據(jù)庫(kù)管理系統(tǒng)
1.2.5 數(shù)據(jù)庫(kù)系統(tǒng)
1.2.6 數(shù)據(jù)庫(kù)管理員
1.2.7 數(shù)據(jù)模型
1.2.8 數(shù)據(jù)模式
1.2.9 空值問(wèn)題
1.3 應(yīng)用軟件系統(tǒng)的體系結(jié)構(gòu)
1.4 數(shù)據(jù)庫(kù)與信息系統(tǒng)
1.5 數(shù)據(jù)庫(kù)設(shè)計(jì)的任務(wù)與步驟
1.6 數(shù)據(jù)庫(kù)設(shè)計(jì)人員
本章習(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 實(shí)體-聯(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ù)庫(kù)的設(shè)計(jì)理論
3.1 關(guān)系模式設(shè)計(jì)中一些語(yǔ)義問(wèn)題
3.2 函數(shù)依賴(lài)
3.2.1 函數(shù)依賴(lài)的定義
3.2.2 函數(shù)依賴(lài)集的閉包
3.2.3 屬性集的閉包
3.2.4 最小函數(shù)依賴(lài)
3.3 多值依賴(lài)
3.4 連接依賴(lài)
3.5 關(guān)系模式的分解
3.6 無(wú)損分解的驗(yàn)證
3.7 保持依賴(lài)的驗(yàn)證
3.8 關(guān)系模式的規(guī)范化
3.8.1 第一范式
3.8.2 第二范式
3.8.3 第三范式
3.8.4 BC范式
3.8.5 無(wú)損連接和保持函數(shù)依賴(lài)分解成3NF模式集成的算法
3.8.6 無(wú)損分解成BCNF模式的算法
3.8.7 第四范式
本章習(xí)題
第4章 數(shù)據(jù)庫(kù)設(shè)計(jì)的需求分析
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ù)庫(kù)的概念設(shè)計(jì)
第6章 數(shù)據(jù)庫(kù)的邏輯設(shè)計(jì)
第7章 數(shù)據(jù)庫(kù)的物理設(shè)計(jì)
第8章 數(shù)據(jù)庫(kù)的實(shí)現(xiàn)、運(yùn)行與維護(hù)
第9章 數(shù)據(jù)庫(kù)應(yīng)用示例
附錄 各章習(xí)題解答
參考文獻(xiàn)