【数据库系统概论】数据库完整性.ppt

《【数据库系统概论】数据库完整性.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、课间休息注意时间第十章数据库完整性10.1完整性约束条件一、静态列级约束1.对数据类型的约束2.对数据格式的约束3.对取值范围或取值集合的约束4.对空值的约束5.其他约束二、静态元组约束三、静态关系约束1.实体完整性约束2.参照完整性约3.函数依赖约束4.统计约束四、动态列级约束1.修改列定义时的约束2.修改列值时的约束五、动态元组约束六、动态关系约束表10.1完整性约束条件粒度状态列级元组级关系级静态列定义.类型.格式.值域.空值元组值应满足的关系实体完整性约束参照完整性约束函数依赖约束统计约束动态改变列定义或域值元组新旧值之间应满足的约束条件关

2、系新旧状态之间应满足的约束条件10.2完整性控制一、完整性控制机制应具有的功能二、用一个五元组来表示一条完整性规则*D(Data)约束作用的数据对象；*O(Operation)触发完整性检查的数据库操作;*A(Assertion)数据对象必须满足的断言或语义约束,这是规则的主体;*C(Condition)选择A作用的数据对象值的谓词;*P(Procedure)违反完整性规则时触发的过程.三、实现参照完整性要考虑的几个问题1.外码能否接受空值问题2.在被参照关系中删除元组的问题(1).级联删除(CASCZDES)(2).受限删除(RESTRICTED

3、)(3).置空值删除(NULLIFIES)3.在参照关系中插入元组时的问题(1).受限插入(2).递归插入4.修改关系中主码的问题(1).不允许修改主码(2).允许修改主码10.3Oracle的完整性一、Oracle中的实体完整性Oracle在CREATETABLE语句中提供了PRIMARYKEY子句，供用户在建表时指定关系的主码。如要定义Student表的Sno为主码,可使用如下语句:CREATETABLEStudent(SnoNUMBER(8),SnameVARCHAR(20),SageNUMBER(2),CONSTRAINTPK-SNOPRI

4、MARYKEY(Sno));若要在SC表中定义(Sno,Cno)为主码,则用如下语句建立SC表:CREATETABLESC(SnoNUMBER(8),CnoNUMBER(2),GradeNUMBER(3),CONSTRAINTPK-SCPRIMARYKEY(Sno,Cno));二、Oracle中的参照完整性三、Oracle中用户定义的完整性Oracle允许用户在建立表时定义下列完整性约束：*列值非空(NOTNULL短语)*列值唯一(UNIQUE短语)*检查列值是否满足一个布4表达式(CHECK短语)例1(P331)CREATETABLEDEPT(D

5、eptnoNUMBER,DnameVARCHAR(9)CONSTRAINTU1UNIQUE,LocVARCHAR(10),CONSTRAINTPK-DEPTPRIMARYKEY(Deptno));