文件名称：论文研究-基于模型检测技术的XML乐观并发控制协议.pdf
文件大小：1.13MB
文件格式：PDF
更新时间：2022-08-11 15:50:23
XML,乐观并发控制协议,模型检测,事务
XML并发控制协议可用于保证多个用户同时访问XML文档时的事务隔离性。由于XML数据的半结构化特点和访问接口的特殊性，现有XML并发控制协议随着文件规模的增大、并发客户的增多，系统事务性能大幅下降。基于模型检测技术提出了一种新的乐观并发控制协议XOCC-MC。通过将XML文档对应的DTD文档转换为系统模型，将事务操作中的XPath转换为CTL公式，利用模型求值判断节点间是否存在A/D关系，进而根据冲突矩阵判断事务之间的冲突关系。与现有乐观并发控制协议相比，XOCC-MC协议在文件规模大、并发客户数多的情况下表现出较好的事务性能。