數據庫系統(tǒng)應用教程

第1章數據庫系統(tǒng)概述
1.1數據管理技術
1.1.1數據管理技術的產生和發(fā)展
1.1.2數據庫系統(tǒng)的基本概念
1.1.3數據庫技術的發(fā)展及研究領域
1.2數據模型
1.2.1數據模型的組成要素
1.2.2數據模型分類
1.2.3概念數據模型及表示方法
1.2.4主要的邏輯數據模型
1.3數據庫系統(tǒng)結構
1.3.1數據庫系統(tǒng)模式的概念
1.3.2數據庫系統(tǒng)的三級模式結構
1.3.3數據庫的二級映像功能與數據獨立性
1.4SQLServer2000概述
1.4.1SQLServer2000的版本及特點
1.4.2SQLServer2000運行環(huán)境
1.4.3SQLServer2000服務器的啟動與注冊
1.4.4SQLServer2000的數據庫
1.5小結
1.6習題
第2章關系數據庫
2.1關系模型概述
2.1.1關系模型的數據結構
2.1.2關系操作
2.1.3完整性約束
2.2關系數據結構
2.2.1關系
2.2.2關系模式
2.2.3關系數據庫
2.3關系的完整性
2.3.1實體完整性
2.3.2參照完整性
2.3.3用戶定義的完整性
2.4關系代數
2.4.1傳統(tǒng)的集合運算
2.4.2專門的關系運算
2.5小結
2.6習題
第3章關系數據庫標準語言SQL
3.1SQL概述
3.2數據定義
3.2.1基本表的定義、修改與刪除
3.2.2索引的建立與刪除
3.3數據查詢
3.3.1單表查詢
3.3.2連接查詢
3.3.3嵌套查詢
3.3.4集合查詢
3.4數據更新
3.4.1插入數據
3.4.2修改數據
3.4.3刪除數據
3.5視圖
3.5.1定義視圖
3.5.2查詢視圖
3.5.3更新視圖
3.5.4視圖的作用
3.6數據控制
3.6.1授權
3.6.2收回權限
3.7Transact-SQL語言
3.7.1Transact-SQL語言基礎
3.7.2Transact-SQL數據查詢
3.7.3存儲過程和觸發(fā)器
3.8小結
3.9習題
第4章關系數據庫規(guī)范化理論
4.1數據依賴
4.1.1函數依賴
4.1.2函數依賴對關系模式的影響
4.2范式與關系模式規(guī)范化
4.2.1第一范式
4.2.2第二范式
4.2.3第三范式
4.2.4Boyce-Codd范式
4.2.5多值依賴與第四范式
4.3關系模式規(guī)范化
4.3.1關系模式分解的步驟
4.3.2關系模式分解的等價標準
4.4函數依賴公理
4.5小結
4.6習題
第5章數據庫設計
5.1數據庫設計概述
5.1.1數據庫設計的原則
5.1.2數據庫設計方法
5.2數據庫設計的步驟
5.2.1需求分析階段
5.2.2概念結構設計階段
5.2.3邏輯結構設計階段
5.2.4物理結構設計階段
5.2.5數據庫實施階段
5.2.6運行和維護階段
5.3PowerDesigner數據建模
5.3.1PowerDesigner概述
5.3.2PowerDesigner功能介紹
5.3.3PowerDesigner數據建模實例
5.4小結
5.5習題
第6章數據保護
6.1安全性
6.1.1數據庫安全控制的一般方法
6.1.2SQLServer中的安全性控制
6.2完整性
6.2.1完整性約束條件
6.2.2完整性控制
6.2.3SQLServer中的完整性控制
6.3并發(fā)控制
6.3.1并發(fā)控制概述
6.3.2并發(fā)操作的調度
6.3.3封鎖
6.3.4SQLServer中的并發(fā)控制
6.4數據恢復
6.4.1故障的種類及恢復
6.4.2恢復的實現技術
6.4.3SQLServer中的數據庫備份與恢復
6.5數據庫復制與數據庫鏡像
6.5.1數據庫復制
6.5.2數據庫鏡像
6.6小結
6.7習題
第7章數據庫技術發(fā)展
7.1數據庫技術發(fā)展的3個階段
7.1.1第一代數據庫系統(tǒng)
7.1.2第二代數據庫系統(tǒng)
7.1.3第三代數據庫系統(tǒng)
7.2數據庫新技術
7.2.1數據模型的發(fā)展
7.2.2數據庫技術與其他相關技術結合
7.2.3面向應用領域的數據庫新技術
7.3小結
7.4思考題
參考文獻