首页> 中文期刊>计算机应用研究 >嵌套事务的正确性及锁协议

嵌套事务的正确性及锁协议

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

嵌套事务作为扩展事务模型的一种,应用较为广泛,对嵌套事务正确性进行了描述,并给出了一个嵌套事务模型的并发控制锁的协议.

著录项

来源
《计算机应用研究》|2005年第2期|37-39|共3页
作者
王洪媛; 柴胜; 李大利;
展开▼
作者单位

吉林大学,计算机科学与技术学院,吉林,长春,130012;

吉林大学,计算机科学与技术学院,吉林,长春,130012;

吉林大学,计算机科学与技术学院,吉林,长春,130012;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
事务模型; 嵌套事务; 并发控制;
入库时间 2023-07-24 18:55:17

相似文献

中文文献
外文文献
专利

1. 主动实时嵌套事务的正确性 [J] . 李国徽 ,王洪亚 ,刘云生 . 计算机工程与科学 . 2003,第003期
2. 混合的实时嵌套事务并发控制协议 [J] . 周巧扣 ,晏立 . 计算机工程与设计 . 2008,第015期
3. 移动计算环境中实时嵌套事务并发控制协议的研究 [J] . 雷向东 ,赵跃龙 ,陈松桥 . 小型微型计算机系统 . 2007,第001期
4. 基于进程代数的Yahalom协议正确性的形式化验证 [J] . 王然然 ,王勇 ,蔡雨桐 . 计算机科学 . 2021,第0z1期
5. 基于扩展标记变迁模型的时钟同步协议正确性验证 [J] . 曲国远 ,徐晓飞 ,刘威廷 . 国防科技大学学报 . 2019,第003期
6. 基于TCP/IP协议的网络数据传输正确性解码探讨 [C] . 刘高峰 ,顾国祥 ,张清 . 第十二届全国遥感遥测遥控学术研讨会 . 2010
7. 基于正确性验证的SDH协议测试 [A] . 李姝 . 2004

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号