计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2008年
23期
6087-6089,6093
,共4页
可扩展性标记语言%路径表达式%文档类型定义%锁变量%互斥操作
可擴展性標記語言%路徑錶達式%文檔類型定義%鎖變量%互斥操作
가확전성표기어언%로경표체식%문당류형정의%쇄변량%호척조작
互斥操作是保证数据一致性的重要的控制机制,在对现存的XML访问控制模型研究的基础上,提出模型定义中可能出现的不一致问题,即不同的操作类型可能造成不同用户访问数据的不一致.形式化地描述出造成这种不一致问题发生的各种情况,提出一系列原语并用‘锁控制'的机制来解决该问题.最后通过算法具体实现多用户并发请求时互斥操作的方法.
互斥操作是保證數據一緻性的重要的控製機製,在對現存的XML訪問控製模型研究的基礎上,提齣模型定義中可能齣現的不一緻問題,即不同的操作類型可能造成不同用戶訪問數據的不一緻.形式化地描述齣造成這種不一緻問題髮生的各種情況,提齣一繫列原語併用‘鎖控製'的機製來解決該問題.最後通過算法具體實現多用戶併髮請求時互斥操作的方法.
호척조작시보증수거일치성적중요적공제궤제,재대현존적XML방문공제모형연구적기출상,제출모형정의중가능출현적불일치문제,즉불동적조작류형가능조성불동용호방문수거적불일치.형식화지묘술출조성저충불일치문제발생적각충정황,제출일계렬원어병용‘쇄공제'적궤제래해결해문제.최후통과산법구체실현다용호병발청구시호척조작적방법.
