第章数据库的完整性ppt.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5.7 小结 数据库的完整性是为了保证数据库中存储的数据是正确的 RDBMS完整性实现的机制 完整性约束定义机制 完整性检查机制 违背完整性约束条件时RDBMS应采取的动作 An Introduction to Database System * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 属性上的约束条件的定义(续) 用CHECK短语指定列值应该满足的条件 An Introduction to Database System ［例7］ Student表的Ssex只允许取“男”或“女”。 CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY， Sname CHAR(8) NOT NULL， Ssex CHAR(2) CHECK (Ssex IN (‘男’，‘女’) ) ， /*性别属性Ssex只允许取男或女 */ Sage SMALLINT， Sdept CHAR(20) ); 5.3 用户定义的完整性 5.3.1 属性上的约束条件的定义 5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 5.3.4元组上的约束条件检查和违约处理 An Introduction to Database System 5.3.2 属性上的约束条件检查和违约处理 插入元组或修改属性的值时，RDBMS检查属性上的约束条件是否被满足 如果不满足则操作被拒绝执行 An Introduction to Database System 5.3 用户定义的完整性 5.3.1 属性上的约束条件的定义 5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 5.3.4元组上的约束条件检查和违约处理 An Introduction to Database System 5.3.3 元组上的约束条件的定义 在CREATE TABLE时可以用CHECK短语定义元组上的约束条件，即元组级的限制 同属性值限制相比，元组级的限制可以设置不同属性之间的取值的相互约束条件 An Introduction to Database System 元组上的约束条件的定义(续) CREATE TABLE Student (Sno CHAR(9)， Sname CHAR(8) NOT NULL， Ssex CHAR(2)， Sage SMALLINT， Sdept CHAR(20)， PRIMARY KEY (Sno)， CHECK (Ssex=女 OR Sname NOT LIKE Ms.%) /*定义了元组中Sname和 Ssex两个属性值之间的约束条件*/ )； 性别是女性的元组都能通过该项检查，因为Ssex=‘女’成立； 当性别是男性时，要通过检查则名字一定不能以Ms.打头 An Introduction to Database System ［例9］ 当学生的性别是男时，其名字不能以Ms.打头。 5.3 用户定义的完整性 5.3.1 属性上的约束条件的定义 5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 5.3.4 元组上的约束条件检查和违约处理 An Introduction to Database System 5.3.4 元组上的约束条件检查和违约处理 插入元组或修改属性的值时，RDBMS检查元组上的约束条件是否被满足 如果不满足则操作被拒绝执行 An Introduction to Database System 第五章 数据库完整性 5.1 实体完整性 5.2 参照完整性 5.3 用户定义的完整性 5.4 完整性约束命名子句 *5.5 域中的完整性限制 5.6 触发器 5.7 小结 An Introduction to Database System 5.4 完整性约束命名子句 CONSTRAINT 约束 CONSTRAINT 完整性约束条件名 ［PRIMARY K