電子設(shè)計自動化

第一章 數(shù)據(jù)庫系統(tǒng)的基本概念
1.1 引論
1.1.1 數(shù)據(jù)庫方法與文件處理方法
1.1.2 數(shù)據(jù)庫系統(tǒng)用戶
1.1.3 數(shù)據(jù)庫方法的優(yōu)點
1.2 數(shù)據(jù)模型與模式
1.2.1 數(shù)據(jù)模型分類
1.2.2 模式與實例
1.3 數(shù)據(jù)庫管理系統(tǒng)的體系結(jié)構(gòu)
1.3.1 三級模式體系結(jié)構(gòu)
1.3.2 數(shù)據(jù)獨立
1.4 數(shù)據(jù)庫語言和接口
1.4.1 DBMS語言
1.4.2 DBMS界面
1.5 數(shù)據(jù)庫系統(tǒng)環(huán)境
1.5.1 DBMS的組成模塊
1.5.2 數(shù)據(jù)庫系統(tǒng)實用軟件
1.5.3 通信功能
1.6 數(shù)據(jù)庫管理系統(tǒng)分類
習(xí)題
第二章 關(guān)系模型與關(guān)系代數(shù)
2.1 關(guān)系模型的概念
2.1.1 域、元組、屬性和關(guān)系
2.1.2 關(guān)系的性質(zhì)
2.1.3 關(guān)系模型的符號
2.2 關(guān)系模型的語義限制
2.2.1 域限制
2.2.2 關(guān)鍵字限制
2.2.3 實體完整性限制
2.2.4 外關(guān)鍵字限制
2.3 關(guān)系的操作
2.3.1 插入操作
2.3.2 刪除操作
2.3.3 修改操作
2.4 關(guān)系代數(shù)
2.4.1 選擇操作
2.4.2 投影操作
2.4.3 命名操作
2.4.4 集合操作
2.4.5 連接操作
2.4.6 除法操作
2.4.7 其它操作
2.5 關(guān)系代數(shù)上的查詢操作
習(xí)題
第三章 關(guān)系數(shù)據(jù)庫語言SQL
3.1 SQL語言數(shù)據(jù)庫的三級體系結(jié)構(gòu)
3.2 SQL的數(shù)據(jù)定義
3.2.1 建表
3.2.2 修改表
3.2.3 刪除表
3.2.4 表中的語義限制
3.2.5 完整的例子
3.3 SQL的數(shù)據(jù)查詢
3.3.1 基本查詢語句塊
3.3.2 基本查詢塊舉例
3.3.3 SELECT語句中的表達(dá)式及串操作
3.3.4 嵌套查詢
3.3.5 集合操作查詢
3.3.6 分組查詢
3.3.7 SQL的連接查詢
3.3.8 SQL查詢中的空值
3.4 SQL中的更新語句
3.4.1 插入語句
3.4.2 刪除語句
3.4.3 修改語句
3.5 SQL的視圖
3.5.1 視圖的定義
3.5.2 視圖的查詢
3.5.3 視圖的更新
3.5.4 視圖刪除
3.6 SQL的數(shù)據(jù)存取控制
3.6.1 自定義的存取控制
3.6.2 委托存取控制
3.6.3 數(shù)據(jù)庫管理員的責(zé)任
3.7 索引說明
3.8 嵌入的SQL
3.8.1 識別問題
3.8.2 通信區(qū)
3.8.3 數(shù)據(jù)交換
3.8.4 動態(tài)SQL
習(xí)題
第四章 關(guān)系演算和QBE
4.1 元組關(guān)系演算
4.1.1 元組變量及其范圍
4.1.2 元組演算的形式描述
4.1.3 舉例
4.1.4 全稱量詞
4.1.5 安全表達(dá)式
4.1.6 SQL的量詞描述
4.2 QUEL語言
4.2.1 QUEL中的數(shù)據(jù)與存儲定義
4.2.2 查詢結(jié)構(gòu)
4.2.3 更新
4.2.4 QUEL與SQL的比較
4.3 域關(guān)系演算
4.4 QBE語言
4.4.1 查詢結(jié)構(gòu)
4.4.2 更新結(jié)構(gòu)
4.5 關(guān)系數(shù)據(jù)庫語言的比較
習(xí)題
第五章 數(shù)據(jù)庫系統(tǒng)的實現(xiàn)技術(shù)
5.1 系統(tǒng)目錄
5.2 查詢處理與優(yōu)化
5.3 數(shù)據(jù)庫事務(wù)和系統(tǒng)日志
5.3.1 事務(wù)概念
5.3.2 系統(tǒng)日志
5.3.3 事務(wù)提交點
5.3.4 系統(tǒng)日志中的檢查點
5.3.5 事務(wù)的并發(fā)執(zhí)行
5.3.6 事務(wù)的讀和寫操作
5.3.7 并發(fā)失控的影響
5.3.8 事務(wù)狀態(tài)和操作
5.4 事務(wù)執(zhí)行調(diào)度
5.5 并發(fā)控制的鎖技術(shù)
5.5.1 鎖的類型
5.5.2 2階段鎖保證可串性
5.5.3 死鎖與活鎖
5.6 并發(fā)控制的T/O技術(shù)
5.6.1 時間戳
5.6.2 時間戳算法
5.7 基于延遲更新的恢復(fù)技術(shù)
5.7.1 恢復(fù)概念
5.7.2 恢復(fù)處理
5.7.3 回退
5.7.4 基于延遲更新的恢復(fù)技術(shù)
5.8 基于立即更新的恢復(fù)技術(shù)
5.8.1 單用戶環(huán)境下基于立即更新的撤消/重做算法
5.8.2 與并發(fā)執(zhí)行相關(guān)的UNDO／REDO立即更新
5.9 數(shù)據(jù)庫的備份和恢復(fù)
5.10 數(shù)據(jù)庫的安全
5.10.1 安全的類型
5.10.2 數(shù)據(jù)庫管理員與安全
5.10.3 用戶帳號和數(shù)據(jù)庫審計
5.11 基于優(yōu)先權(quán)的自裁定存取控制
5.12 多級保密的強制性存取控制
習(xí)題
第六章 數(shù)據(jù)庫設(shè)計
6.1 關(guān)系數(shù)據(jù)庫設(shè)計步驟
6.2 E-R模型
6.2.1 實體、屬性和實體型
6.2.2 聯(lián)系
6.3 模式代化
6.3.1 關(guān)系屬性的語義
6.3.2 元組及冗余信息
6.3.3 空值
6.3.4 偽造的元組
6.4 函數(shù)相關(guān)
6.5 關(guān)系模式的優(yōu)化
6.5.1 實體集上的限制
6.5.2 聯(lián)系集上的限制
6.5.3 實體屬性的確定
6.5.4 實體集的確定
6.6 規(guī)范化
6.6.1 2NF
6.6.2 3NF
6.6.3 BCNF
6.7 多值相關(guān)與4NF
6.7.1 多值相關(guān)
6.7.2 MVD與FD
6.7.3 4NF
6.8 連接相關(guān)與5NF
6.9 其它相關(guān)性和規(guī)范化
6.9.1 包含相關(guān)
6.9.2 Domain-Key NF
習(xí)題
第七章 傳統(tǒng)數(shù)據(jù)庫方法
7.1 網(wǎng)狀數(shù)據(jù)結(jié)構(gòu)
7.1.1 記錄和記錄型
7.1.2 系型及其系值
7.1.3 特殊系型
7.1.4 系值的存儲結(jié)構(gòu)
7.1.5 1：1和M：N聯(lián)系的系結(jié)構(gòu)描述
7.2 網(wǎng)狀模型的語義限制
7.2.1 插入（選擇）限制
7.2.2 離開（選擇）限制
7.2.3 系序選擇
7.3 網(wǎng)狀模型定義
7.4 網(wǎng)狀數(shù)據(jù)庫的數(shù)據(jù)操作
7.4.1 用戶工作區(qū)UWA
7.4.2 當(dāng)前指示器
7.4.3 狀態(tài)指示器
7.4.4 當(dāng)前指示器和UWA的圖示
7.4.5 網(wǎng)狀數(shù)據(jù)操作語言（DML）
7.5 層次數(shù)據(jù)庫結(jié)構(gòu)
7.5.1 層次數(shù)據(jù)結(jié)構(gòu)
7.5.2 層次結(jié)構(gòu)值樹
7.6 虛擬父子聯(lián)系
7.7 層次模型中的完整性約束
7.8 層次模型的數(shù)據(jù)定義
7.9 層次模型中的數(shù)據(jù)操作
7.9.1 HDML命令的UWA和當(dāng)前值
7.9.2 操作命令舉例
習(xí)題
第八章 數(shù)據(jù)庫技術(shù)進(jìn)展
8.1 先進(jìn)的數(shù)據(jù)模型
8.2 面向?qū)ο髷?shù)據(jù)庫基本概念
8.3 對象結(jié)構(gòu)和類型
8.3.1 對象結(jié)構(gòu)
8.3.2 類型構(gòu)造函數(shù)
8.4 操作、方法的封裝和持久性
8.5 類與類型的層次結(jié)構(gòu)及其繼承性
8.5.1 類型層次與繼承
8.5.2 類層次
8.6 Client／Server結(jié)構(gòu)
習(xí)題
參考文獻(xiàn)