期刊文献+

一种多数据库事务模型 被引量:6

A Multidatabase Transaction Model
下载PDF
导出
摘要 分析了多数据库系统中事务的特征 ,给出了多数据事务和事务经历的形式化描述 .在此基础上 ,提出了多数据库事务正确性标准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)资助
关键词 多数据库形式化模型 MDB-可串行化 MSG图 多数据库串行化定理 多数据库事务模型 异构数据 a formal model of multidatabase transaction MDB-serializability MSG graph a multidatabase serializability theorem
  • 相关文献

参考文献4

二级参考文献10

  • 1[1]Breitbart Y, Silberschatz A. Multidatabase update issues. In: Proc of the 1988 ACM SIGMOD Int'l Conf on Management of Data. Chicago, Illinois, ACM Press, 1988. 135~142
  • 2[2]Georgakopoulos D, Rusinkiewicz M, Sheth A. Using tickets to enforce the serializability of multidatabase transactions. IEEE Trans on Knowledge and Data Eng, 1994, 6(1): 166~180
  • 3[3]Wolski A, Veijalainen J. 2PC agent method: Achieving serializability in presence of failures in a heterogeneous multidatabase. In: Rishe N, Navathe S, Tal D eds. Databases: Theory, Design and Applications. IEEE Computer Society Press, 1991. 268~287
  • 4[4]Muth P, Rakow T C. Atomic commitment for integrated database systems. In: Proc of IEEE 7th Int'l Conf on Data Engineering. IEEE Computer Society, 1991. 296~304
  • 5[5]Agrawal D et al. Managing concurrent activities in collaborative environments. In: Proc of the 3rd Int'l Conf on Cooperative Information Systems(CooplS'95). Schloss Wilhelminenburg Hotel, Vienna, Austria, 1995. 112~124
  • 6[6]Paul Ammann et al. Applying formal methods to semantic-based decomposition of transactions. ACM Trans on Database Systems, 1997, 22(2): 215~254
  • 7[7]Sharad Mehrotra. Ensuring consistency in multidatabases by preserving two-level serializability. ACM Trans on Database Systems, 1998, 23(2): 199~230
  • 8[8]Pal S, Lanka S. Transaction processing in multidatabase systems without atomic commitment protocol. In: Proc of 5th Australian Database Conf. Christchurch, New Zealand, Global Publications Service, Singapore, 1994. 328~345
  • 9周龙骧,数据库管理系统设计(第2版),1996年
  • 10厄尔曼 J D,数据库与知识库系统原理.2,1991年

共引文献20

同被引文献46

引证文献6

二级引证文献30

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部