基于快照的多级安全并发控制算法研究

摘要

为了解决安全数据库中事务处理问题,提出了一种基于快照的多级安全并发控制算法。该算法在每个安全级上保存了数据库的两个快照,高级事务访问低级数据库的快照而不是访问正在工作中的数据库。快照的引入避免了多级事务的调度算法中常见的隐通道和高级事务的饿死等问题。本文介绍了快照的基本概念和基于快照的并发控制算法,并且证明了该算法能够为多级事务的执行产生一个可串行化的事务历史。