实体完整性
主键不为空。例如学生选课关系——选修(学号,课程号,成绩)中,“学号”和“课程号”两个属性都不能为空。
参照完整性
R(K1,F,...) S(K2,)
若属性F是基本关系R的外码,它于基本关系S的主码K2相对应,则对于R中每一个元组在F上的取值:
1 或者取空值(F的每一个属性值都是空值)
2 或者等于S中某个元组的主码值。
(比如说先行课,可以没有现行课)
用户定义完整性
实体完整性
主键不为空。例如学生选课关系——选修(学号,课程号,成绩)中,“学号”和“课程号”两个属性都不能为空。
参照完整性
R(K1,F,...) S(K2,)
若属性F是基本关系R的外码,它于基本关系S的主码K2相对应,则对于R中每一个元组在F上的取值:
1 或者取空值(F的每一个属性值都是空值)
2 或者等于S中某个元组的主码值。
(比如说先行课,可以没有现行课)
用户定义完整性