完整性约束的类型完整性约束的定义方法.pptVIP

7.2　数据库的完整性 7.2.1　数据库完整性的含义 7.2.2　完整性约束的类型 7.2.3　完整性约束的定义方法 7.2.4　完整性约束的验证 7.2.1　数据库完整性的含义 数据库的完整性是指数据库中数据的正确性和相容性。 7.2.2 完整性约束的类型 1．由数据模型确定的完整性约束 由数据模型确定的完整性约束可以由数据库模式隐含地说明和定义，这种完整性约束又被称为数据模型的隐含约束。不同数据模型具有不同的隐含约束集合。然而，任何一种数据模型都不可能把现实世界所有的约束都包含到隐含约束中来。因此，数据模型还具有一些需要显式地定义到数据库模式上的约束，这种约束被称为数据模型的显式约束。此外数据模型还有第三种类型的约束——固有约束，即数据模型本身固有的、不需要特殊说明的约束。 7.2.2 完整性约束的类型 2．由数据库应用确定的完整性约束 数据库上的大部分语义完整性约束是由数据库应用确定的。这类完整性约束分为状态约束和变迁约束两类，在数据库管理系统中这两类约束都被视为显式约束。 （1）状态约束。在某一时刻数据库中的所有数据实例构成了数据库的一个状态。数据库的状态约束也称静态约束，是所有数据库状态必须满足的约束。每当数据库被修改时，数据库管理系统都要进行状态约束的检查，以保证状态约束始终被满足。 （2）变迁约束。数据库变迁约束也称动态约束，是指数据库从一个状态向另