为了解决安全数据库中事务处理问题,研究了安全数据库中多级事务ACIS正确性标准。提出了基于快照的多级安全并发控制算法和基于两阶段锁和串行图的多级事务调度算法。基于快照的多级安全并发控制算法要求在每个安全级上(除系统最高安全级)为数据库创建两个快照,并且所有的高级事务都是访问数据库的某个快照而不是直接访问低级数据库。快照的引入避免了多级事务的调度算法中常见的隐通道和高级事务的饿死等问题。介绍了快照的基本概念和基于快照的并发控制算法,并且证明了该算法能够为多级事务的执行产生一个可串行化的事务历史。为了解决两阶段锁和安全性需求之间的冲突,提出了基于两阶段锁和串行图的多级事务调度算法,将两阶段锁调度限制在单个安全级内部,并且在高级事务读取低级数据时使用“软锁”以消除隐通道。引入了串行图以确保多级事务在不同安全级上的事务节串行化顺序的一致性,从而实现了整个多级事务的可串行化。描述了算法的实现过程,并证明了该算法满足多级事务的A CIS正确性标准。本文最后还研究了安全数据库系统的设计方案。