數(shù)據(jù)庫(kù)系統(tǒng)及應(yīng)用（第3版）

第1章 數(shù)據(jù)庫(kù)概論
1.1 數(shù)據(jù)管理及其發(fā)展過程
1.1.1 數(shù)據(jù)管理
1.1.2 人工管理階段
1.1.3 文件系統(tǒng)階段
1.1.4 數(shù)據(jù)庫(kù)系統(tǒng)階段吸其發(fā)展過程
1.1.5 高級(jí)數(shù)據(jù)庫(kù)階段
1.2 數(shù)據(jù)庫(kù)系統(tǒng)的特點(diǎn)
1.3 數(shù)據(jù)模型初步
1.3.1 概念數(shù)據(jù)模型
1.3.2 傳統(tǒng)的三大數(shù)據(jù)模型
1.4 數(shù)據(jù)獨(dú)立性與三層結(jié)構(gòu)
1.4.1 存儲(chǔ)數(shù)據(jù)獨(dú)立性
1.4.2 概念數(shù)據(jù)獨(dú)立性
1.5 三層模式結(jié)構(gòu)和數(shù)據(jù)庫(kù)管理系統(tǒng)
1.5.1 數(shù)據(jù)庫(kù)管理系統(tǒng)的基本功能
1.5.2 數(shù)據(jù)庫(kù)的三層模式結(jié)構(gòu)
1.5.3 模式說明實(shí)例
1.5.4 數(shù)據(jù)庫(kù)管理系統(tǒng)的基本框架
1.6 數(shù)據(jù)庫(kù)系統(tǒng)
1.6.1 數(shù)據(jù)庫(kù)系統(tǒng)的組成
1.6.2 數(shù)據(jù)庫(kù)管理和數(shù)據(jù)庫(kù)管理員
1.6.3 數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)的體系結(jié)構(gòu)
1.7 事務(wù)
1.7.1 事務(wù)的概念
1.7.2 事務(wù)的性質(zhì)
1.7.3 事務(wù)管理的基本命令
1.8 數(shù)據(jù)庫(kù)設(shè)計(jì)
1.8.1 概述
1.8.2 數(shù)據(jù)庫(kù)設(shè)計(jì)的一般步驟
1.9 數(shù)據(jù)庫(kù)技術(shù)的研究和應(yīng)用領(lǐng)域
本章小結(jié)
習(xí)題與思考題
第2章 關(guān)系數(shù)據(jù)庫(kù)基礎(chǔ)
2.1 關(guān)系數(shù)據(jù)庫(kù)系統(tǒng)概述
2.1.1 關(guān)系數(shù)據(jù)庫(kù)的發(fā)展
2.1.2 SQL Server簡(jiǎn)介
2.1.3 關(guān)系數(shù)據(jù)庫(kù)標(biāo)準(zhǔn)語言SQL簡(jiǎn)介
2.1.4 SQL Server的Transact-SQL介紹
2.1.5 關(guān)系數(shù)據(jù)庫(kù)的三層模式結(jié)構(gòu)
2.1.6 SQL Server的數(shù)據(jù)庫(kù)存儲(chǔ)結(jié)構(gòu)
2.1.7 建立數(shù)據(jù)庫(kù)
2.1.8 SQL Server的安全管理簡(jiǎn)介
2.1.9 SQL標(biāo)準(zhǔn)中的架構(gòu)
2.2 關(guān)系數(shù)據(jù)模型
2.2.1 關(guān)系數(shù)據(jù)模型的三個(gè)要素
2.2.2 關(guān)系的形式定義
2.2.3 關(guān)系的基本性質(zhì)
2.2.4 關(guān)系模型的數(shù)據(jù)結(jié)構(gòu)和基本術(shù)語
2.3 關(guān)系模型的完整性約束
2.3.1 實(shí)體完整性約束
2.3.2 參照完整性約束
2.3.3 用戶定義完整性約束
2.3.4 完整性約束的作用
2.4 關(guān)系代數(shù)
2.4.1 基本概念和幾個(gè)符號(hào)
2.4.2 傳統(tǒng)的集合運(yùn)算
2.4.3 專門的關(guān)系運(yùn)算
2.4.4 基本運(yùn)算及變換
本章小結(jié)
習(xí)題與思考題
第3章 關(guān)系數(shù)據(jù)理論
3.1 基本概念
3.1.1 函數(shù)依賴
3.1.2 術(shù)語和符號(hào)
3.1.3 為什么要討論函數(shù)依賴
3.1.4 模式分解
3.2 函數(shù)依賴的推理規(guī)則
3.2.1 函數(shù)依賴的推理規(guī)則及正確性
3.2.2 Amstrong公理的推論及正確性
3.2.3 邏輯蘊(yùn)涵和閉包
3.2.4 公理的完備性
3.2.5 閉包的計(jì)算
3.2.6 函數(shù)依賴集的等價(jià)和最小化
3.3 規(guī)范化
3.3.1 第一范式（1NF）
3.3.2 第二范式（2NF）
3.3.3 第三范式（3NF）
3.3.4 BC范式（BCNF）
3.3.5 多值依賴與第四范式（4NF）
3.3.6 規(guī)范化小結(jié)
3.4 模式分解
3.4.1 模式分解的準(zhǔn)則
3.4.2 3NF無損連接和保持函數(shù)依賴算法
3.4.3 使分解后的關(guān)系模式數(shù)最少
本章小結(jié)
習(xí)題與思考題
第4章 數(shù)據(jù)庫(kù)設(shè)計(jì)
4.1 概述
4.2 概念數(shù)據(jù)模型設(shè)計(jì)
4.2.1 實(shí)體—聯(lián)系方法
4.2.2 數(shù)據(jù)庫(kù)建模工具PowerDesigner簡(jiǎn)介
4.2.3 使用PowerDesigner建立概念數(shù)據(jù)模型的基本方法
4.2.4 為什么需要討論聯(lián)系，
4.2.5 理解和轉(zhuǎn)換多對(duì)多聯(lián)系
4.2.6 PowerDesinger中的多對(duì)多聯(lián)系轉(zhuǎn)換為一對(duì)多聯(lián)系
4.2.7 連接陷阱
4.3 概念數(shù)據(jù)模型設(shè)計(jì)實(shí)例
4.3.1 問題描述
4.3.2 庫(kù)存業(yè)務(wù)局部概念模型
4.3.3 訂購(gòu)業(yè)務(wù)局部概念模型
4.3.4 將局部E-R模型合并為全局E-R模型
4.4 邏輯數(shù)據(jù)模型設(shè)計(jì)
4.4.1 邏輯數(shù)據(jù)模型設(shè)計(jì)的主要內(nèi)容
4.4.2 把E-R模型轉(zhuǎn)換為關(guān)系數(shù)據(jù)模型
4.4.3 規(guī)范化理論的應(yīng)用
4.4.4 設(shè)計(jì)視圖
4.5 物理數(shù)據(jù)模型設(shè)計(jì)
4.5.1 由邏輯數(shù)據(jù)模型生成物理數(shù)據(jù)模型
4.5.2 物理數(shù)據(jù)庫(kù)設(shè)計(jì)
本章小結(jié)
習(xí)題與思考題
實(shí)驗(yàn)1 數(shù)據(jù)庫(kù)設(shè)計(jì)
第5章 數(shù)據(jù)定義與完整性約束的實(shí)現(xiàn)
5.1 SQL的表定義和完整性定義功能
……
第6章 使用SQL進(jìn)行查詢
第7章 數(shù)據(jù)庫(kù)編程基礎(chǔ)
第8章 數(shù)據(jù)庫(kù)安全
第9章 事務(wù)管理與并發(fā)控制
第10章 數(shù)據(jù)庫(kù)存儲(chǔ)管理與數(shù)據(jù)恢復(fù)
第11章 分布式數(shù)據(jù)庫(kù)與分布數(shù)據(jù)處理
第12章 數(shù)據(jù)倉(cāng)庫(kù)與分析服務(wù)
第13章 面向?qū)ο髷?shù)據(jù)庫(kù)
第14章 數(shù)據(jù)庫(kù)更廣泛的應(yīng)用和研究領(lǐng)域
參考文獻(xiàn)