基于本地封闭式世界假设的分布式系统事务模型

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