1) Serializability correctness criterion
可串行化正确性准则
1.
Finally, the serializability correctness criterion for the presented model is specified by state de.
首先给出了协同事务的定义 ,并描述了协同事务的状态 ,然后从协同事务的状态角度刻画协同事务之间、协同事务与外部环境之间的复杂依赖关系 ,最后用协同事务的状态依赖描述了可串行化正确性准则 。
2) correctness criteria
正确性准则
3) Quasi-consistency Serializability
准一致性可串行化
1.
A Concurrency Control Protocol Based on Quasi-consistency Serializability;
基于准一致性可串行化的并发控制协议
4) serializability
可串行化
1.
Lock and serializability are two important methods for concurrency control.
加锁与可串行化是并发控制中采取的2个主要措施。
2.
All the transaction-oriented policies of relaxing serializability such as epsilon serializability and similarity serializability and quasi consistent serializability can result in bounded inconsistency of data.
ε-可串行化、Δ-可串行化、准一致性可串行化等现有面向事务的放松可串行化正确性准则虽能帮助更多无线通信事务满足其截止期要求,但会导致数据的受限不一致。
3.
On the basis of this,an Xpath-based locking protocol is put forward and the schedule within the locking protocol mentioned above is proved to be serializability.
通过简化XPath数据模型,定义基于该模型的几种Native XML数据库操作,提出一种新的基于XPath的加锁协议,分析该协议下的调度是可串行化调度,并针对其性能问题进行探讨。
5) Serialization
[英][,siəriəli'zeiʃən] [美][,sɪrɪəlɪ'zeʃən]
可串行化
1.
Topological Sort in Algorithm for Serialization of Concurrent Control;
拓扑排序在并发控制可串行化算法中的应用
6) serializability
可串行性
1.
On the basis of this,an XPath-based Locking protocol(XPL),as well as a lock mode,is put forward and then the schedule within the locking protocol mentioned above is proved to be serializability.
在此基础上,提出一种基于XPath的锁协议(XPL)以及锁模型,并验证在此锁协议机制下的调度是可串行性调度,从而实现了XML原型数据库的多用户事务并发控制。
2.
To overcome the drawback of the two concurrency control algorithms proposed in literature〔1〕, where they are used to ensure semantic serializability (The drawback is that they both bring forward special demand on the transactions written by the user and this adds burden on the user.
为了克服文献〔1〕所提出的两种用于实现语义可串行性并发控制算法的缺点 (即都对用户书写的事务提出了特殊的要求 ,从而增加了用户的负担 ) ,本文给出了一种基于乐观方法的并发控制算法 ,并证明了该算法能够保证它所生成的历史具有语义可串行
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条