基于Petri网的数据库系统并发控制模型

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:hustguoguo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文对数据库系统中事务的并发操作进行了分析,讨论了共资源的Petri网模型及其行为。 给出了数据库系统中事务并发控制的Petri网模型,有效地克服了由事务的并发操作引起的各种数据不一致问题。
其他文献
基于B/S结构的实验室管理信息系统,相对于传统的C/S结构的系统,体现出许多优越性,能更好地满足使用需求。该文详细 论述了基于B/S结构的实验室管理信息系统开发方案。
汤臣一品被查,一点也不奇怪。奇怪的是只查“捂盘惜售”,而非“价格虚高”。捂盘的实质是为了暴利;无论“惜售”还是“畸高”,都与暴利相关联。但是,暴利的核心问题是要搞清楚成本
GB18030是国家标准局新近颁布的最重要的汉字编码标准,文章详细分析了该标准中二进制字库的存储格式,给出了一种消除冗余位的无损压缩存储方法,并利用COM组件技术对压缩字库进行
文中提出一种基于广义直方图的图像内容检索方法,首先,论文把图像和它的平滑图像组合起来,形成一个二元组,称之为“广义图像”,广义图像的直方图称为广义直方图;其次,把图像颜色空间
该文介绍了语义Web新技术,它可以为处理Web信息的智能应用程序提供帮助。文中描述了语义Web的层次结构及共支持语义Web的基础技术的RDF(资源描述框架)和本体(Ontology)等,文章表明,A
该文研究了微束系统中的细胞图像处理问题,着重从微束装备的实际情况出发,对不同于一般图像处理的微图像处理进行了介绍,详细讨论了整个图像处理的过程,并探讨了微图像处理在整个
提出一种记录约简的信息量度量方法-基于语义贴近度的信息熵,它将关系看成离散有限集,用统计概率计算关系中记录的概率,基于语义贴近度定义关系中记录的信息量,再用数学期望求出关
基于构件的开发是软件重用的主流技术,文章以JavaBean构件为研究对象,对实现基于多Agent的JavaBean构件挖掘系统的核心技术类文件解析Agent(Class Parser Agent)的实现原理,结构及
该文提出了一种基于面向对象技术的图形用户界面(GUI)设计方法。该方法把GUI设计从逻辑上分为三层:风格层、模块层和实施层。它是以单继承为基础,在充分考虑问题域的前提下,以实现
数学源于生活,生活又离不开数学,两者密不可分。教师要有生活实际意识,在教学中渗入生活趣味,以此吸引学生的学习兴趣,让学生从中体验到学习的实际意义,体验数学知识的生成过