安全数据库中推理安全问题在信息安全领域中是一个重要课题。常见的商用数据库对于一般企业来说安全性是足够了,但是对像军队和政府这些特殊部门,必须研究特殊数据库来满足需要的安全性,于是就产生了对安全数据库的需求。国外安全数据库的研究已经相对成熟,并推出了很多相关产品。但是国内对此研究还不够成熟,需要多加研究以弥补这方面的空白。在学习推理通道的相关理论和前人研究成果的基础上,本文针对安全数据库提出了一种基于MAC的安全控制模型。首先着重介绍了一种安全控制机制,叫做泄漏推理引擎,使用表达性很强的Horn子句约束用于数据依赖的推理算法。然后引入更新的状态,通过使用动态泄漏推理引擎扩展了强制访问控制机制,确保了数据的安全性。动态泄漏推理引擎扩展了泄漏推理引擎,是在数据库更新的情况下,保护数据库的健全性和完整性的安全模型。动态泄漏推理引擎在泄漏推理引擎的基础上,增加更新集运模块,并对历史文件进行更新,使得基于过时数据的错误推理查询不被拒绝,从而保证数据机密性和最大查询可能。针对本文提出的安全模型,通过实验对其性能进行了分析。