語(yǔ)義驅(qū)動(dòng)的XML規(guī)范化研究.pdf

1、XML已經(jīng)成為W3C制訂的Web上的數(shù)據(jù)表示和數(shù)據(jù)交換的標(biāo)準(zhǔn)，需要通過(guò)Web交換和處理的XML數(shù)據(jù)在大幅度的增加，這就對(duì)XML的數(shù)據(jù)模式提出了更高的要求。設(shè)計(jì)一個(gè)好的Schema的中心目標(biāo)之一就是減少數(shù)據(jù)冗余：冗余信息不僅僅浪費(fèi)了我們的存儲(chǔ)空間，增加了數(shù)據(jù)傳輸和維護(hù)操作的成本，更重要的是，這些數(shù)據(jù)冗余可能導(dǎo)致潛在的更新異常，引起數(shù)據(jù)庫(kù)的不一致。由于Web的開(kāi)放性，XML數(shù)據(jù)異常的危害性要遠(yuǎn)遠(yuǎn)大于關(guān)系數(shù)據(jù)異常的危害性。本文首先從語(yǔ)義的角度

2、出發(fā)，對(duì)XML數(shù)據(jù)的語(yǔ)義約束進(jìn)行深入的研究，并設(shè)計(jì)算法，對(duì)XML數(shù)據(jù)進(jìn)行規(guī)范化處理，從而得到良好的XML數(shù)據(jù)模式，減少了數(shù)據(jù)冗余，保持了數(shù)據(jù)的一致性。因此，XML模式規(guī)范化的研究具有重要的理論意義和實(shí)用價(jià)值。
　　 本文的主要工作是在已有的XML Schema等規(guī)范基礎(chǔ)上，從語(yǔ)義角度對(duì)XML數(shù)據(jù)進(jìn)行規(guī)范化研究，主要研究成果如下：
　　 ①研究形式化的XML文檔定義，以及XML Schema中的語(yǔ)義約束，研究基于路徑和樹(shù)元