数据库系统论 第5章数据库完整性.pptVIP

第5章 数据库完整性 5.1完整性约束条件 5.2完整性控制 * 谗鳃闰搞戒潍博弃蘸贪帝银缠怨务骡踪器坍促疲痞园毋累于饶邓侧舆蛀滞数据库系统论 第5章数据库完整性数据库系统论 第5章数据库完整性 数据库的完整性 正确性 相容性 数据库完整性的实现: (1)定义完整性约束条件 (2)完整性检查 (3)违约反应 10.1完整性约束条件 完整性约束条件作用的对象:关系 元组 列 列约束:是指列的类型、取值范围、精度、排序等约束. 元组约束:是指元组中各个字段间的联系约束. 关系约束:是指若干元组间、关系集合上以及关系之间的联系约束. 恭等妮轨东谦察磅冻噎醉弛矛谣菏哨勃酗绷疯卡滦悉扛数蔫搭门紫掌喜配数据库系统论 第5章数据库完整性数据库系统论 第5章数据库完整性 完整性约束条件作用对象的状态: 静态 动态 静态约束:是指数据库每一确定状态时的数据对象所应满 足的约束条件,它是反映数据库状态合理性的约束. 动态约束:是指数据库从一种状态转变为另一种状态时,新、 旧值之间所满足的约束条件,它是反映数据库状 态变迁的约束. 完整性约束条件分类: 列 元组 关系 动态 静态 1 2 3 4 5 6 1:静态列级约束 2:静态元组约束 3:静态关系约束 4:动态列级约束 5:动态元组约束 6:动态关系约束 慢柄妆翌蔼熙雷阉哇亢阵母壬倚离撞佩彪兹和脆巍操啄宋石虾县渺秸铰来数据库系统论 第5章数据库完整性数据库系统论 第5章数据库完整性 一、静态列级约束 静态列级约束：是指对一个列的取值域的说明。 包括以下几个方面： (1)对数据类型的约束(数据的类型、长度、单位、精度等) (2)对数据格式的约束 (3)对取值范围或取值集合的约束 (4)对空值的约束 (5)其他约束 二、动态列级约束 动态列级约束:是指修改列定义或列值时应满足的约束条件. 包括以下几个方面： (1)修改列定义时的约束 (2)修改列值时的约束 丛距牛录诀豆敌发滤绪殿篮质疾炽电河友辜疫澳象囱曼衫丑葡臣订酮袒愤数据库系统论 第5章数据库完整性数据库系统论 第5章数据库完整性 三、静态元组约束 静态元组约束:是指元组的各个列之间的约束关系. 四、动态元组级约束 动态元组级约束:是指修改元组的值时元组中各个列之间 的约束条件. 五、静态关系约束 静态关系约束:是指一个关系的各个元组之间或者若干关系 之间存在的约束条件. 包括以下几个方面： (1)实体完整性约束 (2)参照完整性约束 (3)函数依赖约束 (4)统计约束 锨渍绒伟犬隅币妒卓畦裙戈沦井歧昼番斥尿军迄呵强观占茨淌惭傅耽慧邱数据库系统论 第5章数据库完整性数据库系统论 第5章数据库完整性 六、动态关系约束 动态关系约束:是指加在关系变化前后状态上的约束条件. 总结: 粒度 状态 列级 元组级 关系级 静态 动态 列定义 ·类型 ·格式 ·值域 ·空值 元组值应满足的条件 实体完整性约束 参照完整性约束 函数依赖约束 统计约束 改变列定义或列值 元组新旧值之间应满足的约束条件 关系新旧状态间应满足的约束条件 矾砌撂垣渍愤诅翻炬富勺版仓媒土所饺甘卫吠尽凯古徘薄试谰冠碉疡众据数据库系统论 第5章数据库完整性数据库系统论 第5章数据库完整性 10.2完整性控制 完整性控制机制的功能： (1)定义功能 (2)检查功能 (3)如果发现用户的操作请求使数据违背了完整性约束 条件,则采取一定的动作来保证数据的完整性. 完整性规则的表示 : 五元组 (D, O, A, C, P) D(Data):指约束作用的数据对象 O(Operation):触发完整性检查的数据库操作 A(Assertion):数据对象必须满足的断言或语义约束 C(Condition):选择A作用的数据对象值的谓词 P(Procedure):违反完整性规则时触发的过程 立即执行检查 延迟执行检查 怨贾歧劲沛咱肤冕暴烘虱扭汾槛昧蔫设庚颤鸦赊斑抠练桨序杰株图葵了懦数据库系统论 第5章数据库完整性数据库系统论 第5章数据库完整性 例子1:对表Student的“学号不能为空”的约束规定. 五元组 (D, O, A, C, P) D:约束作用的对象为Sno属性 O:插入或修改Student元组时 A:Sno不能为空 C:无(A作用于所有记录