8.5.4 全局约束

2025-06-05 21:51:12 更新

全局约束是指一些比较复杂的完整性约束,这些约束涉及多个属性间的联系或多个不同关

系间的联系。有两种:基于元组的检查子句和断言.

1)基于元组的检查子句

这种约束是对单个关系的元组值加以约束。方法是在关系定义中的任何地方加上关键字CHECK和约束条件。

例如,年龄在16至20岁之间,可用CHECK (Sage>=16AND Sage<=20)检测。

2)基于断言的语法格式

格式:CREATE ASSERTION〈断言名〉CHECK(<条件〉)