Indexed by：
Abstract：
XML并发控制协议可用于保证多个用户同时访问XML文档时的事务隔离性.由于XML数据的半结构化特点和访问接口的特殊性,现有XML并发控制协议随着文件规模的增大、并发客户的增多,系统事务性能大幅下降.基于模型检测技术提出了一种新的乐观并发控制协议XOCC-MC.通过将XML文档对应的DTD文档转换为系统模型,将事务操作中的XPath转换为CTL公式,利用模型求值判断节点间是否存在A/D关系,进而根据冲突矩阵判断事务之间的冲突关系.与现有乐观并发控制协议相比,XOCC-MC协议在文件规模大、并发客户数多的情况下表现出较好的事务性能.
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机应用研究
ISSN： 1001-3695
Year： 2017
Issue： 11
Volume： 34
Page： 3237-3241
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 3
Chinese Cited Count：
30 Days PV： 3
Affiliated Colleges：
