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