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

定　價：￥55.00

作　者：	郝忠孝著
出版社：	科學出版社
叢編項：
標　簽：	XML

購買這本書可以去

ISBN：	9787030315649	出版時間：	2011-06-01	包裝：	平裝
開本：	16開	頁數(shù)：	195	字數(shù)：

內容簡介

　　《不完全信息下XML數(shù)據(jù)庫基礎》系統(tǒng)論述和分析了不完全信息XML數(shù)據(jù)庫和概率XML數(shù)據(jù)庫等若干新的技術和理論?！恫煌耆畔⑾耎ML數(shù)據(jù)庫基礎》共8章。主要內容包括：有關XML數(shù)據(jù)庫的一些基本概念、基于編碼的XML，數(shù)據(jù)庫存儲方法；以語義型不完全信息下XML、邏輯型不完全信息一概率XML數(shù)據(jù)為主線，討論了不完全信息下XML的強函數(shù)依賴推理規(guī)則、不完全信息下XML數(shù)據(jù)依賴規(guī)范化、存在XSFID的XMLSchema規(guī)范化、概率數(shù)據(jù)模型分析和數(shù)據(jù)的轉換、概率XML查詢代數(shù)系統(tǒng)和EXQuery、概率XML樹的結點概率查詢算法等?！恫煌耆畔⑾耎ML數(shù)據(jù)庫基礎》可作為計算機科學與技術學科、數(shù)據(jù)庫領域、Agent技術、軟件設計元素的交換、網(wǎng)絡服務領域、EDI、電子商務等領域相關專業(yè)的高年級本科生或碩士生選修課教材，也可供從事上述領域研究的博士生、科研人員及工程技術人員等參考。

作者簡介

　　郝忠孝，教授，山東蓬萊人，1940年12月生，中共黨員，曾任原東北重型機械學院副校長，齊齊哈爾大學副校長，哈爾濱理工大學學術委員會主席?，F(xiàn)任哈爾濱工業(yè)大學博士生導師（兼）、哈爾濱理工大學博士生導師。原機械電子工業(yè)部有突出貢獻專家、享受國務院政府特殊津貼、全國優(yōu)秀教師、黑龍江省共享人才專家、黑龍江省級學科帶頭人、黑龍江省計算機學會副理事長。主要研究領域：①空值數(shù)據(jù)庫理論。在國內外首次提出了空值數(shù)據(jù)庫數(shù)據(jù)模型，完成一系列相關研究，形成了比較完整的理論體系，著有國內外第一部該領域的論著《空值環(huán)境下數(shù)據(jù)庫導論》。②數(shù)據(jù)庫NP完全問題的求解問題。首次基本解決了求全部候選關鍵字、主屬性，基數(shù)為M的候選關鍵字，最小候選關鍵字等問題，著有《關系數(shù)據(jù)庫數(shù)據(jù)理論新進展》一書。③數(shù)據(jù)庫數(shù)據(jù)組織的無環(huán)性理論研究。在無α環(huán)、無β環(huán)、無γ環(huán)的分解條件與規(guī)范化理論研究方面有了突破性進展，著有《數(shù)據(jù)庫數(shù)據(jù)組織無環(huán)性理論》。④時態(tài)數(shù)據(jù)庫理論研究。系統(tǒng)提出并完成了時態(tài)數(shù)據(jù)庫中基于全序、偏序、多粒度環(huán)境下的各種時態(tài)理論問題研究，著有《時態(tài)數(shù)據(jù)庫設計理論》的論著。⑤主動數(shù)據(jù)庫理論研究。著有國內外第一部該方面的論著《主動數(shù)據(jù)庫系統(tǒng)理論基礎》。⑥空間、時空數(shù)據(jù)庫理論研究。首次解決了空間數(shù)據(jù)庫線段最近鄰查詢的問題，著有《時空數(shù)據(jù)庫查詢與推理》。⑦不完全信息下XML概率XML數(shù)據(jù)庫理論研究。首次解決了不完全信息下XML數(shù)據(jù)庫部分理論研究問題，著有《不完全信息下XML數(shù)據(jù)庫基礎》。發(fā)表學術論文230余篇，其中，國家一級論文160余篇、在《計算機研究與發(fā)展》上發(fā)表個人學術論文專輯兩部，被SCI、EI等檢索140余篇。1991年發(fā)表學術論文數(shù)居中國科技界第5位（并列）。著書7部。

圖書目錄

前言
第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數(shù)據(jù)庫存儲方法
    1.4 不完全信息下XML
        1.4.1不完全信息下關系數(shù)據(jù)庫數(shù)值理論
        1.4.2不完全信息下XML數(shù)值理論
    1.5 概率XML數(shù)據(jù)
    1.6 本章小結
第2章基于編碼的XML數(shù)據(jù)庫存儲方法
    2.1 DTD完全一致性判定的相關定理和算法
    2.2 基于編碼的XML關系數(shù)據(jù)庫存儲方法
        2.2.1 編碼方法
        2.2.2 模式映射
        2.2.3 路徑查詢的實現(xiàn)
    2.3 XML文檔的重組與更新
        2.3.1 XML文檔的重組
        2.3.2 XML文檔的更新
        2.3.3 DTD的更新
        2.3.4 遞歸模式的處理
    2.4 本章小結
第3章不完全信息下XML強函數(shù)依賴推理規(guī)則
    3.1 基礎知識
        3.1.1 不完全信息的語義分類
        3.1.2 不完全信息之間的關系
        3.1.3不完全信息函數(shù)依賴的保持條件
    3.2 不完全信息下XML文檔樹相關基本概念
    3.3 不完全信息下XML強函數(shù)依賴的性質
    3.4 不完全信息下XML強函數(shù)依賴推理規(guī)則集
        3.4.1XSFD推理規(guī)則集的正確性
        3.4.2XSFD推理規(guī)則集的完備性
    3.5 本章小結
第4章不完全信息下XML數(shù)據(jù)依賴規(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產(chǎn)生數(shù)據(jù)冗余的原因
        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雙類結點強函數(shù)依賴范式
        5.4.2XML雙類結點強函數(shù)依賴規(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章概率數(shù)據(jù)模型分析和數(shù)據(jù)的轉換
    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 概率關系數(shù)據(jù)模型
        6.2.2 概率XML數(shù)據(jù)模型
        6.2.3概率XML樹的路徑表達式的類型
        6.2.4概率XML樹的路徑表達式的關系
        6.2.5概率XML樹的路徑表達式中結點的關系
    6.3 概率關系數(shù)據(jù)與概率XML數(shù)據(jù)的轉換
        6.3.1概率關系模式轉換為概率XML模式
        6.3.2概率XML模式轉換為概率關系模式的算法
        6.3.3概率關系數(shù)據(jù)轉換為概率XML數(shù)據(jù)樹的算法
        6.3.4概率關系數(shù)據(jù)轉換為概率XML數(shù)據(jù)的算法
    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代數(shù)系統(tǒng)的相關特性
        7.3.1概率XML代數(shù)系統(tǒng)的封閉性
        7.3.2 查詢操作有效性和完備性
    7.4 EXQuery函數(shù)
        7.4.1 與路徑表達式有關的函數(shù)
        7.4.2與路徑表達式轉換有關的函數(shù)
        7.4.3 概率計算有關的函數(shù)
        7.4.4路徑表達式的劃分有關的函數(shù)
        7.4.5路徑表達式關系判斷的有關的函數(shù)
        7.4.6 結點關系判斷有關的函數(shù)
        7.4.7 結點概率的計算函數(shù)
        7.4.8 與樹類型的判斷有關的函數(shù)
    7.5 本章小結
第8章概率XML樹的結點概率查詢算法
    8.1 子樹個數(shù)的估計算法
    8.2 基于可能世界原理的結點概率查詢算法
    8.3 基于路徑表達式劃分的結點概率查詢算法
    8.4 本章小結
參考文獻