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

第1章 數(shù)據(jù)庫概論
1.1 數(shù)據(jù)管理及其發(fā)展過程
1.1.1 數(shù)據(jù)管理
1.1.2 人工管理階段
1.1.3 文件系統(tǒng)階段
1.1.4 數(shù)據(jù)庫系統(tǒng)階段吸其發(fā)展過程
1.1.5 高級數(shù)據(jù)庫階段
1.2 數(shù)據(jù)庫系統(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ù)庫管理系統(tǒng)
1.5.1 數(shù)據(jù)庫管理系統(tǒng)的基本功能
1.5.2 數(shù)據(jù)庫的三層模式結(jié)構(gòu)
1.5.3 模式說明實(shí)例
1.5.4 數(shù)據(jù)庫管理系統(tǒng)的基本框架
1.6 數(shù)據(jù)庫系統(tǒng)
1.6.1 數(shù)據(jù)庫系統(tǒng)的組成
1.6.2 數(shù)據(jù)庫管理和數(shù)據(jù)庫管理員
1.6.3 數(shù)據(jù)庫應(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ù)庫設(shè)計(jì)
1.8.1 概述
1.8.2 數(shù)據(jù)庫設(shè)計(jì)的一般步驟
1.9 數(shù)據(jù)庫技術(shù)的研究和應(yīng)用領(lǐng)域
本章小結(jié)
習(xí)題與思考題
第2章 關(guān)系數(shù)據(jù)庫基礎(chǔ)
2.1 關(guān)系數(shù)據(jù)庫系統(tǒng)概述
2.1.1 關(guān)系數(shù)據(jù)庫的發(fā)展
2.1.2 SQL Server簡介
2.1.3 關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言SQL簡介
2.1.4 SQL Server的Transact-SQL介紹
2.1.5 關(guān)系數(shù)據(jù)庫的三層模式結(jié)構(gòu)
2.1.6 SQL Server的數(shù)據(jù)庫存儲(chǔ)結(jié)構(gòu)
2.1.7 建立數(shù)據(jù)庫
2.1.8 SQL Server的安全管理簡介
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è)符號
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ù)語和符號
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ù)庫設(shè)計(jì)
4.1 概述
4.2 概念數(shù)據(jù)模型設(shè)計(jì)
4.2.1 實(shí)體—聯(lián)系方法
4.2.2 數(shù)據(jù)庫建模工具PowerDesigner簡介
4.2.3 使用PowerDesigner建立概念數(shù)據(jù)模型的基本方法
4.2.4 為什么需要討論聯(lián)系，
4.2.5 理解和轉(zhuǎn)換多對多聯(lián)系
4.2.6 PowerDesinger中的多對多聯(lián)系轉(zhuǎn)換為一對多聯(lián)系
4.2.7 連接陷阱
4.3 概念數(shù)據(jù)模型設(shè)計(jì)實(shí)例
4.3.1 問題描述
4.3.2 庫存業(yè)務(wù)局部概念模型
4.3.3 訂購業(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ù)庫設(shè)計(jì)
本章小結(jié)
習(xí)題與思考題
實(shí)驗(yàn)1 數(shù)據(jù)庫設(shè)計(jì)
第5章 數(shù)據(jù)定義與完整性約束的實(shí)現(xiàn)
5.1 SQL的表定義和完整性定義功能
……
第6章 使用SQL進(jìn)行查詢
第7章 數(shù)據(jù)庫編程基礎(chǔ)
第8章 數(shù)據(jù)庫安全
第9章 事務(wù)管理與并發(fā)控制
第10章 數(shù)據(jù)庫存儲(chǔ)管理與數(shù)據(jù)恢復(fù)
第11章 分布式數(shù)據(jù)庫與分布數(shù)據(jù)處理
第12章 數(shù)據(jù)倉庫與分析服務(wù)
第13章 面向?qū)ο髷?shù)據(jù)庫
第14章 數(shù)據(jù)庫更廣泛的應(yīng)用和研究領(lǐng)域
參考文獻(xiàn)