不完全信息下XML數據庫基礎

前言
第1章 XML概述
    1.1 XML和DTD簡介
    1.2 XML的優(yōu)勢與特點
        1.2.1 XML的優(yōu)勢
        1.2.2 XML的特點
        1.2.3 XML應用概述
    1.3 基于編碼的XML數據庫存儲方法
    1.4 不完全信息下XML
        1.4.1不完全信息下關系數據庫數值理論
        1.4.2不完全信息下XML數值理論
    1.5 概率XML數據
    1.6 本章小結
第2章 基于編碼的XML數據庫存儲方法
    2.1 DTD完全一致性判定的相關定理和算法
    2.2 基于編碼的XML關系數據庫存儲方法
        2.2.1 編碼方法
        2.2.2 模式映射
        2.2.3 路徑查詢的實現
    2.3 XML文檔的重組與更新
        2.3.1 XML文檔的重組
        2.3.2 XML文檔的更新
        2.3.3 DTD的更新
        2.3.4 遞歸模式的處理
    2.4 本章小結
第3章 不完全信息下XML強函數依賴推理規(guī)則
    3.1 基礎知識
        3.1.1 不完全信息的語義分類
        3.1.2 不完全信息之間的關系
        3.1.3不完全信息函數依賴的保持條件
    3.2 不完全信息下XML文檔樹相關基本概念
    3.3 不完全信息下XML強函數依賴的性質
    3.4 不完全信息下XML強函數依賴推理規(guī)則集
        3.4.1XSFD推理規(guī)則集的正確性
        3.4.2XSFD推理規(guī)則集的完備性
    3.5 本章小結
第4章 不完全信息下XML數據依賴規(guī)范化
    4.1 不完全信息下XML強閉包依賴
        4.1.1不完全信息下XML強閉包依賴的定義
        4.1.2不完全信息下XML強閉包依賴的性質
    4.2 不完全信息下強閉包依賴的推理規(guī)則集
        4.2.1不完全信息下強閉包依賴推理規(guī)則集的正確性
        4.2.2不完全信息下強閉包依賴推理規(guī)則集的完備性
    4.3 XSIND范式
        4.3.1XSFD和XSIND之間的關系
        4.3.2XSIND產生數據冗余的原因
        4.3.3XSFD和非循環(huán)XSIND互不影響的判定條件
        4.3.4 XSIND范式的判定條件
        4.3.5規(guī)范S為XSIND范式的算法
    4.4 不完全信息下XML強多值依賴
    4.5 不完全信息XML文檔樹滿足XSMVD范式的條件
    4.6 規(guī)范不完全信息XML文檔樹為XSMVD范式
    4.7 本章小結
第5章 存在XSFD的XML Schema規(guī)范化
    5.1 基本定義
    5.2 XSFD的推理規(guī)則集
    5.3 XSFD的成員籍問題
    5.4 不完全信息下規(guī)范XML Schema為XSFD范式
        5.4.1XML雙類結點強函數依賴范式
        5.4.2XML雙類結點強函數依賴規(guī)范規(guī)則
        5.4.3 XMLSchema規(guī)范化算法
    5.5 存在XSMVD的性質
    5.6 XSMVD的推理規(guī)則集
        5.6.1XSMVD推理規(guī)則集的正確性
        5.6.2XSMVD推理規(guī)則集的完備性
    5.7 XSMVD弱范式
    5.8 規(guī)范XML Schema為XSMVD弱范式
        5.8.1 規(guī)范XMLSchema為XSMVD弱范式規(guī)范規(guī)則
        5.8.2 規(guī)范XMLSchema為XSMVD弱范式算法
    5.9 本章小結
第6章 概率數據模型分析和數據的轉換
    6.1 概率XML數據管理簡述
        6.1.1 概率XML數據模型
        6.1.2 概率XML代數
        6.1.3 概率XML數據查詢
        6.1.4 概率XML數據庫系統(tǒng)
    6.2 概率數據模型分析
        6.2.1 概率關系數據模型
        6.2.2 概率XML數據模型
        6.2.3概率XML樹的路徑表達式的類型
        6.2.4概率XML樹的路徑表達式的關系
        6.2.5概率XML樹的路徑表達式中結點的關系
    6.3 概率關系數據與概率XML數據的轉換
        6.3.1概率關系模式轉換為概率XML模式
        6.3.2概率XML模式轉換為概率關系模式的算法
        6.3.3概率關系數據轉換為概率XML數據樹的算法
        6.3.4概率關系數據轉換為概率XML數據的算法
    6.4 本章小結
第7章 概率XML XQuery和XML EXQuery
    7.1 以概率XML元素單元為操作對象的概率運算
        7.1.1 葉子結點概率運算
        7.1.2 概率閾截取運算
        7.1.3 平凡化運算
    7.2 概率XML樹的基本運算
        7.2.1 并運算
        7.2.2 交運算
        7.2.3 差運算
        7.2.4 連接運算
    7.3 概率XML代數系統(tǒng)的相關特性
        7.3.1概率XML代數系統(tǒng)的封閉性
        7.3.2 查詢操作有效性和完備性
    7.4 EXQuery函數
        7.4.1 與路徑表達式有關的函數
        7.4.2與路徑表達式轉換有關的函數
        7.4.3 概率計算有關的函數
        7.4.4路徑表達式的劃分有關的函數
        7.4.5路徑表達式關系判斷的有關的函數
        7.4.6 結點關系判斷有關的函數
        7.4.7 結點概率的計算函數
        7.4.8 與樹類型的判斷有關的函數
    7.5 本章小結
第8章 概率XML樹的結點概率查詢算法
    8.1 子樹個數的估計算法
    8.2 基于可能世界原理的結點概率查詢算法
    8.3 基于路徑表達式劃分的結點概率查詢算法
    8.4 本章小結
參考文獻