數(shù)據(jù)庫(kù)系統(tǒng)原理（2007年版）

第1章 數(shù)據(jù)庫(kù)系統(tǒng)基本概念
1.1 數(shù)據(jù)管理技術(shù)的發(fā)展
1.1.1 人工管理階段
1.1.2 文件系統(tǒng)階段
1.1.3 數(shù)據(jù)庫(kù)階段
1.1.4 高級(jí)數(shù)據(jù)庫(kù)階段
1.2 數(shù)據(jù)描述
1.2.1 概念設(shè)計(jì)中的數(shù)據(jù)描述
1.2.2 邏輯設(shè)計(jì)中的數(shù)據(jù)描述
1.2.3 物理設(shè)計(jì)中的數(shù)據(jù)描述
1.2.4 數(shù)據(jù)聯(lián)系的描述
1.3 數(shù)據(jù)抽象的級(jí)別
1.3.1 數(shù)據(jù)抽象的過程
1.3.2 概念模型
1.3.3 邏輯模型
1.3.4 外部模型
1.3.5 內(nèi)部模型
1.3.6 三層模式和兩級(jí)映像
1.3.7 高度的數(shù)據(jù)獨(dú)立性
1.4 數(shù)據(jù)庫(kù)管理系統(tǒng)（DBMS）、
1.4.1 DBMS的工作模式
1.4.2 DBMS的主要功能
1.5 數(shù)據(jù)庫(kù)系統(tǒng)（DBS）
1.5.1 DBS的組成
1.5.2 DBS的全局結(jié)構(gòu)
1.5.3 DBS的效益
小結(jié)
習(xí)題1
第2章 數(shù)據(jù)庫(kù)設(shè)計(jì)和ER模型
2.1 數(shù)據(jù)庫(kù)系統(tǒng)生存期
2.1.l規(guī)劃階段
2.1.2 需求分析階段
2.1.3 概念設(shè)計(jì)階段
2.1.4 邏輯設(shè)計(jì)階段
2.1.5 物理設(shè)計(jì)階段
2.1.6 數(shù)據(jù)庫(kù)的實(shí)現(xiàn)
2.1.7 數(shù)據(jù)庫(kù)的運(yùn)行與維護(hù)
2.2 ER模型的基本概念
2.2.1 ER模型的基本元素
2.2.2 屬性的分類
2.2.3 聯(lián)系的設(shè)計(jì)
2.2.4 ER模型的操作
2.2.5 采用ER模型的數(shù)據(jù)庫(kù)概念設(shè)計(jì)步驟
2.3 關(guān)系模型的基本概念
2.3.1 關(guān)系模型的基本術(shù)語(yǔ)
2.3.2 關(guān)系的定義和性質(zhì)
2.3.3 三類完整性規(guī)則
2.4 ER模型到關(guān)系模型的轉(zhuǎn)換
2.4.1 ER圖轉(zhuǎn)換成關(guān)系模式集的算法
2.4.2 采用ER模型的邏輯設(shè)計(jì)步驟
2.5 ER模型實(shí)例分析
2.5.1 庫(kù)存管理信息系統(tǒng)的ER模型及轉(zhuǎn)換
2.5.2 人事管理信息系統(tǒng)的ER模型
2.5.3 住院管理信息系統(tǒng)的ER模型
2.5.4 公司車隊(duì)信息系統(tǒng)的ER模型
2.6 增強(qiáng)的ER模型
2.6.1 弱實(shí)體與強(qiáng)實(shí)體
2.6.2 子類實(shí)體與超類實(shí)體
小結(jié)
習(xí)題2
第3章 關(guān)系模式設(shè)計(jì)理論
3.1 關(guān)系模式的設(shè)計(jì)準(zhǔn)則
3.1.1 關(guān)系模式的冗余和異常問題
3.1.2 關(guān)系模式的非形式化設(shè)計(jì)準(zhǔn)則
3.2 函數(shù)依賴
3.2.1 函數(shù)依賴的定義
3.2.2 FD的邏輯蘊(yùn)涵
3.2.3 FD的推理規(guī)則
3.2.4 FD和關(guān)鍵碼的聯(lián)系
3.2.5 屬性集的閉包
3.2.6 FD集的最小依賴集
3.3 關(guān)系模式的分解特性
3.3.1 關(guān)系模式的分解
3.3.2 無損分解
3.3.3 模式分解的優(yōu)缺點(diǎn)
3.3.4 無損分解的測(cè)試方法
3.3.5 保持FD的分解
3.3.6 模式分解與模式等價(jià)問題
3.4 范式
3.4.1 第一范式（1NF）
3.4.2 第二范式（2NF）
3.4.3 第三范式（3NF）
3.4.4 BCNF
3.4.5 分解成BCNF模式集的分解算法
3.4.6 分解成3NF模式集的合成算法
3.4.7 模式設(shè)計(jì)方法小結(jié)
3.5 多值依賴和第四范式
3.5.1 多值依賴
3.5.2 關(guān)于FD和MVD的推理規(guī)則集
3.5.3 第四范式（4NF）
小結(jié)
習(xí)題3
第4章 關(guān)系運(yùn)算
4.1 關(guān)系代數(shù)
4.1.1 關(guān)系代數(shù)的五個(gè)基本操作
4.1.2 關(guān)系代數(shù)的四個(gè)組合操作
4.1.3 關(guān)系代數(shù)運(yùn)算的應(yīng)用實(shí)例
4.1.4 關(guān)系代數(shù)的兩個(gè)擴(kuò)充操作
4.2 關(guān)系演算
4.2.1 元組關(guān)系演算
4.2.2 域關(guān)系演算
4.2.3 關(guān)系運(yùn)算的安全約束和等價(jià)性
4.3 關(guān)系代數(shù)表達(dá)式的優(yōu)化
4.3.1 關(guān)系代數(shù)表達(dá)式的優(yōu)化問題
4.3.2 關(guān)系代數(shù)表達(dá)式的啟發(fā)式優(yōu)化算法
小結(jié)
習(xí)題4
第5章 SQL語(yǔ)言
5.1 SQL簡(jiǎn)介
5.1.1 SQL發(fā)展史
5.1.2 SQL數(shù)據(jù)庫(kù)的體系結(jié)構(gòu)
5.1.3 SQL的組成
5.1.4 SQL的特點(diǎn)
5.2 SQL的數(shù)據(jù)定義
5.2.1 SQL模式的創(chuàng)建和撤銷
5.2.2 SQL的基本數(shù)據(jù)類型
5.2.3 基本表的創(chuàng)建和撤銷
5.2.4 索引的創(chuàng)建和撤銷
5.3 SQL的數(shù)據(jù)查詢
5.3.1 SELECT查詢語(yǔ)句的基本結(jié)構(gòu)
5.3.2 SELECT語(yǔ)句完整的結(jié)構(gòu)
5.3.3 數(shù)據(jù)查詢中的限制和規(guī)定
5.3.4 條件表達(dá)式中的比較操作
5.3.5 嵌套查詢的改進(jìn)寫法
5.3.6 基本表的連接操作，
5.4.數(shù)據(jù)更新
5.4.1 數(shù)據(jù)插入
5.4.2 數(shù)據(jù)刪除
5.4.3 數(shù)據(jù)修改
5.5 視圖
5.5.1 視圖的創(chuàng)建和撤銷
5.5.2 對(duì)視圖的操作
5.6 嵌入式SQL
5.6.1 嵌入式SQL的實(shí)現(xiàn)方式
5.6.2 嵌入式SQL的使用規(guī)定
5.6.3 嵌入式SQL的使用技術(shù)
5.6.4 動(dòng)態(tài)SQL語(yǔ)句
5.7 存儲(chǔ)過程與SQUPSM
5.7.1 數(shù)據(jù)庫(kù)存儲(chǔ)過程與函數(shù)
5.7.2 SQUPSM
小結(jié)
習(xí)題5
第6章 數(shù)據(jù)庫(kù)管理
6.1 事務(wù)
6.1.1 事務(wù)的定義
6.1.2 事務(wù)的ACID性質(zhì)
6.2 數(shù)據(jù)庫(kù)的恢復(fù)
6.2.1 典型的恢復(fù)策略
6.2.2 故障類型和恢復(fù)方法
6.2.3 檢查點(diǎn)技術(shù)
6.2.4 SQL.對(duì)事務(wù)的支持
6.3 數(shù)據(jù)庫(kù)的并發(fā)控制
6.3.1 并發(fā)操作帶來的三個(gè)問題
6.3.2 封鎖技術(shù)
6.3.3 并發(fā)操作的調(diào)度
6.3.4 SQL對(duì)并發(fā)處理的支持
6.4 數(shù)據(jù)庫(kù)的完整性
6.4.1 完整性子系統(tǒng)
6.4.2 SQL中的完整性約束
6.4.3 SQ3L的觸發(fā)器
6.5 數(shù)據(jù)庫(kù)的安全性
6.5.1 安全性問題
6.5.2 SQL中的安全性機(jī)制
6.5.3 常用的安全性措施
小結(jié)
習(xí)題6
第7章 SQLserver2000簡(jiǎn)介及應(yīng)用
7.1 SQLServer2000概述
7.1.1 SQLServel2000的結(jié)構(gòu)和版本
7.1.2 SQLServel2000的環(huán)境介紹
7.1.3 工具介紹
7.2 企業(yè)管理器
7.2.1 數(shù)據(jù)庫(kù)的操作
7.2.2 表的操作
7.2.3 索引
7.2.4 視圖
7.2.5 存儲(chǔ)過程
7.2.6 觸發(fā)器
7.2.7 用戶自定義函數(shù)
7.2.8 備份恢復(fù)與導(dǎo)人導(dǎo)出
……
第8章 Power Builder 9.0簡(jiǎn)介及應(yīng)用
第9章 數(shù)據(jù)庫(kù)技術(shù)的發(fā)展
數(shù)據(jù)庫(kù)系統(tǒng)原理自學(xué)考試大綱