電子設計自動化

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