一种改进的多级事务模型及其调度方法

事务管理是数据库管理系统的主要功能之一。在多级安全数据库系统中,传统的事务并发调度,存在与安全模型之间的矛盾。当不同安全级的事务主体试图并发访问某个数据客体时,有可能产生隐通道,使信息流从高安全级流向低安全级,违反了安全策略,造成信息泄露。提出了一种基于严格2PL严格两段锁的多级事务模型,可以在避免产生隐通道的同时,解决高安全级事务的读饥饿问题。根据该模型,给出了MTS事务调度算法和简单的算法正确性证明。