华中科技大学数据库课件第05章 数据库完整性.pptVIP

第5章 数据库完整性 数据库的完整性是指数据的正确性、有效性和相容性。即数据库中数据与现实世界的实际情况是相符合的或数据库中数据自身不存在自相矛盾的现象。 完整性 vs 安全性 完整性 防止不符语义的数据，错误的输入 防范的对象：不合语义的数据 安全性 防止恶意破坏和非法存取 防范对象：非法的用户和非法操作。 完整性控制机制 定义完整性约束条件 实施完整性检查 如有违反，作何种处置(拒绝、报告、纠正、忽略) 第5章 数据库完整性 5.1 实体完整性 5.2 参照完整性 5.3 用户定义的完整性 5.4 完整性约束命名子句 5.5 域中的完整性限制 5.6 触发器 5.7 小结 5.1 实体完整性 5.1.1 实体完整性定义 5.1.2 实体完整性检查和违约处理 5.1.1 实体完整性定义 关系模型的实体完整性 CREATE TABLE中用PRIMARY KEY定义 单属性构成的码有两种说明方法 定义为列级约束条件 定义为表级约束条件 对多个属性构成的码只有一种说明方法 定义为表级约束条件 5.1.1 实体完整性定义 create table 表名 ( { 列定义 | 表约束 } [ ,...n ] ) 列定义 ::= {列名 数据类型} [ [ DEFAULT 常量表达式 ] | [ IDENTITY [ ( 种子, 增量)] ]] [ 列约束 ] [ ...n ] 5.1.1 实体完整性定义 列约束 ::= [ CONSTRAINT 约束名] { [ NULL | NOT NULL ] | [ { PRIMARY KEY | UNIQUE } [ CLUSTERED | NONCLUSTERED ] ] | [ [ FOREIGN KEY ] REFERENCES 被引用表 [ ( 被引用的列 ) ] [ ON DELETE { CASCADE | NO ACTION } ] [ ON UPDATE { CASCADE | NO ACTION } ] ] | CHECK ( 逻辑表达式) } 5.1.1 实体完整性定义 表约束 ::= [ CONSTRAINT 约束名 ] { [ { PRIMARY KEY | UNIQUE } [ CLUSTERED | NONCLUSTERED ] { ( 列名[ ASC | DESC ] [ ,...n ] ) } ] | FOREIGN KEY [ (列名[ ,...n ] ) ] REFERENCES 被引用表 [ (被引用列[ ,...n ] ) ] [ ON DELETE { CASCADE | NO ACTION } ] [ ON UPDATE { CASCADE | NO ACTION } ] | CHECK (逻辑表达式) } 5.1.1 实体完整性定义 ［例1］ 将Student表中的Sno属性定义为码 (1)在列级定义主码 CREATE TABLE Student ( Sno CHAR(9) PRIMARY KEY， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20) ) 5.1.1 实体完整性定义 可以显式给Primary Key约束命名 CREATE TABLE Student ( Sno CHAR(9) constraint PK_Student PRIMARY KEY, Sname CHAR(20) NOT NULL, Ssex CHAR(2) , Sage SMALLINT, Sdept CHAR(20) ) 5.1.1 实体完整性定义 (2) 在表一级定义Primary Key约束