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

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