摘要
事务是由一组数据库操作序列组成的,具有ACID特性。然而,在大规模分布式应用环境下,传统的事务模型是不适用的。基于本地封闭世界假设,结合数据复制技术,提出一种基于本地封闭世界假设的分布式事务模型,阐述该事务模型的特点、并发控制策略,给出该事务模型的正确性证明,并用一个简化的教学管理系统说明该事务模型。
A transaction consists of a serial of operations, and has ACID properties. However, in large-scale distributed applications, the traditional transaction model is not applicable. A transaction model based on local closed world assumption, as well as data replication, is proposed. Its features, concurrency control and correctness are also investigated and demonstrated. This transaction model is illustrated with a teaching management system.
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第11期33-35,共3页
Computer Engineering
基金
国家自然科学基金资助项目(60873054)
关键词
本地封闭世界假设
事务模型
并发控制
数据复制
local closed world assumption
transaction model
concurrency control
data replication
