Its main components are specified using pseudo code. Formal transaction model of its transaction system is given and its property of supporting dynamic security attributes revocation and serializability of the history of well-formed transactions is proven.
对系统框架中的关键组件进行了伪码描述,并通过形式化的事务模型证明了事务系统对动态安全属性撤销的支持和良构事务构成的历史的可串行化的性质。
参考来源 - 支持多策略的安全数据库系统研究·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
The heterogeneity and autonomy make the task of ensuring global serializability in a MDBS environment difficult.
自制和异构为保证多库系统的全局可串性带来了困难。
Although serializability guarantees the correctness of concurrent access, it meanwhile causes lots of loss in concurrency and brings down the system throughput.
串行化在保证事务并发访问正确性的同时严重制约了分布式数据库的并发程度,。降低了系统效率。
Concurrency control and recovery techniques are used in conventional DBMS's to preserve the serializability and the permanence requirements of database transactions.
在传统数据库管理系统中,采用并发控制和恢复技术来保证数据库事务的可串行化和持久性要求。
应用推荐