123,123

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

前言
第1章 XML概述
    1.1 XML和DTD簡(jiǎn)介
    1.2 XML的優(yōu)勢(shì)與特點(diǎn)
        1.2.1 XML的優(yōu)勢(shì)
        1.2.2 XML的特點(diǎn)
        1.2.3 XML應(yīng)用概述
    1.3 基于編碼的XML數(shù)據(jù)庫(kù)存儲(chǔ)方法
    1.4 不完全信息下XML
        1.4.1不完全信息下關(guān)系數(shù)據(jù)庫(kù)數(shù)值理論
        1.4.2不完全信息下XML數(shù)值理論
    1.5 概率XML數(shù)據(jù)
    1.6 本章小結(jié)
第2章基于編碼的XML數(shù)據(jù)庫(kù)存儲(chǔ)方法
    2.1 DTD完全一致性判定的相關(guān)定理和算法
    2.2 基于編碼的XML關(guān)系數(shù)據(jù)庫(kù)存儲(chǔ)方法
        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ǔ)知識(shí)
        3.1.1 不完全信息的語(yǔ)義分類(lèi)
        3.1.2 不完全信息之間的關(guān)系
        3.1.3不完全信息函數(shù)依賴的保持條件
    3.2 不完全信息下XML文檔樹(shù)相關(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文檔樹(shù)滿足XSMVD范式的條件
    4.6 規(guī)范不完全信息XML文檔樹(shù)為XSMVD范式
    4.7 本章小結(jié)
第5章存在XSFD的XML Schema規(guī)范化
    5.1 基本定義
    5.2 XSFD的推理規(guī)則集
    5.3 XSFD的成員籍問(wèn)題
    5.4 不完全信息下規(guī)范XML Schema為XSFD范式
        5.4.1XML雙類(lèi)結(jié)點(diǎn)強(qiáng)函數(shù)依賴范式
        5.4.2XML雙類(lèi)結(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ù)管理簡(jiǎn)述
        6.1.1 概率XML數(shù)據(jù)模型
        6.1.2 概率XML代數(shù)
        6.1.3 概率XML數(shù)據(jù)查詢
        6.1.4 概率XML數(shù)據(jù)庫(kù)系統(tǒng)
    6.2 概率數(shù)據(jù)模型分析
        6.2.1 概率關(guān)系數(shù)據(jù)模型
        6.2.2 概率XML數(shù)據(jù)模型
        6.2.3概率XML樹(shù)的路徑表達(dá)式的類(lèi)型
        6.2.4概率XML樹(shù)的路徑表達(dá)式的關(guān)系
        6.2.5概率XML樹(shù)的路徑表達(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ù)樹(shù)的算法
        6.3.4概率關(guān)系數(shù)據(jù)轉(zhuǎn)換為概率XML數(shù)據(jù)的算法
    6.4 本章小結(jié)
第7章概率XML XQuery和XML EXQuery
    7.1 以概率XML元素單元為操作對(duì)象的概率運(yùn)算
        7.1.1 葉子結(jié)點(diǎn)概率運(yùn)算
        7.1.2 概率閾截取運(yùn)算
        7.1.3 平凡化運(yùn)算
    7.2 概率XML樹(shù)的基本運(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 與樹(shù)類(lèi)型的判斷有關(guān)的函數(shù)
    7.5 本章小結(jié)
第8章概率XML樹(shù)的結(jié)點(diǎn)概率查詢算法
    8.1 子樹(shù)個(gè)數(shù)的估計(jì)算法
    8.2 基于可能世界原理的結(jié)點(diǎn)概率查詢算法
    8.3 基于路徑表達(dá)式劃分的結(jié)點(diǎn)概率查詢算法
    8.4 本章小結(jié)
參考文獻(xiàn)