|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
为了维护数据库中数据与现实世界的一致性，对关系数据库的插入、删除和修改操作必须有一定的约束条件，这就是关系模型的三类完整性：实体完整性、参照完整性和用户定义完整性。
|
|
|
|
|
|
实体完整性（Entity Integrity）是指主属性的值不能为空或部分为空。关系模型中的一个元组对应一个实体，一个关系则对应一个实体集。例如，一条学生记录对应着一个学生，学生关系对应着学生的集合。关系模型中以主属性来唯一标识元组。例如，学生关系中的属性"学号"可以唯一标识一个元组，也可以唯一标识学生实体。
|
|
|
|
|
|
参照完整性（Referential Integrity）是指如果关系R2的外码X与关系R1的主码相符，则X的每个值或者等于R1中主码的某一个值，或者取空值。
|
|
|
|
实体完整性和参照完整性是关系模型必须满足的完整性约束条件，被称作关系的两个不变性。
|
|
|
|
|
|
用户定义完整性（User-defined Integrity）是针对某一具体关系数据库的约束条件。它反映某一具体应用所涉及的数据必须满足的语义要求。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
完整性（Integrity）是指网络信息或系统未经授权不能进行更改的特性。例如，电子邮件在存储或传输过程中保持不被删除、修改、伪造、插入等。完整性也被称为网络信息系统CIA三性之一，其中I代表Integrity。完整性对于金融信息系统、工业控制系统非常重要，可谓“失之毫厘，差之千里”。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
保证数据完整性的方法之一是设置完整性检查，即对数据库中数据设置一些约束条件，这是数据的语义体现。数据的完整性约束条件一般在数据模式中给出，并在运行时做检查，当不满足条件时立即向用户通报以便采取措施。
|
|
|
|
完整性约束条件一般指的是对数据库中数据本身的某些语法、语义限制，数据间的逻辑约束，以及数据变化时应遵守的规则等。所有这些约束条件一般均以谓词逻辑形式表示，即以具有真假值的原子公式及命题连接词（并且、或者、否定）所组成的逻辑公式表示。完整性约束条件作用对象可以是关系、元组、列三种。
|
|
|
|
数据库中数据的语法、语义限制与数据间的逻辑约束称为静态约束。它反映了数据及数据间的固有的逻辑特性，是最重要的一类完整性约束。静态约束包括静态列级约束（对数据类型的约束、对数据格式的约束、对取值范围或取值集合的约束、对空值的约束、其他约束）、静态元组约束、静态关系约束（实体完整性约束、参照完整性约束、函数依赖约束、统计约束）。
|
|
|
|
数据库中的数据变化应遵守的规则称为数据动态约束，它反映了数据库状态变迁的约束。动态约束包括动态列级约束（修改列定义时的约束、修改列值时的约束）、动态元组约束、动态关系约束。
|
|
|
|
|
|
|
|
|
|
|
|
|
