ＸＭＬ數(shù)據(jù)庫計(jì)劃的公理化演進(jìn)
2005-04-29 00:00:00郭富強(qiáng)魚濱
計(jì)算機(jī)應(yīng)用研究 2005年1期
摘 要：數(shù)據(jù)庫計(jì)劃是由它的實(shí)體之間的模式關(guān)系構(gòu)成，該計(jì)劃隨著時(shí)間的改變被稱為計(jì)劃演進(jìn)。XML數(shù)據(jù)庫計(jì)劃的公理化演進(jìn)指的是當(dāng)該計(jì)劃產(chǎn)生根本的變動時(shí)，XMl，數(shù)據(jù)庫能自動維持其數(shù)據(jù)的完整性。提出的公理化模式為XML數(shù)據(jù)庫演進(jìn)的問題提供了一個(gè)一般的解決方案，它能明確地決定計(jì)劃的修改行為和自動維持其數(shù)據(jù)的完整性。
關(guān)鍵詞：XML數(shù)據(jù)庫；計(jì)劃；公理化演進(jìn)；完整性
中圖法分類號：TP311．13
文獻(xiàn)標(biāo)識碼：A
文章編號：1001—3695(2005)01—0038—03
