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

上篇  數(shù)據(jù)庫(kù)基本原理
第1章 緒論
1.1 三層次數(shù)據(jù)模型
1.2 數(shù)據(jù)庫(kù)模型
1.3 數(shù)據(jù)庫(kù)類型
1.4 數(shù)據(jù)庫(kù)設(shè)計(jì)目標(biāo)
1.5 數(shù)據(jù)庫(kù)設(shè)計(jì)過程
1.6 數(shù)據(jù)庫(kù)邏輯結(jié)構(gòu)設(shè)計(jì)的實(shí)施過程
1.6.1 工作活動(dòng)性質(zhì)鑒別階段
1.6.2 定義階段
1.6.3 概念化階段
1.6.4 計(jì)算機(jī)效率優(yōu)化階段
1.7 關(guān)于數(shù)據(jù)庫(kù)設(shè)計(jì)自動(dòng)化
第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è)計(jì)
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ù)庫(kù)的實(shí)體-聯(lián)系模型
4.1 引言
4.2 實(shí)體-聯(lián)系模型（E-R模型）
4.2.1 實(shí)體-聯(lián)系和屬性
4.2.2 標(biāo)識(shí)符
4.2.3  E-R模型的圖形表示
4.2.4 實(shí)體和屬性的抉擇
4.2.5 實(shí)體、聯(lián)系及關(guān)系
4.2.6 二元聯(lián)系及n元聯(lián)系
4.2.7 遞歸聯(lián)系
4.3 設(shè)計(jì)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è)計(jì)
5.1 概念體
5.1.1 實(shí)體集合
5.1.2 關(guān)聯(lián)集合
5.1.3 定義域
5.1.4 實(shí)體屬性和關(guān)聯(lián)屬性
5.2 實(shí)體鍵與概念體的表示
5.2.1 實(shí)體鍵
5.2.2 實(shí)體集合的表示方法
5.2.3 關(guān)聯(lián)集合的表示方法
5.3 概念體與關(guān)系模型
5.3.1 實(shí)體集合用關(guān)系表示
5.3.2 用關(guān)系表示屬性間關(guān)聯(lián)的關(guān)聯(lián)集合
5.3.3 用關(guān)系表示在實(shí)體集合之間關(guān)聯(lián)的關(guān)聯(lián)集合
5.4 確定概念體
第6章 數(shù)據(jù)庫(kù)說(shuō)明
6.1 數(shù)據(jù)庫(kù)說(shuō)明的組成
6.2 關(guān)系模型轉(zhuǎn)化為邏輯記錄結(jié)構(gòu)
6.3 存取需求說(shuō)明
6.4 量化數(shù)據(jù)說(shuō)明
第7章 數(shù)據(jù)庫(kù)設(shè)計(jì)過程
7.1 引言
7.2 數(shù)據(jù)庫(kù)概念結(jié)構(gòu)設(shè)計(jì)實(shí)施的各個(gè)階段
7.2.1 工作活動(dòng)性質(zhì)鑒別階段
7.2.2 定義階段
7.2.3 概念化階段
7.2.4 計(jì)算機(jī)效率優(yōu)化階段
7.3 數(shù)據(jù)庫(kù)設(shè)計(jì)中的一般步驟和方法
7.4 數(shù)據(jù)庫(kù)設(shè)計(jì)過程例子
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ù)庫(kù)的總體邏輯模型
7.4.6 數(shù)據(jù)庫(kù)說(shuō)明
7.4.7 物理實(shí)現(xiàn)
第8章 數(shù)據(jù)庫(kù)設(shè)計(jì)自動(dòng)化
8.1 引言
8.2 設(shè)計(jì)的自動(dòng)化原理
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è)計(jì)的自動(dòng)化算法
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è)計(jì)總體邏輯結(jié)構(gòu)算法dbADS-LM
8.4 自動(dòng)化算法應(yīng)用舉例
8.4.1 dbADS系統(tǒng)
8.4.2 例子
第9章 數(shù)據(jù)庫(kù)設(shè)計(jì)樣本
9.1 課題與設(shè)計(jì)指導(dǎo)
9.1.1 課題
9.1.2 設(shè)計(jì)指導(dǎo)
9.2 階段1：選擇某個(gè)系作為考察對(duì)象
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è)計(jì)
9.4.1 分解關(guān)系：確定TMDB的不可分解單元
9.4.2 總體邏輯結(jié)構(gòu)
9.5 編寫數(shù)據(jù)庫(kù)說(shuō)明
9.5.1 組織模型
9.5.2 關(guān)系模型轉(zhuǎn)化為邏輯記錄結(jié)構(gòu)
9.5.3 存取需求說(shuō)明
9.5.4 量化數(shù)據(jù)說(shuō)明
9.6 階段4：物理設(shè)計(jì)（Ⅰ）——構(gòu)造表
9.6.1 計(jì)表結(jié)構(gòu)
9.6.2 用DBD構(gòu)造表
9.7 階段4：物理設(shè)計(jì)（Ⅱ）——鏈接表
9.7.1 主索引和次級(jí)索引
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ù)庫(kù)設(shè)計(jì)課題
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é)束語(yǔ)
下篇  數(shù)據(jù)庫(kù)自動(dòng)生成系統(tǒng)dbADS
第10章 數(shù)據(jù)庫(kù)自動(dòng)生成系統(tǒng)dbADS操作說(shuō)明書
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 啟動(dòng)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ù)庫(kù)設(shè)計(jì)自動(dòng)化的研究報(bào)告
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)及其測(cè)試
11.4.1 dbADS系統(tǒng)
11.4.2 測(cè)試
第12章 關(guān)系數(shù)據(jù)庫(kù)自動(dòng)生成系統(tǒng)（dbADS）設(shè)計(jì)詳解書
12.1 課題與設(shè)計(jì)指導(dǎo)
12.1.1 課題
12.1.2 設(shè)計(jì)指導(dǎo)
12.2 演示數(shù)據(jù)庫(kù)自動(dòng)生成的方法和過程
12.2.1 階段1：真實(shí)世界的概念化階段
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è)計(jì)
參考文獻(xiàn)