数据库完整性

89652511 2016-10-26

广义完整性:语义完整性,并发控制,安全控制,故障恢复

狭义完整性:专指语义完整性

完整性涉及实体完整性,参照完整性,用户自定义完整性

DBMS保证完整性

由数据库管理员来定义完整性规则,当用户进行数据库操作时。先由完整性控制程序根据完整性规则来检查请求是否合法,如果合法则交给DBMS执行更新操作。

完整性约束分类

按约束对象分类

  • 域完整性约束条件

[blockquote]

施加于某一列上的约束,比如姓名只能是男或者女

[/blockquote]

  • 关系完整性约束

[blockquote]

涉及到多列,比如城市的取值必须依赖于省份

[/blockquote]

按约束来源分类

  • 结构约束

[blockquote]

函数依赖约束,主键约束,外键约束

[/blockquote]

  • 内容约束

[blockquote]

来自用户的约束,取值范围等等

[/blockquote]

按约束状态分类

  • 静态约束

[blockquote]

在任意时刻均满足的约束:例如人的年龄应该大于0而小于150(假定人最多活150)

[/blockquote]

  • 动态约束

[blockquote]

要求属性值从一种状态到另一种状态的约束,例如:人的年龄只能增加,不能减少

[/blockquote]

 

约束的实现

当我们在创建表的时候可以添加列完整性约束和表完整性约束。下面是列约束的基本格式

数据库完整性

示例

数据库完整性

我们创建了一个student表,在表中定义了下面属性

  • S#  不能取空值且取值唯一
  • Sname 无约束
  • Ssex  定义了一个名为ctssex的约束,方便以后修改表结构时来通过约束名来直接修改约束。该约束的内容是检测属性值是否为男或者女,检查成功则允许更新
  • Sage 检查属性值是否在1到150之间,符合条件则更新
  • D# 将该属性定义为外键,对应Dept表中的主键D#,on delete cascade是关联性操作。表示在Dept表中某一元组被删除(该元组的主键值为001),则在student表中对应的元组(该元组中的外键值为001)也应该被删除。

表约束格式

数据库完整性

示例

数据库完整性

图中的蓝色字体是表约束,定义了主键为C#,定义了一个约束为ctcc,该约束涉及到两列Chours和Credit。

数据库完整性

为表定义外键,当然上面的表约束也可以直接变为列约束

数据库完整性

check中也可以直接写查询语句

修改约束

数据库完整性

相关推荐