XML雙時(shí)態(tài)擴(kuò)展及其時(shí)態(tài)一致性處理研究.pdf

1、XML技術(shù)的迅速發(fā)展使得它的應(yīng)用范圍和重要性已經(jīng)超出了其本來(lái)的制訂預(yù)期，在數(shù)據(jù)表達(dá)和數(shù)據(jù)交換的應(yīng)用發(fā)展上起著重要的作用。時(shí)態(tài)數(shù)據(jù)庫(kù)的發(fā)展和Internet的廣泛應(yīng)用，使得時(shí)態(tài)技術(shù)成為了WEB上的應(yīng)用的迫切需求。目前對(duì)XML的時(shí)態(tài)研究大多是集中在單時(shí)態(tài)上，雙時(shí)態(tài)擴(kuò)展研究的較少，本文討論了如何在XML上進(jìn)行雙時(shí)態(tài)擴(kuò)展，并對(duì)其時(shí)態(tài)一致性問(wèn)題進(jìn)行研究。 如何在XML上進(jìn)行雙時(shí)態(tài)表示是首先要解決的問(wèn)題。本文針對(duì)已存在的直接表示法和時(shí)態(tài)組表

2、示法進(jìn)行分析，提出改良的表示方法，通過(guò)實(shí)驗(yàn)方法進(jìn)行分析驗(yàn)證，對(duì)其各方面的性能進(jìn)行討論比較。 本文進(jìn)而通過(guò)擴(kuò)展XPath數(shù)據(jù)模型，建立雙時(shí)態(tài)數(shù)據(jù)模型，給出其形式化定義和時(shí)態(tài)約束，并給出三種映射表示方法。在時(shí)態(tài)一致性問(wèn)題上，對(duì)單時(shí)態(tài)不一致性問(wèn)題的正式討論在近幾年才有學(xué)者提出，本文則對(duì)雙時(shí)態(tài)的一致性問(wèn)題進(jìn)行了探討，對(duì)時(shí)態(tài)XML具有重要意義。本文對(duì)Now進(jìn)行了語(yǔ)義分析和處理，并根據(jù)建立的數(shù)據(jù)模型，提出了相關(guān)的時(shí)態(tài)沖突情況，并針對(duì)每種情況