收录：
摘要：
XML并发控制协议可用于保证多个用户同时访问XML文档时的事务隔离性.由于XML数据的半结构化特点和访问接口的特殊性,现有XML并发控制协议随着文件规模的增大、并发客户的增多,系统事务性能大幅下降.基于模型检测技术提出了一种新的乐观并发控制协议XOCC-MC.通过将XML文档对应的DTD文档转换为系统模型,将事务操作中的XPath转换为CTL公式,利用模型求值判断节点间是否存在A/D关系,进而根据冲突矩阵判断事务之间的冲突关系.与现有乐观并发控制协议相比,XOCC-MC协议在文件规模大、并发客户数多的情况下表现出较好的事务性能.
关键词：
通讯作者信息：
电子邮件地址：
