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

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