數(shù)據(jù)庫系統(tǒng)概論

1 數(shù)據(jù)庫系統(tǒng)概述
1.1 數(shù)據(jù)庫系統(tǒng)基礎(chǔ)知識
1.1.1 信息、數(shù)據(jù)和數(shù)據(jù)處理
1.1.2 數(shù)據(jù)處理的三個領(lǐng)域
1.1.3 數(shù)據(jù)庫管理的發(fā)展過程
1.1.4 數(shù)據(jù)庫的體系結(jié)構(gòu)
1.1.5 數(shù)據(jù)庫技術(shù)的特點
1.2 數(shù)據(jù)模型
1.2.1 數(shù)據(jù)模型的概念
1.2.2 實體一聯(lián)系（E-R）模型
1.2.3 層次模型
1.2.4 網(wǎng)絡模型
1.2.5 關(guān)系模型
1.2.6 數(shù)據(jù)模型間的轉(zhuǎn)化
1.3 數(shù)據(jù)庫管理系統(tǒng)
1.3.1 DBMS的功能
1.3.2 DBMS的組成
1.3.3 數(shù)據(jù)字典
1.3.4 流行的DBMS簡介
1.4 數(shù)據(jù)庫系統(tǒng)組成
1.4.1 計算機支持環(huán)境
1.4.2 數(shù)據(jù)庫管理人員
1.4.3 數(shù)據(jù)庫系統(tǒng)的數(shù)據(jù)訪問過程
1.5 數(shù)據(jù)庫技術(shù)的研究內(nèi)容和進展
復習思考題與習題
2 關(guān)系數(shù)據(jù)庫
2.1 關(guān)系數(shù)據(jù)模型的基本概念
2.1.1 關(guān)系模型及其描述
2.1.2 關(guān)系模型的特點
2.2 關(guān)系及關(guān)系數(shù)據(jù)庫
2.2.1 關(guān)系的定義
2.2.2 關(guān)系模式
2.2.3 關(guān)系數(shù)據(jù)庫
2.2.4 關(guān)系系統(tǒng)
2.3 關(guān)系的完整性約束
2.3.1 實體完整性約束
2.3.2 參照完整性約束
2.3.3 用戶定義完整性約束
2.4 關(guān)系代數(shù)
2.4.1 傳統(tǒng)集合運算
2.4.2 專門關(guān)系運算
2.5 關(guān)系演算
2.5.1 元組關(guān)系演算
2.5.2 域關(guān)系演算
2.6 關(guān)系運算的等價變換原則
2.6.1 關(guān)系運算的安全性
2.6.2 關(guān)系運算的等價性
2.7 查詢優(yōu)化
2.7.1 查詢實例
2.7.2 查詢優(yōu)化的一般準則
2.7.3 關(guān)系代數(shù)的等價變換規(guī)則
2.7.4 關(guān)系代數(shù)表達式的優(yōu)化算法
2.7.5 優(yōu)化的一般步驟
復習思考題與習題
3 關(guān)系數(shù)據(jù)庫的標準語言SQL
3.1 SQL概述
3.1.1 SQL的主要功能
3.1.2 SQL的特點
3.2 數(shù)據(jù)定義
3.2.1 創(chuàng)建與刪除數(shù)據(jù)庫
3.2.2 創(chuàng)建、刪除、修改基本表
3.2.3 創(chuàng)建與刪除索引
3.3 查詢
3.3.1 簡單查詢
3.3.2 連接查詢
3.3.3 嵌套查詢
3.3.4 組合查詢
3.4 數(shù)據(jù)更新
3.4.1 插入數(shù)據(jù)
3.4.2 修改數(shù)據(jù)
3.4.3 刪除數(shù)據(jù)
3.5 視圖
3.5.1 視圖的創(chuàng)建
3.5.2 視圖刪除
3.5.3 視圖的查詢
3.5.4 視圖的更新
3.6 數(shù)據(jù)控制
3.6.1 權(quán)限的類型
3.6.2 授權(quán)
3.6.3 收回授權(quán)
3.7 嵌入式SQL
3.7.1 基本技術(shù)
3.7.2 舉例
復習思考題與習題
4 關(guān)系數(shù)據(jù)庫設計理論
4.1 關(guān)系模式的設計問題
4.1.1 關(guān)系模式的質(zhì)量
4.1.2 泛關(guān)系假設
4.1.3 本章的符號約定
4.2 函數(shù)依賴
4.2.1 函數(shù)依賴的定義
4.2.2 兩種閉包
4.2.3 函數(shù)依賴推理規(guī)則
4.2.4 Armstrong公理的有效性和完備性
4.2.5 屬性集閉包算法
4.2.6 關(guān)系模式的鍵
4.2.7 最小函數(shù)依賴集
4.3 模式分解與等價性
4.3.1 模式的表示能力
4.3.2 無損的分解
4.3.3 分解無損性檢驗
4.3.4 保持函數(shù)依賴的分解
4.3.5 模式等價性標準
4.4 函數(shù)依賴與規(guī)范化
4.4.1 第一范式～第三范式
4.4.2 Boyce-Codld范式
4.4.3 分解成3NF模式集的算法
4.4.4 分解成BCNF模式集的算法
4.5 其他數(shù)據(jù)依賴與規(guī)范化
4.5.1 多值依賴和第四范式
4.5.2 連接依賴和第五范式
復習思考題與習題
5 數(shù)據(jù)庫保護
5.1 安全性
5.1.1 安全控制的一般方法
5.1.2 存取控制
5.2 數(shù)據(jù)完整性
5.2.1 完整性約束
5.2.2 完整性控制
5.2.3 SQLServer的完整性
5.3 事務處理
5.3.1 事務的基本概念
5.3.2 事務的兩段提交
5.4 并發(fā)控制
5.4.1 并發(fā)控制概述
5.4.2 封鎖
5.4.3 并發(fā)控制的正確性
5.4.4 兩段鎖協(xié)議
5.5 數(shù)據(jù)庫故障的恢復
5.5.1 故障種類
5.5.2 恢復的實現(xiàn)技術(shù)
5.5.3 恢復策略
6 數(shù)據(jù)庫設計
7 數(shù)據(jù)庫技術(shù)的新進展
8 數(shù)據(jù)庫應用系統(tǒng)
9 Web數(shù)據(jù)庫技術(shù)基礎(chǔ)