數(shù)據(jù)庫系統(tǒ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)的特點
1.3 數(shù)據(jù)模型初步
1.3.1 概念數(shù)據(jù)模型
1.3.2 傳統(tǒng)的三大數(shù)據(jù)模型
1.4 數(shù)據(jù)獨立性與三層結(jié)構(gòu)
1.4.1 存儲數(shù)據(jù)獨立性
1.4.2 概念數(shù)據(jù)獨立性
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 模式說明實例
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ù)庫應用系統(tǒng)的體系結(jié)構(gòu)
1.7 事務
1.7.1 事務的概念
1.7.2 事務的性質(zhì)
1.7.3 事務管理的基本命令
1.8 數(shù)據(jù)庫設計
1.8.1 概述
1.8.2 數(shù)據(jù)庫設計的一般步驟
1.9 數(shù)據(jù)庫技術(shù)的研究和應用領域
本章小結(jié)
習題與思考題
第2章 關系數(shù)據(jù)庫基礎
2.1 關系數(shù)據(jù)庫系統(tǒng)概述
2.1.1 關系數(shù)據(jù)庫的發(fā)展
2.1.2 SQL Server簡介
2.1.3 關系數(shù)據(jù)庫標準語言SQL簡介
2.1.4 SQL Server的Transact-SQL介紹
2.1.5 關系數(shù)據(jù)庫的三層模式結(jié)構(gòu)
2.1.6 SQL Server的數(shù)據(jù)庫存儲結(jié)構(gòu)
2.1.7 建立數(shù)據(jù)庫
2.1.8 SQL Server的安全管理簡介
2.1.9 SQL標準中的架構(gòu)
2.2 關系數(shù)據(jù)模型
2.2.1 關系數(shù)據(jù)模型的三個要素
2.2.2 關系的形式定義
2.2.3 關系的基本性質(zhì)
2.2.4 關系模型的數(shù)據(jù)結(jié)構(gòu)和基本術(shù)語
2.3 關系模型的完整性約束
2.3.1 實體完整性約束
2.3.2 參照完整性約束
2.3.3 用戶定義完整性約束
2.3.4 完整性約束的作用
2.4 關系代數(shù)
2.4.1 基本概念和幾個符號
2.4.2 傳統(tǒng)的集合運算
2.4.3 專門的關系運算
2.4.4 基本運算及變換
本章小結(jié)
習題與思考題
第3章 關系數(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 邏輯蘊涵和閉包
3.2.4 公理的完備性
3.2.5 閉包的計算
3.2.6 函數(shù)依賴集的等價和最小化
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 模式分解的準則
3.4.2 3NF無損連接和保持函數(shù)依賴算法
3.4.3 使分解后的關系模式數(shù)最少
本章小結(jié)
習題與思考題
第4章 數(shù)據(jù)庫設計
4.1 概述
4.2 概念數(shù)據(jù)模型設計
4.2.1 實體—聯(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ù)模型設計實例
4.3.1 問題描述
4.3.2 庫存業(yè)務局部概念模型
4.3.3 訂購業(yè)務局部概念模型
4.3.4 將局部E-R模型合并為全局E-R模型
4.4 邏輯數(shù)據(jù)模型設計
4.4.1 邏輯數(shù)據(jù)模型設計的主要內(nèi)容
4.4.2 把E-R模型轉(zhuǎn)換為關系數(shù)據(jù)模型
4.4.3 規(guī)范化理論的應用
4.4.4 設計視圖
4.5 物理數(shù)據(jù)模型設計
4.5.1 由邏輯數(shù)據(jù)模型生成物理數(shù)據(jù)模型
4.5.2 物理數(shù)據(jù)庫設計
本章小結(jié)
習題與思考題
實驗1 數(shù)據(jù)庫設計
第5章 數(shù)據(jù)定義與完整性約束的實現(xiàn)
5.1 SQL的表定義和完整性定義功能
……
第6章 使用SQL進行查詢
第7章 數(shù)據(jù)庫編程基礎
第8章 數(shù)據(jù)庫安全
第9章 事務管理與并發(fā)控制
第10章 數(shù)據(jù)庫存儲管理與數(shù)據(jù)恢復
第11章 分布式數(shù)據(jù)庫與分布數(shù)據(jù)處理
第12章 數(shù)據(jù)倉庫與分析服務
第13章 面向?qū)ο髷?shù)據(jù)庫
第14章 數(shù)據(jù)庫更廣泛的應用和研究領域
參考文獻