论文部分内容阅读
分布式数据库是在集中式数据库的基础上发展来的，是数据库技术和网络技术结合的产物。社会应用的发展对分布式数据库事务的研究提出了要求。在大规模分布式应用环境下，传统的事务模型是不适用的。封闭世界假设认为不能被证明为真的所有命题都是假的，与其相对立的是开放世界假设。本文首先对典型的大规模分布式数据库系统进行研究，特别是采用的事务方面进行研究，找出存在的不足，然后结合本地封闭式世界假设，给出一种适合于大规模分布式数据库系统的事务模型。并对该事务模型给出正确性证明，最后用一个企业管理的例子来说明该事务模型。本文的研