一种数据完整性策略的形式化描述

A Formalized Desription of Integrity Policies for Database Systems

数据完整性是信息系统的安全目标之一，该文描述了一个时间相关的数据库管理系统的完整性策略模型。该模型将数据的完整性与时间联系起来，定义数据完整性的演化规则，解决了低可靠性的主体需要更新高完整性级别数据的问题。

Integrity is one of the objectives related to information system security, this paper presents a model to specify integrity policies for temporal database management system. This model relates integrity to temporality, defines a policy to manage how integrity evolves in time,and makes it possible that a subject may need to update the data which integrity level higher than the subject.