文档介绍：数据库原理
主讲:赵海霞
河南科技大学电信学院
数据库
原理
ZhaoHaiXia
实验过程中值得表扬的同学:
侯继鑫、宋延珍、潘国栋、黄波、吴晓鸥
房许朋、索瑞婷、白元元
实验总结
关于外键及如何保证参照完整性
主键与外键用SQL语句如何描述
关于分组
关于集函数
回顾:关系的完整性
实体完整性
参照完整性
用户定义完整性
实体完整性和参照完整性是关系模型必须满足的,被称作关系的不变性,由关系数据库系统自动支持
★
实体完整性
规则:若属性A是基本关系R的主属性,则属性A不能取空值
说明:基本关系的主码中的任何属性都不能取空值,而不仅是主码整体不能取空值
依据:现实世界的实体是唯一可分的
例:学生(学号,姓名,性别,专业号,年龄)
课程(课程号,课程名,学分)
选修(学号,课程号,成绩)
例1:学生实体与专业实体间的关系:
学生(学号,姓名,性别,专业号,年龄)
专业(专业号,专业名)
关系参照图
外码
参照关系
被参照关系
例2:学生,课程,学生与课程之间的多对多联系:
学生(学号,姓名,性别,专业号,年龄)
课程(课程号,课程名,学分)
选修(学号,课程号,成绩)
关系参照图
被参照关系
参照关系
学生关系专业关系
专业号
学生关系选修关系课程关系
学号
课程号
参照完整性
主码?外码?
参照完整性
定义:外码(外键)
设F是参照关系R的一个或一组属性,但不是R的码,若F与被参照关系S的主码相对应,则称F是R的外码(详细定义见教材P54)
规则:参照关系R中每个元组在外码F上的值必须为:
或者取空值(F的每个属性值均为空值)
或者等于S中某个元组的主码值
例3:学生(学号,姓名,性别,专业号,年龄,班长)
参照关系
被参照关系
外码
用户定义完整性
用户定义的、具体应用中的数据必须满足的约束条件
成绩:0-100之间
身份证、身份证和生日对应关系
基本表的定义及完整约束(1of5)
CREATE TABLE Student
(sno CHAR(7) NOT NULL,
sName CHAR(10),
Age SMALLINT,
Sex CHAR ( 1),
PRIMARY KEY (sno),
CHECK ( Age BETWEEN 15 AND 25 ));
基本表的定义及完整约束(2of5)
CREATE TABLE的完整性约束
NOT NULL 属性值禁止为空
UNIQUE 取值唯一
PRIMARY KEY (A1, ..., An) 主码--若干属性列
CHECK(P) P为条件表达式
SQL-92以后版本中,一个属性若有PRIMARY KEY声明则隐含有NOT NULL约束