Transaction Model Based on Local Closed World Assumption
Zhang Jian-ying, Lin Min-hong, Xiukun Wang · Jisuanji gongcheng · 2010
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.