關(guān)系數(shù)據(jù)庫(kù)理論

     目錄
   第一章 關(guān)系模型
    1.1基本定義
    1.2關(guān)系運(yùn)算
    1.2.1對(duì)元組的運(yùn)算
    1.2.2關(guān)系代數(shù)
    1.2.3關(guān)系演算
   第二章 函數(shù)依賴
    2.1問題的提起
    2.2函數(shù)依賴
    2.2.1函數(shù)依賴的定義
    2.2.2函數(shù)依賴模式
    2.2.3函數(shù)依賴的公理系統(tǒng)
    2.3第三范式及BC范式
    2.4不好的關(guān)系模式弊病產(chǎn)生的原因
   第三章 函數(shù)依賴模式分解
    3.1模式分解的定義
    3.2無損連接的分解
    3.2.1定義
    3.2.2判定算法
    3.2.3算法的證明
    3.3無損依賴的分解
    3.3.1定義
    3.3.2判定方法
    3.3.3最小函數(shù)依賴集
    3.4轉(zhuǎn)化為3NF的分解
    3.5轉(zhuǎn)化為BCNF的分解
   第四章 多值依賴
    4.1多值依賴的定義
    4.1.1問題的提起
    4.1.2多值依賴的定義
    4.2多值依賴的公理系統(tǒng)
    4.2.1公理系統(tǒng)
    4.2.2有效性的證明
    4.2.3完備性的證明
    4.3多值依賴的一些特性
    4.3.1多值依賴的無損連接特性
    4.3.2多值依賴的其他特性
    4.4多值依賴的依賴基
    4.4.1基本定理
    4.4.2求多值依賴依賴基的算法
    4.4.3算法正確性的證明
    4.5第四范式
    4.6嵌入的多值依賴與子集的依賴
    4.6.1嵌入的多值依賴的定義
    4.6.2嵌入的多值依賴的公理系統(tǒng)
    4.6.3子集依賴
    4.6.4Z—子集依賴的完備公理系統(tǒng)
    4.6.5從Z—嵌入的多值依賴集合推導(dǎo)一般的嵌入的多值依賴
    4.6.6嵌入的多值依賴不存在完備公理系統(tǒng)的證明
   第五章 連接依賴與廣義依賴
    5.1問題的提起
    5.2連接依賴的定義
    5.3完全連接依賴的有效公理系統(tǒng)
    5.3.1公理系統(tǒng)
    5.3.2有效性的證明
    5.3.3有向無回路圖
    5.4廣義依賴
    5.4.1等值產(chǎn)生依賴
    5.4.2無組產(chǎn)生依賴
    5.4.3廣義依賴模式
    5.5追趕算法
    5.6全連接依賴的完備公理系統(tǒng)
    5.6.1成功追趕的DAG
    5.6.2增廣連接依賴
    5.6.3完全連接依賴的完備公理系統(tǒng)
    5.7第五范式
   第六章 泛關(guān)系
    6.1泛關(guān)系的基本概念
    6.1.1物理導(dǎo)航與邏輯導(dǎo)航
    6.6.2泛關(guān)系的謂詞定義
    6.2泛關(guān)系的連接依賴
    6.3泛關(guān)系中的空值
    6.4全投影與泛例及效模式
    6.5代表泛例
    6.5.1元組的淹沒與關(guān)系的淹沒
    6.5.2代表泛例的定義
    6.5.3求代表泛例的算法
    6.6泛關(guān)系的查詢解釋
    6.6.1窗口函數(shù)
    6.6.2唯一性模式與擴(kuò)展連接
    6.6.3語義結(jié)構(gòu)的窗口函數(shù)
   第七章 無回路數(shù)據(jù)庫(kù)
    7.1泛關(guān)系上的查詢表達(dá)式
    7.2泛關(guān)系上查詢可能的二義性
    7.2.1一個(gè)實(shí)例
    7.2.2克服二義性的一些方法
    7.3數(shù)據(jù)庫(kù)模式的超圖表示
    7.3.1超圖
    7.3.2二義性與回路
    7.4回路
    7.4.1部分邊集、關(guān)節(jié)、塊與α回路的定義
    7.4.2a無回路的等價(jià)特性
    7.4.3α無回路十二種特性等價(jià)的證明
    7.4.4α無回路數(shù)據(jù)庫(kù)的實(shí)例
    7.5β回路
    7.5.1β回路的定義
    7.5.2β回路的等價(jià)特性
    7.5.3β回路五種特性等價(jià)的證明
    7.5.4β無回路數(shù)據(jù)庫(kù)的實(shí)例
    7.6r回路
    7.6.1r回路的定義
    7.6.2r回路的等價(jià)定義
    7.6.3r回路的四個(gè)定義等價(jià)的證明
    7.6.4r無回路數(shù)據(jù)庫(kù)的實(shí)例
    7.7r無回路數(shù)據(jù)庫(kù)泛關(guān)系查詢無二義性
    7.7.1泛關(guān)系查詢無二義性的形式化定義
    7.7.2幾個(gè)定義
    7.7.3r無回路泛關(guān)系查詢無二義性的證明
    7.8各種無回路的識(shí)別與設(shè)計(jì)
   第八章 數(shù)據(jù)庫(kù)超圖的閉包
    8.1數(shù)據(jù)庫(kù)超圖
    8.1.1有向一無向超圖
    8.1.2超圖的等價(jià)
    8.2超圖的閉包
    8.2.1普通圖閉包的推廣
    8.2.2L—閉包
    8.2.3U—閉包
    8.3e—獨(dú)立超圖的閉包
    8.3.1獨(dú)立超圖
    8.3.2e—獨(dú)立超圖
    8.3.3e—獨(dú)立超圖的識(shí)別算法
    8.4e—無回路超圖的閉包
    8.4.1無回路超圖
    8.4.2e—無回路超圖
    8.4.3e一無回路超圖的識(shí)別算法
   第九章 元組序列與字典序索引
    9.1元組序列
    9.1.1定義與基本運(yùn)算
    9.1.2元組序列的右商
    9.1.3元組序列適合連接依賴的條件
    9.2索引
    9.2.1字典序索引的定義
    9.2.2索引的蘊(yùn)含
    9.2.3索引蘊(yùn)含推導(dǎo)的公理系統(tǒng)
    9.2.4公理有效性的證明
    9.2.5公理完備性的證明
    9.2.6適合給定索引集合的元組序列
    9.3索引與函數(shù)依賴
    9.3.1索引與函數(shù)依賴聯(lián)合推導(dǎo)公理系統(tǒng)
    9.3.2聯(lián)合公理系統(tǒng)有效性完備性證明
    9.4索引依賴
    9.4.1問題的提起
    9.4.2索引依賴的普遍性
    9.4.3索引依賴的形式化定義
    9.4.4索引依賴的背景異常
    9.4.5正則背景
    9.4.6索引依賴一般背景正則化
   第十章 模糊關(guān)系
    10.1模糊關(guān)系模型
    10.1.1模糊集合
    10.1.2模糊關(guān)系定義
    10.1.31型模糊關(guān)系實(shí)例
    10.1.42型模糊關(guān)系實(shí)例
    10.2模糊關(guān)系運(yùn)算
    10.2.1投影運(yùn)算
    10.2.2延伸運(yùn)算
    10.2自然連接運(yùn)算
    10.3模糊整體約束
    10.3.1域依賴與數(shù)據(jù)依賴
    10.3.2模糊運(yùn)算的傳遞原理
   第十一章 模糊函數(shù)依賴
    11.1模糊域中的域值相等
    11.1.1模糊域的EQUAL關(guān)系
    11.1.2EQUAL關(guān)系不同定義的實(shí)例
    11.2模糊函數(shù)依賴
    11.2.1定義
    11.2.2模糊函數(shù)依賴的實(shí)例1
    11.2.3模糊函數(shù)依賴實(shí)例2
    11.3模糊函數(shù)依賴的推導(dǎo)公理系統(tǒng)
    11.3.1公理系統(tǒng)
    11.3.2有效性
    11.3.3完備性
    11.4無損連接的分解
    11.4.1模糊無損連接的分解的定義
    11.4.2模糊無損連接分解的條件
    11.4.3模糊追趕算法
   第十二章 動(dòng)態(tài)函數(shù)依賴
    12.1關(guān)系的動(dòng)態(tài)模型
    12.2動(dòng)態(tài)函數(shù)依賴
    12.2.1動(dòng)態(tài)約束與靜態(tài)約束
    12.2.2動(dòng)態(tài)約束的兩個(gè)例子
    12.2.3更新與“作用關(guān)系”
    12.2.4動(dòng)態(tài)函數(shù)依賴的形式化定義
    12.2.5二分的動(dòng)態(tài)函數(shù)依賴
    12.3動(dòng)態(tài)函數(shù)依賴模式的閉包
    12.3.1定義
    12.3.2動(dòng)態(tài)函數(shù)依賴模式閉包的計(jì)算方法
    12.3.3兩個(gè)動(dòng)態(tài)函數(shù)依賴模式的等價(jià)
    12.4動(dòng)態(tài)映射
    12.4.1四種動(dòng)態(tài)映射
    12.4.2動(dòng)態(tài)映射性質(zhì)1
    12.4.3動(dòng)態(tài)映射性質(zhì)2
    12.4.4例子
    12.4.5動(dòng)態(tài)映射性質(zhì)3
    12.4.6動(dòng)態(tài)映射性質(zhì)4
    12.4.7例子
   第十三章 關(guān)系的“老化”
    13.1穩(wěn)定關(guān)系的年齡
    13.1.1穩(wěn)定的關(guān)系序列
    13.1.2age—K閉包
    13.2age—K閉包的計(jì)算方法
    13.2.1作用屬性、作用約束與作用關(guān)系
    13.2.2age—K閉包計(jì)算方法（一）
    13.2.3二分的函數(shù)依賴
    13.2.4age—K閉包的計(jì)算方法（二）
    13.3關(guān)系的“老化”
    13.3.1age—K閉包序列的“收斂”
    13.3.2“成年”關(guān)系
    13.3.3對(duì)動(dòng)態(tài)映射封閉的最小閉包
    13.3.4公理
    13.3.5age—K閉包序列“極限”推導(dǎo)算法證明
    13.4任意關(guān)系的年齡
    13.4.1任意關(guān)系序列中元組的年齡
    13.4.2關(guān)系的生命力
   第十四章 目標(biāo)投影視圖的動(dòng)態(tài)模式
    14.1關(guān)系中目標(biāo)的體現(xiàn)
    14.1.1關(guān)系中的目標(biāo)
    14.1.2目標(biāo)屬性集合的形式化定義
    14.1.3目標(biāo)屬性集合的識(shí)別
    141.4正則動(dòng)態(tài)擴(kuò)充
    14.2目標(biāo)投影視圖的約束
    14.2.1動(dòng)態(tài)函數(shù)依賴族的投影
    14.2.2包含目標(biāo)投影視圖的最小動(dòng)態(tài)函數(shù)依賴族
    14.3目標(biāo)投影視圖的更新
    14.3.1目標(biāo)—投影—視圖模式（O—P—V模式）
    14.3.2可更新的O—P—V模式
    14.3.3O—P—V模式可更新的充要條件
    14.3.4O—P—V模式可更新的簡(jiǎn)易判定條件
    14.3.5正則動(dòng)態(tài)擴(kuò)充的目標(biāo)投影視圖的可更新性
    14.3.6可更新視圖是函數(shù)依賴族的條件
   第十五章 查詢優(yōu)化
    15.1查詢優(yōu)化概述
    15.1.1查詢優(yōu)化的目的
    15.1.2關(guān)系演算與關(guān)系代數(shù)的進(jìn)一步的性質(zhì)
    15.2查詢優(yōu)化的一般策略
    15.2.1語法樹
    15.2.2關(guān)系代數(shù)的等價(jià)變換
    15.2.3關(guān)系代數(shù)表達(dá)式的優(yōu)化算法
    15.3等式合取查詢
    15.3.1合取查詢的定義
    15.3.2等式合取查詢的同態(tài)映射
    15.3.3等式合取查詢的包含問題
    15.3.4自同態(tài)與極小化
    15.4稠密域不等式合取查詢
    15.4.1不等式合取查詢的特點(diǎn)
    15.4.2G（L）圖
    15.4.3序等價(jià)賦值
    15.4.4稠密域不等式合取查詢的包含問題
    15.4.5不等式合取查詢中的同態(tài)條件
    15.4.6半開區(qū)間不等式合取查詢
    15.5必要常數(shù)與極小化
    15.5.1必要常數(shù)及不必要常數(shù)
    15.5.2查詢的“擾動(dòng)”
    15.5.3“擾動(dòng)”對(duì)等式的效果
    15.5.4等價(jià)查詢與必要常數(shù)的關(guān)系
    15.6離散域不等式合取查詢
    15.6.1保合式映射
    15.6.2基本定理
    15.7離散域不等式合取查詢包含的算法
    15.7.1賦值的特征值
    15.7.2m位m進(jìn)制數(shù)是特征值的充要條件
    15.7.3單個(gè)域包含問題的判定算法
    15.7.4多個(gè)域時(shí)查詢包含問題的判定算法