正确性准则相关论文
过程模型的动态更改会引起运行中的过程实例向更改后的过程模型跃迁，必须保证过程实例跃迁后运行的一致性。由于多分支结构的影响，不......
研究了层次式多数据库中事务执行的正确性问题.给出了层次式多数据库的定义和结构以及建立在其上的事务结构,根据多数据的特点提出......
实时数据库就是其数据和事务都有显式定时限制的数据库,系统的正确性不仅依赖于事务的逻辑结果,而且依赖于该逻辑结果所产生的时间......
