數據庫原理與設計

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