數據庫一致性的形式化模型

作者：吳啟明

關鍵詞：數據庫一致性形式化模型

分類號： TP311.13[自動化與計算機技術—計算機軟件與理論][自動化與計算機技術—計算機科學與技術]