论文部分内容阅读
互斥操作是保证数据一致性的重要的控制机制，在对现存的XML访问控制模型研究的基础上，提出模型定义中可能出现的不一致问题，即不同的操作类型可能造成不同用户访问数据的不一致。形式化地描述出造成这种不一致问题发生的各种情况，提出一系列原语并用‘锁控制’的机制来解决该问题。最后通过算法具体实现多用户并发请求时互斥操作的方法。