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

序
前言
第1章  數(shù)據(jù)庫系統(tǒng)概述
  1.1  數(shù)據(jù)管理技術
    1.1.1  數(shù)據(jù)管理技術的產(chǎn)生和發(fā)展
    1.1.2  數(shù)據(jù)庫系統(tǒng)的基本概念
    1.1.3  數(shù)據(jù)庫技術的發(fā)展及研究領域
  1.2  數(shù)據(jù)模型
    1.2.1  數(shù)據(jù)模型的組成要素
    1.2.2  數(shù)據(jù)模型的分類
    1.2.3  概念模型及表示方法
    1.2.4  主要的邏輯模型
  1.3  數(shù)據(jù)庫系統(tǒng)結構
    1.3.1  數(shù)據(jù)庫系統(tǒng)模式的概念
    1.3.2  數(shù)據(jù)庫系統(tǒng)的三級模式結構
    1.3.3  數(shù)據(jù)庫的二級映像功能與數(shù)據(jù)獨立性
    1.3.4  數(shù)據(jù)庫系統(tǒng)的體系結構
  1.4  數(shù)據(jù)庫新技術
    1.4.1  數(shù)據(jù)模型的發(fā)展
    1.4.2  數(shù)據(jù)庫技術與其他相關技術結合
    1.4.3  面向應用領域的數(shù)據(jù)庫新技術
  1.5  小結
  習題
第2章  關系數(shù)據(jù)庫
  2.1  關系模型概述
    2.1.1  關系模型的數(shù)據(jù)結構
    2.1.2  關系操作
    2.1.3  完整性約束
  2.2  關系數(shù)據(jù)結構
    2.2.1  關系
    2.2.2  關系模式
    2.2.3  關系數(shù)據(jù)庫
  2.3  關系的完整性
    2.3.1  實體完整性
    2.3.2  參照完整性
    2.3.3  用戶定義的完整性
  2.4  關系代數(shù)
    2.4.1  傳統(tǒng)集合運算
    2.4.2  專門的關系運算
  2.5  小結
  習題
第3章  關系數(shù)據(jù)庫標準語言——SQL
  3.1  SQL概述
  3.2  數(shù)據(jù)定義
    3.2.1  基本表的定義、修改與刪除
    3.2.2  索引的建立與刪除
  3.3  數(shù)據(jù)查詢
    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  定義視圖
    3.5.2  查詢視圖
    3.5.3  更新視圖
    3.5.4  視圖的作用
  3.6  數(shù)據(jù)控制
    3.6.1  授權
    3.6.2  收回權限
  3.7  小結
  習題
第4章  關系數(shù)據(jù)庫規(guī)范化理論
  4.1  數(shù)據(jù)依賴
    4.1.1  函數(shù)依賴
    4.1.2  函數(shù)依賴對關系模式的影響
  4.2  范式與關系模式規(guī)范化
    4.2.1  第一范式
    4.2.2  第二范式
    4.2.3  第三范式
    4.2.4  Boyce-Codd范式
    4.2.5  多值依賴與第四范式
  4.3  關系模式規(guī)范化
    4.3.1  關系模式分解的步驟
    4.3.2  關系模式分解的等價標準
  4.4  函數(shù)依賴公理
  4.5  小結
  習題
第5章  數(shù)據(jù)庫設計
  5.1  數(shù)據(jù)庫設計概述
    5.1.1  數(shù)據(jù)庫設計的原則
    5.1.2  數(shù)據(jù)庫設計方法
  5.2  數(shù)據(jù)庫設計步驟
    5.2.1  需求分析階段
    5.2.2  概念結構設計階段
    5.2.3  邏輯結構設計階段
    5.2.4  物理結構設計階段
    5.2.5  數(shù)據(jù)庫實施階段
    5.2.6  運行和維護階段
  5.3  PowerDesigner數(shù)據(jù)建模
    5.3.1  PowerDesigner概述
    5.3.2  PowerDesigner的功能
    5.3.3  PowerDesigner的模型文件
    5.3.4  PowerDesigner數(shù)據(jù)建模實例
  5.4  小結
  習題
第6章  數(shù)據(jù)保護
  6.1  安全性
    6.1.1  數(shù)據(jù)庫安全性概述
    6.1.2  數(shù)據(jù)庫安全控制的一般方法
  6.2  完整性
    6.2.1  完整性約束條件
    6.2.2  完整性控制
  6.3  并發(fā)控制
    6.3.1  并發(fā)控制概述
    6.3.2  并發(fā)操作的調度
    6.3.3  封鎖
  6.4  數(shù)據(jù)恢復
    6.4.1  故障的種類及恢復
    6.4.2  恢復的實現(xiàn)技術
  6.5  數(shù)據(jù)庫復制與數(shù)據(jù)庫鏡像
    6.5.1  數(shù)據(jù)庫復制
    6.5.2  數(shù)據(jù)庫鏡像
  6.6  小結
  習題
第7章  數(shù)據(jù)庫實驗
  7.1  創(chuàng)建數(shù)據(jù)庫
  7.2  數(shù)據(jù)更新
  7.3  簡單查詢
  7.4  復雜查詢
  7.5  視圖操作
  7.6  Tra act-SQL程序設計
  7.7  存儲過程與觸發(fā)器
  7.8  數(shù)據(jù)庫備份與恢復
  7.9  數(shù)據(jù)轉換
  7.10  數(shù)據(jù)庫安全性與授權
  7.11  SQL Server管理
  7.12  數(shù)據(jù)庫設計
習題參考答案及部分實驗內容
參考文獻