數(shù)據(jù)庫原理與設(shè)計

總序
前言
第一章 緒論
第一節(jié) 數(shù)據(jù)庫發(fā)展歷程
一、手工數(shù)據(jù)處理
二、文件方式的數(shù)據(jù)處理
三、數(shù)據(jù)庫方式的數(shù)據(jù)處理
第二節(jié) 數(shù)據(jù)庫系統(tǒng)的構(gòu)成
一、數(shù)據(jù)庫
二、數(shù)據(jù)庫管理系統(tǒng)
三、數(shù)據(jù)庫應用系統(tǒng)
四、數(shù)據(jù)庫管理員
第三節(jié) 數(shù)據(jù)庫系統(tǒng)中的數(shù)據(jù)存取過程
一、數(shù)據(jù)庫的三層模式
二、數(shù)據(jù)獨立性
三、查詢處理的一般流程
第四節(jié) 數(shù)據(jù)庫分類
一、傳統(tǒng)數(shù)據(jù)庫
二、多媒體數(shù)據(jù)庫
三、集中式數(shù)據(jù)庫
四、分布式數(shù)據(jù)庫
習題一
第二章 數(shù)據(jù)模型
第一節(jié) E-R模型
一、E-R模型的基本概念
二、E-R模型的構(gòu)成
三、E-R模型圖
四、E-R模型舉例
第二節(jié) 面向?qū)ο竽Ｐ图癘DL語言
一、面向?qū)ο竽Ｐ偷幕舅枷?br /> 二、面向?qū)ο竽Ｐ透拍罴敖Y(jié)構(gòu)
三、聯(lián)系及逆聯(lián)系
四、子類和繼承性
五、ODL模型舉例
第三節(jié) 關(guān)系數(shù)據(jù)模型
一、關(guān)系數(shù)據(jù)模型的概念
二、關(guān)系數(shù)據(jù)庫
三、關(guān)系模式
四、關(guān)系數(shù)據(jù)模型的操作
第四節(jié) E-R模型向關(guān)系數(shù)據(jù)模型和面向?qū)ο竽Ｐ娃D(zhuǎn)化
一、實體、屬性向關(guān)系模式、屬性轉(zhuǎn)化
二、實體集轉(zhuǎn)化為相應的關(guān)系
三、聯(lián)系圖向關(guān)系模式的轉(zhuǎn)化
四、聯(lián)系值向關(guān)系的轉(zhuǎn)化
五、E-R模型向面向?qū)ο竽Ｐ娃D(zhuǎn)化
第五節(jié) 面向?qū)ο竽Ｐ拖蜿P(guān)系模型的轉(zhuǎn)化
一、類屬性的轉(zhuǎn)化
二、類聯(lián)系的轉(zhuǎn)化
三、子類的轉(zhuǎn)化
第六節(jié) 早期的數(shù)據(jù)模型
一、層次數(shù)據(jù)模型
二、物理數(shù)據(jù)庫
三、層次序列
四、層次數(shù)據(jù)模型的存儲結(jié)構(gòu)
五、樹型E-R模型象層次數(shù)據(jù)模型的轉(zhuǎn)化
六、網(wǎng)狀數(shù)據(jù)模型
七、系
八、系的存儲結(jié)構(gòu)
習題二
第三章 關(guān)系運算
第一節(jié) 關(guān)系代數(shù)
一、關(guān)系
二、傳統(tǒng)集合運算
三、投影
四、選擇
五、笛卡爾積
六、θ連接
七、自然連接
八、除法
九、復合運算與運算樹
十、改名
十一、應用舉例
第二節(jié) 元組謂詞演算
一、謂詞演算的基本概念
二、元組變量和元組分量
三、合式公式
四、關(guān)系代數(shù)到謂詞演算的轉(zhuǎn)換
五、安全表達式與安全限制
六、ALPHA的查詢功能
第三節(jié) 域關(guān)系謂詞演算
第四節(jié) 數(shù)據(jù)庫邏輯查詢語言Datalog
一、謂詞和原子
二、算術(shù)謂詞
三、Datalog查詢規(guī)則
四、關(guān)系代數(shù)向Datalog的轉(zhuǎn)換
五、Datalog的遞歸查詢
習題三
第四章 SQL語言
第一節(jié) SQL簡介
一、SQL語言產(chǎn)生的歷史
二、SQL功能
三、SQL使用方式
第二節(jié) 關(guān)系模式和索引的建立
一、屬性的基本類型
二、建立模式
三、刪除表
四、修改表結(jié)構(gòu)
五、建立與刪除索引
第三節(jié) SQL簡單查詢
一、簡單查詢的基本格式
二、簡單查詢舉例
第四節(jié) 多關(guān)系連接查詢
一、多關(guān)系連接查詢的一般格式
二、連接查詢舉例
第五節(jié) 嵌套查詢
一、子查詢的基本概念
二、帶IN，NOT IN的子查詢
三、帶ALL，ANY的子查詢
四、帶EXISTS，NOT EXISTS的子查詢
五、全稱量詞向NOT EXISTS的轉(zhuǎn)化
第六節(jié) 分組統(tǒng)計查詢
一、SQL統(tǒng)計函數(shù)
二、分組統(tǒng)計的基本概念
三、分組統(tǒng)計語句
四、分組統(tǒng)計過程
五、輸出控制條件
第七節(jié) 數(shù)據(jù)更新
一、更新的定義
二、修改
三、插入
四、刪除
第八節(jié) SQL中的集合運算
一、查詢的差集
二、查詢的交集
三、查詢的并集
第九節(jié) 視圖
一、視圖的基本概念
二、單關(guān)系生成的視圖
三、由多關(guān)系生成的視圖
四、視圖查詢
五、視圖的更新
六、視圖清除
第十節(jié) 遞歸查詢
一、遞歸查詢
二、遞歸查詢定義語句
三、遞歸查詢的執(zhí)行過程
四、間接遞歸查詢
習題四
第五章 關(guān)系數(shù)據(jù)庫理論
第一節(jié) 關(guān)系模式
一、關(guān)系
二、關(guān)系中允許的基本類型
三、關(guān)系模式
四、元組及分量的表示方法
第二節(jié) 函數(shù)依賴
一、函數(shù)依賴的定義
二、關(guān)于函數(shù)依賴的說明
三、完全函數(shù)依賴
四、部分函數(shù)依賴
五、傳遞函數(shù)依賴
六、平凡函數(shù)依賴
七、碼、超碼、主碼
八、高級關(guān)系模式
第三節(jié) 函數(shù)依賴的公理系統(tǒng)
一、Armstrong公理
二、公理的有效性
三、由Armstrong公理導出的三條推理規(guī)則
第四節(jié) 多值依賴
一、問題的提出
二、多值依賴的定義
三、多值依賴的基本性質(zhì)
四、多值依賴的公理系統(tǒng)
習題五
第六章 關(guān)系模式分解理論
第一節(jié) 關(guān)系范式
一、關(guān)系規(guī)范化
二、第一范式
三、第二范式
四、第三范式
五、BCNF范式
六、第四范式
七、范式之間的關(guān)系
第二節(jié) 傳遞閉包
一、閉包的基本概念
二、求Xf+的算法
三、最小函數(shù)依賴集
四、Armstrong公理是完備的
第三節(jié) 模式分解的基本概念
一、函數(shù)依賴集的投影
二、模式分解
三、保持函數(shù)依賴的分解
四、無損連接分解
五、關(guān)于分解的一些性質(zhì)
六、無損連接分解的判別算法
第四節(jié) 第三范式分解算法及其證明
一、第三范式保持函數(shù)依賴的分解算法
二、分解算法正確性證明
三、保持函數(shù)依賴和無損連接的3NF分解算法
四、保持函數(shù)依賴且無損連接第三范式分解算法的正確性證明
第五節(jié) BCNF范式分解算法及其證明
第六節(jié) 第四范式分解算法
一、多值依賴的二項分解定理
二、第四范式分解算法
習題六
第七章 SQL程序設(shè)計
第一節(jié) 嵌入式SQL概述
一、SQL語言的獨立執(zhí)行方式
二、SQL語言的宿主執(zhí)行方式
三、宿主SQL語句的嵌入方式
第二節(jié) 用SQL*C程序建立表
一、共享變量及其描述
二、利用SQL*C建立股票交易表
第三節(jié) 用SQL*C程序進行關(guān)系查詢處理
一、游標
二、利用游標進行程序設(shè)計的基本步驟
第四節(jié) 用SQL*C進行關(guān)系更新操作
一、簡單的數(shù)據(jù)更新
二、利用游標對查詢結(jié)果逐行進行修改
習題七
第八章 數(shù)據(jù)保護
第一節(jié) 數(shù)據(jù)安全
一、安全性控制的一般方法
二、SQL授權(quán)語句
三、ORACLE數(shù)據(jù)庫的安全性措施
第二節(jié) 數(shù)據(jù)完整性
一、數(shù)據(jù)完整性定義
二、實體完整性
三、參照完整性
四、域完整性
第三節(jié) SQL實現(xiàn)數(shù)據(jù)完整性的方法
一、實體完整性定義
二、參照完整性定義
三、域完整性定義
四、其他約束
第四節(jié) 觸發(fā)器
一、觸發(fā)器基本概念
二、觸發(fā)器的定義方法
三、觸發(fā)器在數(shù)據(jù)保護中的作用
第五節(jié) 并行事務的一致性
一、并行事務的基本特征
二、并行事務的控制
三、死鎖的發(fā)生、預防和解除
四、可串行調(diào)度及二段鎖協(xié)議
習題八
第九章 數(shù)據(jù)庫設(shè)計基礎(chǔ)
第一節(jié) 數(shù)據(jù)庫設(shè)計概述
一、數(shù)據(jù)庫設(shè)計概念
二、數(shù)據(jù)庫設(shè)計步驟
三、需求分析
第二節(jié) 概念數(shù)據(jù)模型設(shè)計
一、概述
二、局部E-R圖設(shè)計
三、局部E-R模型的集成
第三節(jié) 數(shù)據(jù)庫邏輯設(shè)計及物理設(shè)計和實現(xiàn)
一、概念模型向關(guān)系模型的轉(zhuǎn)換
二、關(guān)系規(guī)范化設(shè)計與優(yōu)化
三、數(shù)據(jù)庫實現(xiàn)與維護
第四節(jié) 數(shù)據(jù)安全設(shè)計
一、用戶權(quán)限
二、口令
三、數(shù)據(jù)加密設(shè)計
第五節(jié) 數(shù)據(jù)恢復設(shè)計
一、數(shù)據(jù)恢復的概念
二、定期轉(zhuǎn)儲法及設(shè)計
三、日志法
習題九
參考文獻