摘要
分析了多数据库系统中事务的特征 ,给出了多数据事务和事务经历的形式化描述 .在此基础上 ,提出了多数据库事务正确性标准MDB 可串行化 ,最后给出了基于MSG图的多数据库串行化定理 .
This paper analyzes the features of transactions in multidatabase system. A formal description about multidatabase transaction and multidatabase history is presented. Based on above study, a multidatabase correction criterion, MDB-Serializability, is proposed. Finally, a multidatabase serializability theorem is addressed based on MSG graph.
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第12期2224-2227,共4页
Journal of Chinese Computer Systems
基金
国家高性能计算基金 (9931 9)资助