第五章数据库完整性.ppt

AnIntroductiontoDatabaseSystenmNanChangUniversityofChina

DepartmentofComputerScience,Informationalschool

Spring20065.1实体完整性5.1.1实体完整性定义关系模型的实体完整性在CREATETABLE中用PRIMARYKEY定义。对单属性构成的码有两种说明方法：一种是定义为列级约束条件；另一种是定义为表级约束条件。对多个属性构成的码只有一种说明方法，即定义为表级的约束条件。5.1.1实体完整性定义（续）例1将Student表中的Sno属性定义为码。CREATETABLEStudent(SnoCHAR(9)PRIMARYKEY,SnameCHAR(20)NOTNULL…);或CREATETABLEStudent(SnoCHAR(9),SnameCHAR(20)NOTNULL…PRIMARY多或少KEY（Sno）);5.1.1实体完整性定义（续）例2将SC表中的Sno,Cno属性组定义为码。CREATETABLESC(SnoCHAR(9),CnoCHAR(4)GradeSMALLINTPRIMARYKEY(Sno,Cno));实体完整性检查和违约处理用PRIMARYKEY短语定义了关系的主码后，每当用户程序对基本表插入一条记录或者对主码进行更换操作时，RDBMS将按照第二章2.3.2小节中讲解的实体完整性规则进行自动检查。包括检查主码是否唯一，如果不唯一则拒绝插入或修改。检查主码的各个属性是否为空，只要有一方为空就拒绝插入或修改。从而保证了实体完整性。全表扫描是十分耗时的。为了避免对基本表进行全表扫描，一般在RDBMS的核心为主码自动建立一个索引。5.2参照完整性参照完整性定义关系模型的参照完整性在CREATETABLE中用FOREIGNKEY短语定义哪些列为外码，用REFERENCES短语指明这些外码参照那些表的主码。例3：定义SC中的参照完整性CREATETABLESC(SnoCHAR(9)NOTNULL,CnoCHAR(9)NOTNULL,GradeSMALLINT,PRIMARYKEY(Sno,Cno),FOREIGNKEY(Sno)REFERENCESStudent(Sno),FOREIGNKEY(Cno)REFERENCESCource(Cno));5.2.2参照完整性检查和违约处理当P155中表5.1发生不一致时，系统可能采取下列策略加以处理：拒绝执行不允许该操作。该策略一般设置为默认策略。级连操作当删除或修改被参照表（如上例的Student）的一个元组造成了参照表（SC）的不一致性，则删除或修改参照表中所有造成不一致的元组。设置为空当删除或修改被参照表的一个元组造成了不一致性，则将参照表中所有的造成不一致的元组的对应属性设置为空。例4：显式说明参照完整性的违约处理示例。见P1565.3用户定义的完整性5.3.1属性上的约束条件的定义5.3.2属性上的约束检查和违约处理5.3.3元组上的约束的定义5.3.1属性上的约束条件的定义在CREATETABLE中定义属性的同时可以根据应用需要，定义属性上的约束条件，即属性值限制，包括：列值非空(NOTNULL短语)列值唯一(UNIQUE短语)检查列值是否满足一个布尔表达式(CHECK短语)见P156~157例子5.4完整性约束命名子句1、完整性约束命名子句SQL还在CREATETABLE语句中提供了完整性约束命名子句CONSTRAINT，用来对完整性约束条件命名。完整性约束命名子句CONSTRAINT格式：CONSTRAINT完整性约束名[PRIMARYKEY短语|FOREIGNKEY短语|CHECK短语]见：P158~159例10与例112、修改表中的完整性规则在ALTERTABLE语句中修改。见：P159~160例12与例13*5.5域中的完整性限制SQL支持域的概念，并可以用CREATEDOMAIN语句建立一个域以及该域应该满足的完整性约束条件。见：P160中例14与例175.6触发器触发器（Trigger）是用户定义在关系表上的一类事件驱动的特殊过程。一旦定义，任何用户对表的增、删、改操作均由服务器自动激活相应的触发器，在