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

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