人妻久久久精品99系列2025,午夜成人三级在线,日韩一区二区天海翼

內(nèi)容簡介

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

作者簡介

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

圖書目錄

前言
第1章 XML概述
    1.1 XML和DTD簡介
    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ù)庫存儲(chǔ)方法
    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ù)庫存儲(chǔ)方法
    2.1 DTD完全一致性判定的相關(guān)定理和算法
    2.2 基于編碼的XML關(guān)系數(shù)據(jù)庫存儲(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 不完全信息的語義分類
        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元素單元為操作對(duì)象的概率運(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)