時態(tài)數(shù)據(jù)庫設(shè)計(jì)理論

前言
第1章 時態(tài)數(shù)據(jù)庫設(shè)計(jì)研究的概況
1.1 時態(tài)數(shù)據(jù)庫設(shè)計(jì)研究概況
1.2 時態(tài)ER模型的研究概況
1.3 時態(tài)數(shù)據(jù)庫的類型和查詢語言概述
1.3.1 時態(tài)數(shù)據(jù)庫元素的類型
1.3.2 時態(tài)查詢語言
1.4 本章 小結(jié)
第2章 時態(tài)類型和它的封閉集處理
2.1 時態(tài)類型和時態(tài)函數(shù)依賴
2.1.1 時態(tài)類型
2.1.2 時態(tài)模塊
2.1.3 時態(tài)函數(shù)依賴和集細(xì)于關(guān)系
2.1.4 TFD的推導(dǎo)規(guī)則
2.1.5 時態(tài)類型處理
2.2 封閉時態(tài)類型集
2.2.1 封閉集與公共最大下界
2.2.2 封閉集算法
2.3 本章 小結(jié)
第3章 基于全序TFD集的時態(tài)模式規(guī)范化
3.1 全序TFD集特性和成員籍
3.1.1 全序時態(tài)類型集的TFD集的邏輯蘊(yùn)涵
3.1.2 求全序時態(tài)類型TFD集成員籍的算法
3.1.3 求時態(tài)候選關(guān)鍵字算法
3.1.4 屬性集的有限閉包
3.2 TFD集的化簡
3.3 時態(tài)TFD集F規(guī)范化的基本概念
3.4 T3NF分解
3.4.1 T3NF分解算法
3.4.2 應(yīng)用實(shí)例
3.5 時態(tài)初等關(guān)鍵字范式和簡單范式
3.5.1 時態(tài)初等關(guān)鍵字范式分解
3.5.2 時態(tài)簡單范式分解
3.6 本章 小結(jié)
第4章 基于偏序TFD集的時態(tài)模式的規(guī)范化
4.1 TFD集成員籍算法
4.1.1 基于有限決定集的成員籍算法
4.1.2 基于屬性集的有限閉包的成員籍算法
4.1.3 基于有限導(dǎo)出吋態(tài)類型集的成員籍算法
4.1.4 三種算法的比較
4.2 基于偏序TFD集的吋態(tài)模式的弱時態(tài)第三范式
4.2.1 弱時態(tài)第三范式的定義
4.2.2 WT3NF分解算法
4.3 WT3NF分解算法的有效性與實(shí)用性
4.3.1 WT3NF分解算法的有效性
4.3.2 WT3NF分解算法的實(shí)用性
4.4 應(yīng)用實(shí)例
4.5 基于偏序TFD集的時態(tài)模式的時態(tài)BC范式
4.5.1 偏序時態(tài)BC范式
4.5.2 偏序時態(tài)BC范式分解算法
4.6 本章 小結(jié)
第5章 基于TMVD的時態(tài)模式的規(guī)范化
5.1 時態(tài)多值依賴的推導(dǎo)規(guī)則
5.1.1 多值依賴的概念
5.1.2 MVD集M的依賴基
5.1.3 時態(tài)多值依賴的概念
5.1.4 時態(tài)多值依賴的推導(dǎo)規(guī)則
5.2 TFD和TMVD的相互作用
5.3 成員籍問題
5.3.1 時態(tài)類型集的強(qiáng)封閉集
5.3.2 屬性集的有限閉包、有限依賴基和特殊有限依賴基
5.4 有限依賴基和特殊有限依賴基的基本定理、求解算法
5.5 TFD和TMVD邏輯蘊(yùn)涵的判定
5.6 時態(tài)模式的時態(tài)T4NF范式分解算法
5.7 本章 小結(jié)
第6章 強(qiáng)全序時態(tài)模式中多值依賴問題
6.1 規(guī)則時態(tài)多值依賴
6.1.1 規(guī)則時態(tài)多值依賴
6.1.2 強(qiáng)全序RTMⅧ推導(dǎo)規(guī)則
6.2 RTMVD與強(qiáng)全序時態(tài)模塊模式無損分解
6.3 強(qiáng)全序吋態(tài)模式中混合依賴集成員籍
6.3.1 強(qiáng)全序模式混合依賴基算法
6.3.2 強(qiáng)全序模式混合閉包算法
6.3.3 強(qiáng)全序時態(tài)模式中成員籍問題
6.4 強(qiáng)全序時態(tài)混合依賴覆蓋
6.5 本章 小結(jié)
第7章 基于時態(tài)ER模型的時態(tài)數(shù)據(jù)庫設(shè)計(jì)
7.1 TEERM模型的結(jié)構(gòu)
7.1.1 實(shí)體類型
7.1.2 屬性
7.1.3 聯(lián)系類型
7.1.4 指派實(shí)體類型的TIK
7.2 規(guī)范TFD約束
7.2.1 規(guī)范TFD約束的結(jié)構(gòu)
7.2.2 規(guī)范T四的規(guī)則
7.3 向時態(tài)模塊模式投影
7.3.1 幾個操作
7.3.2 投影算法
7.3.3 簡單分析
7.4 基于TEERM模型的數(shù)據(jù)庫設(shè)計(jì)
7.4.1 支持傳統(tǒng)應(yīng)用
7.4.2 基于TEERM的數(shù)據(jù)庫設(shè)計(jì)方法學(xué)
7.4.3 應(yīng)用實(shí)例
7.5 本章 小結(jié)
參考文獻(xiàn)