标签:集合 运算 部分 不能 inline 完整性约束 复习 保留 表达
关系模型是由
三部分组成
关系数据结构
域:一组相同数据类型的值的集合
笛卡尔积:n个集合的笛卡尔积是n元组的集合
关系:\(D_1,D_2,...,D_n\)的笛卡尔积的子集称为在域\(D_1,D_2,...,D_n\)上的关系,表示为\(R(D_1,D_2,...,D_n)\)
候选码:若关系的某一属性组的值能够唯一地标识一个元组,而其子集不能,则称该属性组为候选码
若关系又多个候选码,则选定其中一个为主码
候选码的诸属性被称为主属性,不包含在任何候选码中的属性被称为非主属性或非码属性
关系模式:关系的描述称为关系模式,可以形象化地表示为\(R(U,D,DOM,F)\)
关系是关系模式在某一个时刻的状态或内容。关系模式是静态的,稳定的,而关系是动态的,随着时间变化的,因为关系操作在不断地更新着数据库中的数据
关系操作
关系的完整性:
实体完整性
若属性(或属性组)A是基本关系R的主属性,则A不能取空值。
参照完整性
若属性(或属性组)F是基本关系R的外码,它域基本关系S的主码 \(K_s\)相对应,则对于\(R\)中的每个元组在F上的取值必须要么取空值,要么等于S中某一个元组的主码值(即要么不参照,要么参照一个确定存在的值)
用户定义的完整性
关系代数
选择\(\sigma_{F}R\)
从关系R中选择满足条件F的元组(F是某个可判断真值的表达式)
投影\(\prod_AR\)
从关系R中抽出属性(或属性组)A对应的列
连接\(A\underset{F}\Join B\)
从A与B的笛卡尔积中选取满足条件\(F\)的元组(F是某个可判断真值的表达式)
除运算\(A\div B\)
例如:求选过所有课的学生学号
表1(学号,选课课号)
表2 (课号,课名....)
表1 / 表2 就是保留选课课号包含了所有课号的学号集合。
标签:集合 运算 部分 不能 inline 完整性约束 复习 保留 表达
原文地址:https://www.cnblogs.com/popodynasty/p/14155254.html