不完全信息下XML數(shù)據(jù)庫基礎(chǔ)

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