数据库一致性的形式化模型

作者：吴启明

关键词：数据库一致性形式化模型

分类号： TP311.13[自动化与计算机技术—计算机软件与理论][自动化与计算机技术—计算机科学与技术]