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

     目錄
   第一章 關(guān)系模型
    1.1基本定義
    1.2關(guān)系運算
    1.2.1對元組的運算
    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—嵌入的多值依賴集合推導一般的嵌入的多值依賴
    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物理導航與邏輯導航
    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唯一性模式與擴展連接
    6.6.3語義結(jié)構(gòu)的窗口函數(shù)
   第七章 無回路數(shù)據(jù)庫
    7.1泛關(guān)系上的查詢表達式
    7.2泛關(guān)系上查詢可能的二義性
    7.2.1一個實例
    7.2.2克服二義性的一些方法
    7.3數(shù)據(jù)庫模式的超圖表示
    7.3.1超圖
    7.3.2二義性與回路
    7.4回路
    7.4.1部分邊集、關(guān)節(jié)、塊與α回路的定義
    7.4.2a無回路的等價特性
    7.4.3α無回路十二種特性等價的證明
    7.4.4α無回路數(shù)據(jù)庫的實例
    7.5β回路
    7.5.1β回路的定義
    7.5.2β回路的等價特性
    7.5.3β回路五種特性等價的證明
    7.5.4β無回路數(shù)據(jù)庫的實例
    7.6r回路
    7.6.1r回路的定義
    7.6.2r回路的等價定義
    7.6.3r回路的四個定義等價的證明
    7.6.4r無回路數(shù)據(jù)庫的實例
    7.7r無回路數(shù)據(jù)庫泛關(guān)系查詢無二義性
    7.7.1泛關(guān)系查詢無二義性的形式化定義
    7.7.2幾個定義
    7.7.3r無回路泛關(guān)系查詢無二義性的證明
    7.8各種無回路的識別與設(shè)計
   第八章 數(shù)據(jù)庫超圖的閉包
    8.1數(shù)據(jù)庫超圖
    8.1.1有向一無向超圖
    8.1.2超圖的等價
    8.2超圖的閉包
    8.2.1普通圖閉包的推廣
    8.2.2L—閉包
    8.2.3U—閉包
    8.3e—獨立超圖的閉包
    8.3.1獨立超圖
    8.3.2e—獨立超圖
    8.3.3e—獨立超圖的識別算法
    8.4e—無回路超圖的閉包
    8.4.1無回路超圖
    8.4.2e—無回路超圖
    8.4.3e一無回路超圖的識別算法
   第九章 元組序列與字典序索引
    9.1元組序列
    9.1.1定義與基本運算
    9.1.2元組序列的右商
    9.1.3元組序列適合連接依賴的條件
    9.2索引
    9.2.1字典序索引的定義
    9.2.2索引的蘊含
    9.2.3索引蘊含推導的公理系統(tǒng)
    9.2.4公理有效性的證明
    9.2.5公理完備性的證明
    9.2.6適合給定索引集合的元組序列
    9.3索引與函數(shù)依賴
    9.3.1索引與函數(shù)依賴聯(lián)合推導公理系統(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)系實例
    10.1.42型模糊關(guān)系實例
    10.2模糊關(guān)系運算
    10.2.1投影運算
    10.2.2延伸運算
    10.2自然連接運算
    10.3模糊整體約束
    10.3.1域依賴與數(shù)據(jù)依賴
    10.3.2模糊運算的傳遞原理
   第十一章 模糊函數(shù)依賴
    11.1模糊域中的域值相等
    11.1.1模糊域的EQUAL關(guān)系
    11.1.2EQUAL關(guān)系不同定義的實例
    11.2模糊函數(shù)依賴
    11.2.1定義
    11.2.2模糊函數(shù)依賴的實例1
    11.2.3模糊函數(shù)依賴實例2
    11.3模糊函數(shù)依賴的推導公理系統(tǒng)
    11.3.1公理系統(tǒng)
    11.3.2有效性
    11.3.3完備性
    11.4無損連接的分解
    11.4.1模糊無損連接的分解的定義
    11.4.2模糊無損連接分解的條件
    11.4.3模糊追趕算法
   第十二章 動態(tài)函數(shù)依賴
    12.1關(guān)系的動態(tài)模型
    12.2動態(tài)函數(shù)依賴
    12.2.1動態(tài)約束與靜態(tài)約束
    12.2.2動態(tài)約束的兩個例子
    12.2.3更新與“作用關(guān)系”
    12.2.4動態(tài)函數(shù)依賴的形式化定義
    12.2.5二分的動態(tài)函數(shù)依賴
    12.3動態(tài)函數(shù)依賴模式的閉包
    12.3.1定義
    12.3.2動態(tài)函數(shù)依賴模式閉包的計算方法
    12.3.3兩個動態(tài)函數(shù)依賴模式的等價
    12.4動態(tài)映射
    12.4.1四種動態(tài)映射
    12.4.2動態(tài)映射性質(zhì)1
    12.4.3動態(tài)映射性質(zhì)2
    12.4.4例子
    12.4.5動態(tài)映射性質(zhì)3
    12.4.6動態(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閉包的計算方法
    13.2.1作用屬性、作用約束與作用關(guān)系
    13.2.2age—K閉包計算方法（一）
    13.2.3二分的函數(shù)依賴
    13.2.4age—K閉包的計算方法（二）
    13.3關(guān)系的“老化”
    13.3.1age—K閉包序列的“收斂”
    13.3.2“成年”關(guān)系
    13.3.3對動態(tài)映射封閉的最小閉包
    13.3.4公理
    13.3.5age—K閉包序列“極限”推導算法證明
    13.4任意關(guān)系的年齡
    13.4.1任意關(guān)系序列中元組的年齡
    13.4.2關(guān)系的生命力
   第十四章 目標投影視圖的動態(tài)模式
    14.1關(guān)系中目標的體現(xiàn)
    14.1.1關(guān)系中的目標
    14.1.2目標屬性集合的形式化定義
    14.1.3目標屬性集合的識別
    141.4正則動態(tài)擴充
    14.2目標投影視圖的約束
    14.2.1動態(tài)函數(shù)依賴族的投影
    14.2.2包含目標投影視圖的最小動態(tài)函數(shù)依賴族
    14.3目標投影視圖的更新
    14.3.1目標—投影—視圖模式（O—P—V模式）
    14.3.2可更新的O—P—V模式
    14.3.3O—P—V模式可更新的充要條件
    14.3.4O—P—V模式可更新的簡易判定條件
    14.3.5正則動態(tài)擴充的目標投影視圖的可更新性
    14.3.6可更新視圖是函數(shù)依賴族的條件
   第十五章 查詢優(yōu)化
    15.1查詢優(yōu)化概述
    15.1.1查詢優(yōu)化的目的
    15.1.2關(guān)系演算與關(guān)系代數(shù)的進一步的性質(zhì)
    15.2查詢優(yōu)化的一般策略
    15.2.1語法樹
    15.2.2關(guān)系代數(shù)的等價變換
    15.2.3關(guān)系代數(shù)表達式的優(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不等式合取查詢的特點
    15.4.2G（L）圖
    15.4.3序等價賦值
    15.4.4稠密域不等式合取查詢的包含問題
    15.4.5不等式合取查詢中的同態(tài)條件
    15.4.6半開區(qū)間不等式合取查詢
    15.5必要常數(shù)與極小化
    15.5.1必要常數(shù)及不必要常數(shù)
    15.5.2查詢的“擾動”
    15.5.3“擾動”對等式的效果
    15.5.4等價查詢與必要常數(shù)的關(guān)系
    15.6離散域不等式合取查詢
    15.6.1保合式映射
    15.6.2基本定理
    15.7離散域不等式合取查詢包含的算法
    15.7.1賦值的特征值
    15.7.2m位m進制數(shù)是特征值的充要條件
    15.7.3單個域包含問題的判定算法
    15.7.4多個域時查詢包含問題的判定算法