內容簡介
郝忠孝編著的有關XML資料庫的一些基本概念、基於編碼的XML，資料庫存儲方法；以語義型不完全信息下XML、邏輯型不完全信息一機率XML數據為主線，討論了不完全信息下XML的強函式依賴推理規則、不完全信息下XML數據依賴規範化、存在XSFID的XMLSchema規範化、機率數據模型分析和數據的轉換、機率XML查詢代數系統和EXQuery、機率XML樹的結點機率查詢算法等。《不完全信息下XML資料庫基礎》可作為計算機科學與技術學科、資料庫領域、Agent技術、軟體設計元素的交換、網路服務領域、EDI、電子商務等領域相關專業的高年級本科生或碩士生選修課教材，也可供從事上述領域研究的博士生、科研人員及工程技術人員等參考。
作者簡介
郝忠孝，教授，山東蓬萊人，1940年12月生，中共黨員，曾任原東北重型機械學院副校長，齊齊哈爾大學副校長，哈爾濱理工大學學術委員會主席。現任哈爾濱工業大學博士生導師（兼）、哈爾濱理工大學博士生導師。原機械電子工業部有突出貢獻專家、享受國務院政府特殊津貼、全國優秀教師、黑龍江省共享人才專家、黑龍江省級學科帶頭人、黑龍江省計算機學會副理事長。
主要研究領域：①空值資料庫理論。在國內外首次提出了空值資料庫數據模型，完成一系列相關研究，形成了比較完整的理論體系，著有國內外第一部該領域的論著《空值環境下資料庫導論》。②資料庫NP完全問題的求解問題。首次基本解決了求全部候選關鍵字、主屬性，基數為M的候選關鍵字，最小候選關鍵字等問題，著有《關係資料庫數據理論新進展》一書。③資料庫數據組織的無環性理論研究。在無α環、無β環、無γ環的分解條件與規範化理論研究方面有了突破性進展，著有《資料庫數據組織無環性理論》。④時態資料庫理論研究。系統提出並完成了時態資料庫中基於全序、偏序、多粒度環境下的各種時態理論問題研究，著有《時態資料庫設計理論》的論著。⑤主動資料庫理論研究。著有國內外第一部該方面的論著《主動資料庫系統理論基礎》。⑥空間、時空資料庫理論研究。首次解決了空間資料庫線段最近鄰查詢的問題，著有《時空資料庫查詢與推理》。⑦不完全信息下XML機率XML資料庫理論研究。首次解決了不完全信息下XML資料庫部分理論研究問題，著有《不完全信息下XML資料庫基礎》。
發表學術論文230餘篇，其中，國家一級論文160餘篇、在《計算機研究與發展》上發表個人學術論文專輯兩部，被SCI、EI等檢索140餘篇。1991年發表學術論文數居中國科技界第5位（並列）。著書7部。
圖書目錄
前言
第1章 XML概述
1.1 XML和DTD簡介
1.2 XML的優勢與特點
1.2.1 XML的優勢
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強函式依賴推理規則
3.1 基礎知識
3.1.1 不完全信息的語義分類
3.1.2 不完全信息之間的關係
3.1.3 不完全信息函式依賴的保持條件
3.2 不完全信息下XML文檔樹相關基本概念
3.3 不完全信息下xML強函式依賴的性質
3.4 不完全信息下XML強函式依賴推理規則集
3.4.1 XSFD推理規則集的正確性
3.4.2 XSFD推理規則集的完備性
3.5 本章小結
第4章 不完全信息下XML數據依賴規範化
4.1 不完全信息下XML強閉包依賴
4.1.1 不完全信息下XML強閉包依賴的定義
4.1.2 不完全信息下XML強閉包依賴的性質
4.2 不完全信息下強閉包依賴的推理規則集
4.2.1 不完全信息下強閉包依賴推理規則集的正確性
4.2.2 不完全信息下強閉包依賴推理規則集的完備性
4.3 XSIND範式
4.3.1 XSFID和XSIND之間的關係
4.3.2 XSIND產生數據冗餘的原因
4.3.3 XSFID和非循環XSIND互不影響的判定條件
4.3.4 XSIND範式的判定條件
4.3.5 規範S為XSIND範式的算法
4.4 不完全信息下XML強多值依賴
4.5 不完全信息XML文檔樹滿足XSMVD範式的條件
4.6 規範不完全信息XML文檔樹為XSMVD範式
4.7 本章小結
第5章 存在XSFD的XML Sclaema規範化
5.1 基本定義
5.2 XSFD的推理規則集
5.3 XSFD的成員籍問題
5.4 不完全信息下規範XML Schhema為XSFD範式
5.4.1 XML雙類結點強函式依賴範式
5.4.2 XML雙類結點強函式依賴規範規則
5.4.3 XMLSchema規範化算法
5.5 存在XSMⅧ的性質
5.6 XSMVD的推理規則集
5.6.1 XSMVD推理規則集的正確性
5.6.2 XSMVD推理規則集的完備性
5.7 XSMVD弱範式
5.8 規範XML Schema為XSMVD弱範式
5.8.1 規範XML Schema為XSMVD弱範式規範規則
5.8.2 規範XML Schema為XSMVD弱範式算法
5.9 本章小結
第6章 機率數據模型分析和數據的轉換
6.1 機率XML數據管理簡述
6.1.1 機率：XML數據模型
6.1.2 機率：XML代數
6.1.3 機率XML數據查詢
6.1.4 機率XML資料庫系統
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 XQpuery和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代數系統的相關特性
7.3.1 機率XML代數系統的封閉性
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 本章小結
參考文獻
