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

 第I部分  設(shè)計篇
 第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ù)存儲架構(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  存儲管理器
 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  思考和練習
 第2章  數(shù)據(jù)庫建模--ER圖
 2.1  ER圖的基本概念
 2.1.1  實體集和實體集中的屬性
 2.1.2  聯(lián)系集和聯(lián)系集中的屬性
 2.1.3  繪制ER圖
 2.2  ER圖設(shè)計原則
 2.2.1  真實性原則
 2.2.2  避免冗余原則
 2.2.3  簡單性原則
 2.2.4  恰當性原則：用實體集還是用屬性
 2.2.5  恰當性原則：用實體集還是用聯(lián)系集
 2.3  對約束建模
 2.3.1  映射約束
 2.3.2  鍵碼約束
 2.3.3  參照完整性約束
 2.3.4  其他類型的約束
 2.4  弱實體集
 2.4.1  弱實體集產(chǎn)生的原因
 2.4.2  對弱實體集的要求
 2.4.3  弱實體集的表示方法
 2.5  ER圖的高級技術(shù)
 2.5.1  特殊化技術(shù)
 2.5.2  概括技術(shù)
 2.5.3  屬性繼承技術(shù)
 2.5.4  概括約束設(shè)計
 2.5.5  聚集技術(shù)
 2.6  小結(jié)
 2.7  思考和練習
 第3章  數(shù)據(jù)庫建模--IDEFlx圖
 3.1  概述
 3.1.1  IDEF方法族簡介
 3.1.2  IDEFlx圖的概念和特點
 3.2  IDEFlx圖的語法和語義
 3.2.1  實體
 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  準備階段
 3.3.2  定義實體階段
 3.3.3  定義聯(lián)系階段
 3.3.4  定義鍵碼階段
 3.3.5  定義屬性階段
 3.3.6  文件編制階段
 3.4  小結(jié)
 3.5  思考和練習
 第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  思考和練習
 第5章  關(guān)系模型
 5.1  基本概念
 5.2  從ER圖到關(guān)系模型設(shè)計的轉(zhuǎn)換
 5.2.1  ER圖和關(guān)系模式的比較
 5.2.2  實體集到關(guān)系模式的轉(zhuǎn)換
 5.2.3  聯(lián)系集到關(guān)系模式的轉(zhuǎn)換
 5.2.4  弱實體集到關(guān)系模式的轉(zhuǎn)換
 5.2.5  ER圖中其他元素的轉(zhuǎn)換
 5.2.6  鍵碼的轉(zhuǎn)換
 5.3  從IDEFlx圖到關(guān)系模型設(shè)計的轉(zhuǎn)換
 5.4  從ODL設(shè)計到關(guān)系模型設(shè)計的轉(zhuǎn)換
 5.4.1  ODL設(shè)計和關(guān)系模式設(shè)計的比較
 5.4.2  從ODL屬性到關(guān)系模式的屬性
 5.4.3  ODL設(shè)計中非原子屬性的轉(zhuǎn)換
 5.4.4  0DL設(shè)計中聯(lián)系的轉(zhuǎn)換
 5.4.5  0DL設(shè)計中聯(lián)系和反向聯(lián)系問題
 5.4.6  0DL設(shè)計中子類結(jié)構(gòu)的轉(zhuǎn)換
 5.5  小結(jié)
 5.6  思考和練習
 第6章  關(guān)系模式的規(guī)范化設(shè)計
 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  邏輯蘊含
 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ù)庫模式的實例
 6.7.1  圖書管理數(shù)據(jù)庫模式
 6.7.2  計算機產(chǎn)品信息管理數(shù)據(jù)庫模式
 6.8  小結(jié)
 6.9  思考和練習
 第II部分  編程篇
 第7章  關(guān)系代數(shù)基本理論
 7.1  概述
 7.2  關(guān)系代數(shù)的基本運算
 7.2.1  集合運算
 7.2.2  選擇運算
 7.2.3  投影運算
 7.2.4  笛卡兒積運算
 7.2.5  改名運算
 7.3  關(guān)系代數(shù)的附加運算
 7.3.1  自然連接運算
 7.3.2  0連接運算
 7.3.3  除法運算
 7.3.4  賦值運算
 7.4  擴充的關(guān)系代數(shù)運算
 7.4.1  廣義投影運算
 7.4.2  外連接運算
 7.4.3  聚集運算
 7.5  關(guān)系演算
 7.5.1  元組關(guān)系演算
 7.5.2  域關(guān)系演算
 7.6  關(guān)系代數(shù)的修改運算
 7.6.1  插入運算
 7.6.2  刪除運算
 7.6.3  修改運算
 7.7  關(guān)系代數(shù)表達式的優(yōu)化策略
 7.8  小結(jié)
 7.9思考和練習
 第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  從集合運算到Datalog規(guī)則
 8.2.2  從投影運算到Datalog規(guī)則
 8.2.3  從笛卡兒乘積到Datalog規(guī)則
 8.2.4  從選擇運算到Datalog規(guī)則
 8.2.5  從連接運算到Datalog規(guī)則
 8.2.6  從多重運算到Datalog規(guī)則
 8.3  遞歸原理
 8.3.1  關(guān)系代數(shù)存在的問題
 8.3.2  計算最小固定點
 8.3.3  使用Datalog規(guī)則表示固定點公式
 8.4  包的運算
 8.4.1  包的意義
 8.4.2  包的關(guān)系運算
 8.4.3  包的邏輯運算
 8.5  小結(jié)
 8.6  思考和練習
 第9章  SQL語言初步
 9.1  概述
 9.2  簡單查詢語句
 9.2.1  最簡單的查詢語句
 9.2.2  投影
 9.2.3  選擇
 9.2.4  字符串比較
 9.2.5  日期和時間的比較
 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  默認值
 9.5.4  索引定義
 9.5.5  管理視圖
 9.6  遞歸查詢
 9.7  動手練習
 9.8  小結(jié)
 9.9  思考和練習
 第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  游標
 10.3.1  定義游標
 10.3.2  游標的選項
 10.4  嵌入式SQL語言
 10.4.1  接口和聲明
 10.4.2  動態(tài)的SQL語句
 10.5  安全控制和權(quán)限管理
 10.5.1  權(quán)限的類型
 10.5.2  授權(quán)和收權(quán)
 10.6  動手練習
 10.7  小結(jié)
 10.8  思考和練習
 第III部分  實現(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  思考和練習
 第12章  查詢處理技術(shù)
 12.1  概述
 12.2  查詢處理的代價模型
 12.3  單個關(guān)系運算的代價估計
 12.3.1  選擇運算的代價估計
 12.3.2  連接運算的代價估計
 12.3.3  集合運算的代價估計
 12.4  表達式運算的代價估計
 12.4.1  實體化方法
 12.4.2  流水線方法
 12.5  Microsoft SQL Server系統(tǒng)的查詢處理器
 12.5.1  特性概述
 12.5.2  交互式操作
 12.5.3  執(zhí)行計劃
 12.5.4  優(yōu)化索引
 12.5.5  優(yōu)化隱藏
 12.6  小結(jié)
 12.7  思考和練習
 第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  思考和練習
 第IV部分  提高篇
 第14章  分布式數(shù)據(jù)庫技術(shù)
 14.1  概述
 14.2  分布式數(shù)據(jù)庫的概念和特點
 14.2.1  分布式數(shù)據(jù)庫的概念
 14.2.2  分布式數(shù)據(jù)庫的特點
 14.3  分布式數(shù)據(jù)存儲技術(shù)
 14.3.1  數(shù)據(jù)復(fù)制
 14.3.2  數(shù)據(jù)分片
 14.3.3  數(shù)據(jù)混合存儲
 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的分布式計算特點
 14.5.1  Microsoft Distributed Transaction Coordinator
 14.5.2  鏈接服務(wù)器
 14.5.3  數(shù)據(jù)復(fù)制
 14.6  小結(jié)
 14.7  思考和練習
 第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ù)倉庫的實現(xiàn)步驟
 15.4.1  確定用戶需求
 15.4.2  設(shè)計和建立數(shù)據(jù)庫
 15.4.3  提取和加載數(shù)據(jù)
 15.5  數(shù)據(jù)的粒度.分割和元數(shù)據(jù)
 15.6  小結(jié)
 15.7  思考和練習
 第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è)計階段
 16.3.4  系統(tǒng)實施階段
 16.3.5  系統(tǒng)評價階段
 16.4  影響信息系統(tǒng)開發(fā)成功和失敗的因素
 16.5  小結(jié)
 16.6  思考和練習
 參考文獻