数据库系统原理七约束与触发器.pptVIP

SQL的CREATE TABLE语句中还可以声明两种其他约束： ① 在单一属性上的约束； ② 在整个元组上的约束。 7.2.1 非空值约束 7.2.2 基于属性的CHECK约束 7.2.3 基于元组的CHECK约束 7.2 属性和元组上的约束 Page * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 属性值约束 限制某些属性的值在特定范围内. 这类约束可用下列方式表达: ⑴在关系式定义中给出属性的约束。 ⑵在整个元组上的约束。该约束是关系模式的一部分，不与任何属性相关。 Page * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 非空约束 如何说明某属性非空NOT NULL？ 在create table指令中，属性说明之后加NOT NULL； 若不显式说明，该属性隐含为允许空值。 说明非空属性有何效果？ ⑴ 不能用update修改其值为NULL。 ⑵ insert时必须指定一个非空值。 ⑶ 不能使用外键的Set Null策略。 注意：主键属性和unique属性隐含非空；允许为空的属性不可能是主键或unique。 Page * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 举例 CREATE TABLE StarsIn ( movieTitle char(20) NOT NULL, movieYear int NOT NULL, starName char(12) REFERENCES MovieStar(name) NOT NULL, PRIMARY KEY (movieTitle , movieYear , starName ), FOREIGN KEY (movieTitle, movieYear) REFERENCES Movies(title, year) ); 声明非空值约束的方法如下： Page * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 基于属性的Check约束 如何限制某属性的值在特定范围？ 在属性说明之后，增加check(条件)，属性的值应使条件为真。 条件的语法与Where子句的条件一样。 当insert和update使属性值改变时，执行check检验，拒绝导致属性值不一致的更新。 Page * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例子 设有关系模式： Studio(name,address,presC#) 要求其证书号必须至少为６位数字，则可写出约束： presC# INT REFERENCES MovieExec(cert#) CHECK(presC# 设有关系模式： MovieStar(name,address,gender,birthday) 要求其性别只能为Ｆ 和 Ｍ ，则可写出约束： gender CHAR(1) CHECK(gender IN (Ｆ , Ｍ)) Page * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 基于属性的Check约束 何时检查check条件？ 只有当该表执行insert或update时才检测check条件。 注意：check条件中可包含其它关系的属性，但应避免（除了是子查询的From子句中出现的关系）。 例如，设有关系 Studio(name,address,presC#) 其关系中presC#值必须在关系