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

 第I部分  設(shè)計(jì)篇
 第1章  步入數(shù)據(jù)庫系統(tǒng)世界
 1.1  概述
 1.1.1  數(shù)據(jù)庫系統(tǒng)應(yīng)用示例
 1.1.2  數(shù)據(jù)庫系統(tǒng)的作用
 1.1.3  常見的數(shù)據(jù)庫系統(tǒng)
 1.1.4  數(shù)據(jù)庫應(yīng)用程序的開發(fā)過程
 1.2  數(shù)據(jù)庫技術(shù)的演變
 1.2.1  數(shù)據(jù)庫技術(shù)的環(huán)境
 1.2.2  傳統(tǒng)的文件管理階段
 1.2.3  現(xiàn)代的數(shù)據(jù)庫管理系統(tǒng)階段
 1.3  數(shù)據(jù)庫系統(tǒng)架構(gòu)
 1.3.1  數(shù)據(jù)存儲(chǔ)架構(gòu)
 1.3.2  數(shù)據(jù)視圖管理架構(gòu)
 1.3.3  數(shù)據(jù)庫應(yīng)用架構(gòu)
 1.4  數(shù)據(jù)庫管理系統(tǒng)組件
 1.4.1  數(shù)據(jù)和元數(shù)據(jù)
 1.4.2  輸入
 1.4.3  查詢處理器
 1.4.4  存儲(chǔ)管理器
 1.4.5  事務(wù)管理器
 1.5  數(shù)據(jù)庫技術(shù)的發(fā)展趨勢
 1.5.1  數(shù)據(jù)庫技術(shù)面臨的挑戰(zhàn)
 1.5.2  數(shù)據(jù)庫技術(shù)的未來
 1.6  小結(jié)
 1.7  思考和練習(xí)
 第2章  數(shù)據(jù)庫建模--ER圖
 2.1  ER圖的基本概念
 2.1.1  實(shí)體集和實(shí)體集中的屬性
 2.1.2  聯(lián)系集和聯(lián)系集中的屬性
 2.1.3  繪制ER圖
 2.2  ER圖設(shè)計(jì)原則
 2.2.1  真實(shí)性原則
 2.2.2  避免冗余原則
 2.2.3  簡單性原則
 2.2.4  恰當(dāng)性原則：用實(shí)體集還是用屬性
 2.2.5  恰當(dāng)性原則：用實(shí)體集還是用聯(lián)系集
 2.3  對約束建模
 2.3.1  映射約束
 2.3.2  鍵碼約束
 2.3.3  參照完整性約束
 2.3.4  其他類型的約束
 2.4  弱實(shí)體集
 2.4.1  弱實(shí)體集產(chǎn)生的原因
 2.4.2  對弱實(shí)體集的要求
 2.4.3  弱實(shí)體集的表示方法
 2.5  ER圖的高級技術(shù)
 2.5.1  特殊化技術(shù)
 2.5.2  概括技術(shù)
 2.5.3  屬性繼承技術(shù)
 2.5.4  概括約束設(shè)計(jì)
 2.5.5  聚集技術(shù)
 2.6  小結(jié)
 2.7  思考和練習(xí)
 第3章  數(shù)據(jù)庫建模--IDEFlx圖
 3.1  概述
 3.1.1  IDEF方法族簡介
 3.1.2  IDEFlx圖的概念和特點(diǎn)
 3.2  IDEFlx圖的語法和語義
 3.2.1  實(shí)體
 3.2.2  連接聯(lián)系
 3.2.3  分類聯(lián)系
 3.2.4  非確定聯(lián)系
 3.2.5  屬性
 3.2.6  主鍵碼和次鍵碼
 3.2.7  外鍵碼
 3.3  使用IDEFlx圖建立數(shù)據(jù)庫模型的過程
 3.3.1  準(zhǔn)備階段
 3.3.2  定義實(shí)體階段
 3.3.3  定義聯(lián)系階段
 3.3.4  定義鍵碼階段
 3.3.5  定義屬性階段
 3.3.6  文件編制階段
 3.4  小結(jié)
 3.5  思考和練習(xí)
 第4章  數(shù)據(jù)庫建模--ODL方法
 4.1  面向?qū)ο蟾攀?br /> 4.1.1  面向?qū)ο竽Ｐ秃完P(guān)系模型比較
 4.1.2  面向?qū)ο蠡靖拍?br /> 4.2  ODL的基本結(jié)構(gòu)
 4.2.1  ODL概念
 4.2.2  ODL接口說明
 4.2.3  ODL中的屬性
 4.2.4  ODL中的聯(lián)系
 4.2.5  反向聯(lián)系的概念
 4.2.6  聯(lián)系的多重性
 4.2.7  ODL中的類型
 4.2.8  ODL中方法署名的說明
 4.3  子類和約束
 4.3.1  ODL中的子類
 4.3.2  ODL中的約束
 4.4  小結(jié)
 4.5  思考和練習(xí)
 第5章  關(guān)系模型
 5.1  基本概念
 5.2  從ER圖到關(guān)系模型設(shè)計(jì)的轉(zhuǎn)換
 5.2.1  ER圖和關(guān)系模式的比較
 5.2.2  實(shí)體集到關(guān)系模式的轉(zhuǎn)換
 5.2.3  聯(lián)系集到關(guān)系模式的轉(zhuǎn)換
 5.2.4  弱實(shí)體集到關(guān)系模式的轉(zhuǎn)換
 5.2.5  ER圖中其他元素的轉(zhuǎn)換
 5.2.6  鍵碼的轉(zhuǎn)換
 5.3  從IDEFlx圖到關(guān)系模型設(shè)計(jì)的轉(zhuǎn)換
 5.4  從ODL設(shè)計(jì)到關(guān)系模型設(shè)計(jì)的轉(zhuǎn)換
 5.4.1  ODL設(shè)計(jì)和關(guān)系模式設(shè)計(jì)的比較
 5.4.2  從ODL屬性到關(guān)系模式的屬性
 5.4.3  ODL設(shè)計(jì)中非原子屬性的轉(zhuǎn)換
 5.4.4  0DL設(shè)計(jì)中聯(lián)系的轉(zhuǎn)換
 5.4.5  0DL設(shè)計(jì)中聯(lián)系和反向聯(lián)系問題
 5.4.6  0DL設(shè)計(jì)中子類結(jié)構(gòu)的轉(zhuǎn)換
 5.5  小結(jié)
 5.6  思考和練習(xí)
 第6章  關(guān)系模式的規(guī)范化設(shè)計(jì)
 6.1  概述
 6.1.1  異常問題
 6.1.2  泛關(guān)系模式和數(shù)據(jù)庫模式
 6.2  函數(shù)依賴
 6.2.1  函數(shù)依賴的定義
 6.2.2  函數(shù)依賴和鍵碼
 6.2.3  邏輯蘊(yùn)含
 6.2.4  函數(shù)依賴的推理規(guī)則
 6.2.5  屬性集的閉包
 6.2.6  正則覆蓋
 6.3  關(guān)系模式的分解
 6.4  關(guān)系模式的范式
 6.4.1  第一范式
 6.4.2  BCNF范式
 6.4.3  分解成BCNF模式的算法
 6.4.4  函數(shù)依賴的投影
 6.4.5  第三范式
 6.4.6  第二范式
 6.5  多值依賴
 6.5.1  多值依賴的概念
 6.5.2  多值依賴的推理規(guī)則
 6.5.3  第四范式
 6.6  范式之間的關(guān)系
 6.7  數(shù)據(jù)庫模式的實(shí)例
 6.7.1  圖書管理數(shù)據(jù)庫模式
 6.7.2  計(jì)算機(jī)產(chǎn)品信息管理數(shù)據(jù)庫模式
 6.8  小結(jié)
 6.9  思考和練習(xí)
 第II部分  編程篇
 第7章  關(guān)系代數(shù)基本理論
 7.1  概述
 7.2  關(guān)系代數(shù)的基本運(yùn)算
 7.2.1  集合運(yùn)算
 7.2.2  選擇運(yùn)算
 7.2.3  投影運(yùn)算
 7.2.4  笛卡兒積運(yùn)算
 7.2.5  改名運(yùn)算
 7.3  關(guān)系代數(shù)的附加運(yùn)算
 7.3.1  自然連接運(yùn)算
 7.3.2  0連接運(yùn)算
 7.3.3  除法運(yùn)算
 7.3.4  賦值運(yùn)算
 7.4  擴(kuò)充的關(guān)系代數(shù)運(yùn)算
 7.4.1  廣義投影運(yùn)算
 7.4.2  外連接運(yùn)算
 7.4.3  聚集運(yùn)算
 7.5  關(guān)系演算
 7.5.1  元組關(guān)系演算
 7.5.2  域關(guān)系演算
 7.6  關(guān)系代數(shù)的修改運(yùn)算
 7.6.1  插入運(yùn)算
 7.6.2  刪除運(yùn)算
 7.6.3  修改運(yùn)算
 7.7  關(guān)系代數(shù)表達(dá)式的優(yōu)化策略
 7.8  小結(jié)
 7.9思考和練習(xí)
 第8章    Datalog語言
 8.1  基本概念
 8.1.1  基本結(jié)構(gòu)
 8.1.2  一般規(guī)則
 8.1.3  安全規(guī)則
 8.1.4  外延謂詞和內(nèi)涵謂詞
 8.2  關(guān)系代數(shù)向Datalog規(guī)則的轉(zhuǎn)換
 8.2.1  從集合運(yùn)算到Datalog規(guī)則
 8.2.2  從投影運(yùn)算到Datalog規(guī)則
 8.2.3  從笛卡兒乘積到Datalog規(guī)則
 8.2.4  從選擇運(yùn)算到Datalog規(guī)則
 8.2.5  從連接運(yùn)算到Datalog規(guī)則
 8.2.6  從多重運(yùn)算到Datalog規(guī)則
 8.3  遞歸原理
 8.3.1  關(guān)系代數(shù)存在的問題
 8.3.2  計(jì)算最小固定點(diǎn)
 8.3.3  使用Datalog規(guī)則表示固定點(diǎn)公式
 8.4  包的運(yùn)算
 8.4.1  包的意義
 8.4.2  包的關(guān)系運(yùn)算
 8.4.3  包的邏輯運(yùn)算
 8.5  小結(jié)
 8.6  思考和練習(xí)
 第9章  SQL語言初步
 9.1  概述
 9.2  簡單查詢語句
 9.2.1  最簡單的查詢語句
 9.2.2  投影
 9.2.3  選擇
 9.2.4  字符串比較
 9.2.5  日期和時(shí)間的比較
 9.2.6  排序結(jié)果
 9.2.7  副本
 9.3  高級查詢語句
 9.3.1  連接查詢
 9.3.2  集合查詢
 9.3.3  聚集查詢
 9.3.4  子查詢
 9.4  數(shù)據(jù)庫更新語句
 9.4.1  插入數(shù)據(jù)
 9.4.2  刪除數(shù)據(jù)
 9.4.3  修改數(shù)據(jù)
 9.5  數(shù)據(jù)定義語句
 9.5.1  數(shù)據(jù)類型和域
 9.5.2  管理表
 9.5.3  默認(rèn)值
 9.5.4  索引定義
 9.5.5  管理視圖
 9.6  遞歸查詢
 9.7  動(dòng)手練習(xí)
 9.8  小結(jié)
 9.9  思考和練習(xí)
 第10章  SQL語言高級功能
 10.1  約束
 10.1.1  鍵碼約束
 10.1.2  外鍵碼約束
 10.1.3  非空約束
 10.1.4  CHECK約束
 10.1.5  斷言約束
 10.2  觸發(fā)器
 10.2.1  觸發(fā)器的結(jié)構(gòu)
 10.2.2  觸發(fā)器示例
 10.3  游標(biāo)
 10.3.1  定義游標(biāo)
 10.3.2  游標(biāo)的選項(xiàng)
 10.4  嵌入式SQL語言
 10.4.1  接口和聲明
 10.4.2  動(dòng)態(tài)的SQL語句
 10.5  安全控制和權(quán)限管理
 10.5.1  權(quán)限的類型
 10.5.2  授權(quán)和收權(quán)
 10.6  動(dòng)手練習(xí)
 10.7  小結(jié)
 10.8  思考和練習(xí)
 第III部分  實(shí)現(xiàn)篇
 第11章  索引和散列技術(shù)
 11.1  概述
 11.1.1  文件組織方式
 11.1.2  順序文件組織
 11.1.3  聚集文件組織
 11.2  索引技術(shù)
 11.2.1  基本概念
 11.2.2  順序索引
 11.2.3  B+樹索引文件
 11.3  散列技術(shù)
 11.3.1  基本概念
 11.3.2  散列索引
 11.4  Microsoft SQL Server系統(tǒng)中的索引
 11.4.1  索引類型
 11.4.2  創(chuàng)建索引的方法
 11.5  小結(jié)
 11.6  思考和練習(xí)
 第12章  查詢處理技術(shù)
 12.1  概述
 12.2  查詢處理的代價(jià)模型
 12.3  單個(gè)關(guān)系運(yùn)算的代價(jià)估計(jì)
 12.3.1  選擇運(yùn)算的代價(jià)估計(jì)
 12.3.2  連接運(yùn)算的代價(jià)估計(jì)
 12.3.3  集合運(yùn)算的代價(jià)估計(jì)
 12.4  表達(dá)式運(yùn)算的代價(jià)估計(jì)
 12.4.1  實(shí)體化方法
 12.4.2  流水線方法
 12.5  Microsoft SQL Server系統(tǒng)的查詢處理器
 12.5.1  特性概述
 12.5.2  交互式操作
 12.5.3  執(zhí)行計(jì)劃
 12.5.4  優(yōu)化索引
 12.5.5  優(yōu)化隱藏
 12.6  小結(jié)
 12.7  思考和練習(xí)
 第13章  事務(wù)和并發(fā)控制
 13.1  事務(wù)
 13.1.1  事務(wù)的基本概念
 13.1.2  事務(wù)的狀態(tài)變遷圖
 13.1.3  事務(wù)的并發(fā)執(zhí)行
 13.1.4  事務(wù)的一致性級別
 13.2  并發(fā)控制
 13.2.1  并發(fā)操作帶來的問題
 13.2.2  鎖
 13.2.3  死鎖
 13.3  Microsoft SQL Server系統(tǒng)的事務(wù)和鎖
 13.3.1  事務(wù)的類型
 13.3.2  事務(wù)的工作原理
 13.3.3  鎖的粒度
 13.3.4  鎖的類型
 13.3.5  死鎖和死鎖的解決方案
 13.4  小結(jié)
 13.5  思考和練習(xí)
 第IV部分  提高篇
 第14章  分布式數(shù)據(jù)庫技術(shù)
 14.1  概述
 14.2  分布式數(shù)據(jù)庫的概念和特點(diǎn)
 14.2.1  分布式數(shù)據(jù)庫的概念
 14.2.2  分布式數(shù)據(jù)庫的特點(diǎn)
 14.3  分布式數(shù)據(jù)存儲(chǔ)技術(shù)
 14.3.1  數(shù)據(jù)復(fù)制
 14.3.2  數(shù)據(jù)分片
 14.3.3  數(shù)據(jù)混合存儲(chǔ)
 14.4  分布式數(shù)據(jù)查詢技術(shù)
 14.4.1  分布式數(shù)據(jù)查詢示例
 14.4.2  基于半連接的優(yōu)化策略
 14.4.3  基于連接的優(yōu)化策略
 14.5  Microsoft SQL Server的分布式計(jì)算特點(diǎn)
 14.5.1  Microsoft Distributed Transaction Coordinator
 14.5.2  鏈接服務(wù)器
 14.5.3  數(shù)據(jù)復(fù)制
 14.6  小結(jié)
 14.7  思考和練習(xí)
 第15章  數(shù)據(jù)倉庫技術(shù)
 15.1  概述
 15.2  數(shù)據(jù)挖掘和數(shù)據(jù)中心庫
 15.2.1  數(shù)據(jù)挖掘技術(shù)
 15.2.2  數(shù)據(jù)中心庫
 15.3  數(shù)據(jù)倉庫的支持工具
 15.3.1  OLAP服務(wù)
 15.3.2  數(shù)據(jù)轉(zhuǎn)換服務(wù)
 15.3.3  PivotTable服務(wù)
 15.4  數(shù)據(jù)倉庫的實(shí)現(xiàn)步驟
 15.4.1  確定用戶需求
 15.4.2  設(shè)計(jì)和建立數(shù)據(jù)庫
 15.4.3  提取和加載數(shù)據(jù)
 15.5  數(shù)據(jù)的粒度.分割和元數(shù)據(jù)
 15.6  小結(jié)
 15.7  思考和練習(xí)
 第16章  信息系統(tǒng)的開發(fā)過程
 16.1  信息系統(tǒng)概述
 16.2  開發(fā)信息系統(tǒng)的方法論
 16.2.1  方法類型
 16.2.2  開發(fā)策略
 16.3  信息系統(tǒng)開發(fā)階段
 16.3.1  調(diào)查研究階段
 16.3.2  系統(tǒng)分析階段
 16.3.3  系統(tǒng)設(shè)計(jì)階段
 16.3.4  系統(tǒng)實(shí)施階段
 16.3.5  系統(tǒng)評價(jià)階段
 16.4  影響信息系統(tǒng)開發(fā)成功和失敗的因素
 16.5  小結(jié)
 16.6  思考和練習(xí)
 參考文獻(xiàn)