dbADS 2.0數(shù)據(jù)庫設計與自動生成系統(tǒng)

上篇  數(shù)據(jù)庫基本原理
第1章 緒論
1.1 三層次數(shù)據(jù)模型
1.2 數(shù)據(jù)庫模型
1.3 數(shù)據(jù)庫類型
1.4 數(shù)據(jù)庫設計目標
1.5 數(shù)據(jù)庫設計過程
1.6 數(shù)據(jù)庫邏輯結構設計的實施過程
1.6.1 工作活動性質(zhì)鑒別階段
1.6.2 定義階段
1.6.3 概念化階段
1.6.4 計算機效率優(yōu)化階段
1.7 關于數(shù)據(jù)庫設計自動化
第2章 關系模型
2.1 引言
2.2 關系模型的基本結構
2.2.1 關系
2.2.2 關系的屬性及屬性值
2.2.3 關系的特性
2.3 函數(shù)依賴
2.4 完全函數(shù)依賴
2.5 多值依賴
2.6 復合函數(shù)與傳遞依賴
2.7 關系的規(guī)范化
2.7.1 百規(guī)范化關系和1NF關系
2.7.2 1NF關系和4NF關系
2.7.3 最佳4NF關系
第3章 關系的設計
3.1 引言
3.2 確定不可分解的基本
3.2.1 不可分解性的標準
3.2.2 關系的分解
3.2.3 普遍性分解準則
3.2.4 分解關系的步驟
第4章 數(shù)據(jù)庫的實體-聯(lián)系模型
4.1 引言
4.2 實體-聯(lián)系模型（E-R模型）
4.2.1 實體-聯(lián)系和屬性
4.2.2 標識符
4.2.3  E-R模型的圖形表示
4.2.4 實體和屬性的抉擇
4.2.5 實體、聯(lián)系及關系
4.2.6 二元聯(lián)系及n元聯(lián)系
4.2.7 遞歸聯(lián)系
4.3 設計E-R模型的步驟
4.4 模型轉(zhuǎn)化為關系的準則
4.5 作用模型和類型模型
4.5.1 作用及其結構
4.5.2 類型模型及其結構
4.6 聚合模型
第5章 概念體設計
5.1 概念體
5.1.1 實體集合
5.1.2 關聯(lián)集合
5.1.3 定義域
5.1.4 實體屬性和關聯(lián)屬性
5.2 實體鍵與概念體的表示
5.2.1 實體鍵
5.2.2 實體集合的表示方法
5.2.3 關聯(lián)集合的表示方法
5.3 概念體與關系模型
5.3.1 實體集合用關系表示
5.3.2 用關系表示屬性間關聯(lián)的關聯(lián)集合
5.3.3 用關系表示在實體集合之間關聯(lián)的關聯(lián)集合
5.4 確定概念體
第6章 數(shù)據(jù)庫說明
6.1 數(shù)據(jù)庫說明的組成
6.2 關系模型轉(zhuǎn)化為邏輯記錄結構
6.3 存取需求說明
6.4 量化數(shù)據(jù)說明
第7章 數(shù)據(jù)庫設計過程
7.1 引言
7.2 數(shù)據(jù)庫概念結構設計實施的各個階段
7.2.1 工作活動性質(zhì)鑒別階段
7.2.2 定義階段
7.2.3 概念化階段
7.2.4 計算機效率優(yōu)化階段
7.3 數(shù)據(jù)庫設計中的一般步驟和方法
7.4 數(shù)據(jù)庫設計過程例子
7.4.1 工作性質(zhì)鑒別
7.4.2 定義概念體
7.4.3 建立E-R模型
7.4.4 E-R模型轉(zhuǎn)化為關系模型
7.4.5 構造SRS數(shù)據(jù)庫的總體邏輯模型
7.4.6 數(shù)據(jù)庫說明
7.4.7 物理實現(xiàn)
第8章 數(shù)據(jù)庫設計自動化
8.1 引言
8.2 設計的自動化原理
8.2.1 有向圖與基本關系
8.2.2 基本關系的距離
8.2.3 建立復合關系AP矩陣及其性質(zhì)
8.2.4 建立基本關系的距離矩陣D及其性質(zhì)
8.2.5 復合關系的距離及其權數(shù)
8.2.6 最小覆蓋
8.2.7 最佳4NF的總體邏輯模型
8.3 設計的自動化算法
8.3.1 確定傳遞閉包的算法dbADS-TC
8.3.2 確定傳遞閉包程序dbADS-TC執(zhí)行過程
8.3.3 確定基本關系的距離的算法dbADS-DT
8.3.4 復合關系及其權數(shù)和距離
8.3.5 確定最小覆蓋算法dbADS-OV
8.3.6 確定最小覆蓋的一般步驟
8.3.7 刪除關系的原則
8.3.8 刪除算法
8.3.9 設計總體邏輯結構算法dbADS-LM
8.4 自動化算法應用舉例
8.4.1 dbADS系統(tǒng)
8.4.2 例子
第9章 數(shù)據(jù)庫設計樣本
9.1 課題與設計指導
9.1.1 課題
9.1.2 設計指導
9.2 階段1：選擇某個系作為考察對象
9.3 階段2：建立E-R模型
9.3.1 建立E-R模型
9.3.2 標明屬性
9.3.3 E-R模型轉(zhuǎn)化為關系模型
9.4 階段3：總體邏輯結構設計
9.4.1 分解關系：確定TMDB的不可分解單元
9.4.2 總體邏輯結構
9.5 編寫數(shù)據(jù)庫說明
9.5.1 組織模型
9.5.2 關系模型轉(zhuǎn)化為邏輯記錄結構
9.5.3 存取需求說明
9.5.4 量化數(shù)據(jù)說明
9.6 階段4：物理設計（Ⅰ）——構造表
9.6.1 計表結構
9.6.2 用DBD構造表
9.7 階段4：物理設計（Ⅱ）——鏈接表
9.7.1 主索引和次級索引
9.7.2 建立STUDENT.db表和RESALTS.db表的鏈接
9.7.3 建立COURSE.db表和RESALTS.db表的鏈接
9.7.4 給表錄入數(shù)據(jù)
9.7.5 運行程序
9.8 EDS數(shù)據(jù)庫設計課題
9.8.1 階段1：概念化階段
9.8.2 階段2：分析與分解關系
9.8.3 階段3：求傳遞閉包
9.8.4 階段4：求最小覆蓋
9.8.5 階段5：求總體邏輯結構
9.9 結束語
下篇  數(shù)據(jù)庫自動生成系統(tǒng)dbADS
第10章 數(shù)據(jù)庫自動生成系統(tǒng)dbADS操作說明書
10.1 系統(tǒng)概述
10.1.1 dbADS系統(tǒng)的組成
10.1.2 “dbADS系統(tǒng)”的運行環(huán)境
10.1.3 dbADS系統(tǒng)安裝
10.1.4 啟動dbADS系統(tǒng)
10.2 dbADS系統(tǒng)菜單
10.2.1 文件
10.2.2 數(shù)據(jù)準備
10.2.3 執(zhí)行算法
10.2.4 單步執(zhí)行
10.2.5 保存結果
10.2.6 幫助
10.3 操作示例
10.3.1 原始數(shù)據(jù)
10.3.2 輸入屬性
10.3.3 構造關系和分解關系
10.3.4 確定傳遞閉包、關系距離和最小覆蓋
10.3.5 總體邏輯結構
第11章 數(shù)據(jù)庫設計自動化的研究報告
11.1 前言
11.2 原理
11.2.1 有向圖與基本關系
11.2.2 基本關系的距離
11.2.3 建立AP矩陣及其性質(zhì)
11.2.4 建立基本關系的距離矩陣D及其性質(zhì)
11.2.5 復合關系的距離及其權數(shù)
11.2.6 最小覆蓋
11.2.7 關系分解準則
11.3 算法
11.3.1 關系分解算法dbADS-RD
11.3.2 傳遞閉包
11.3.3 關系的距離
11.3.4 最小覆蓋
11.3.5 總體邏輯結構
11.4 dbADS系統(tǒng)及其測試
11.4.1 dbADS系統(tǒng)
11.4.2 測試
第12章 關系數(shù)據(jù)庫自動生成系統(tǒng)（dbADS）設計詳解書
12.1 課題與設計指導
12.1.1 課題
12.1.2 設計指導
12.2 演示數(shù)據(jù)庫自動生成的方法和過程
12.2.1 階段1：真實世界的概念化階段
12.2.2 階段2：確定TMDB的不可分解單元（即基本關系）
12.2.3 階段3：確定傳遞閉包并消去沒有意義的復合
12.2.4 階段4：確定關系的距離和權數(shù)
12.2.5 階段5：確定最小覆蓋
12.2.6 階段6：總體邏輯結構設計
參考文獻