随着Internet技术的不断进步,基于谓词的访问控制策略已经引起了从事隐私保护和Internet应用等研究人员的大量关注。基于谓词的访问控制策略非常灵活,其谓词过滤器也可能非常复杂,这就给策略管理员带来了很大的管理难度。为了保证基于谓词的访问控制策略在数据库管理系统(Database Management System,DBMS)中合理地生效,对策略的有效性和策略间的冲突与冗余关系分析等问题进行了分析与研究。给出了基于谓词的访问控制策略模型以及基于该模型的策略有效性,有效策略和策略间冲突、冗余关系等相关定义。研究出策略分析的关键是对其过滤器谓词的分析,并给出一种基于规范化谓词的策略分析方法。通过对策略过滤器种类的分析,给出了规范化谓词的定义,设计并实现了过滤器谓词的规范化算法;通过生成辅助链表,解决了由于布尔运算产生的传递性和对称性问题。结合逆反谓词和辅助链表的性质,给出了策略有效性分析规则。以策略冲突为例,针对不同类型的过滤器谓词,给出一系列冲突关系判定规则,检测基于谓词策略间的冲突关系。设计了基于DBMS的策略分析系统的总体结构,其中包括策略规范化模块、策略有效性分析模块,策略关系分析模块和规范化策略缓存模块。为了说明策略分析方法对DBMS的性能影响,以达梦数据库6.0为实现平台,加入策略分析子系统,对基于谓词的访问控制策略分析方法进行性能测试。最终说明策略分析方法对系统的性能影响较低,适用于DBMS的策略分析检测。