System security administrators can describe multiple security policies based on security requirement of practical application and in this way finishes the access to database.

• 本文采用类似无函数的扩展逻辑程序的表示方法对数据访问进行形式化描述，由系统安全管理员根据实际应用的安全需求来描述多种安全策略，进而完成对数据库的访问。