摘要
该文对数据库系统中事务的并发操作进行了分析,讨论了共享资源的Petri网模型及其行为。给出了数据库系统中事务并发控制的Petri网模型,有效地克服了由事务的并发操作引起的各种数据不一致问题。
In this paper,first transactions con cu rrent operation of database system is analysed,then petri nets model and behav ior of shared resource are discussed.At the end,a petri nets model of transac tions concurrent control is given on database system.Some disaccord problems of data due to transactions concurrent operation can be conquered.
出处
《计算机工程与应用》
CSCD
北大核心
2002年第13期198-200,共3页
Computer Engineering and Applications
关键词
PETRI网
数据库系统
并发控制模型
Database system,Petri nets,Concurrent control,CCPM,Transactions,Shared res ource