关系数据结构及形式化定义
关系
- 现实世界的实体和实体之间的各种联系均用单一的结构类型,即关系来表示
- 候选码是能唯一标识一个元祖的属性组,而其子集不能。主属性是候选码中的诸属性。
- 关系三种类型:基本表、查询表、视图表
- 关系模型要求关系必须是规范化的,这种规范化的关系成为范式。
- 关系的描述成为关系模型,他可以形象化的表示为R(U,D,DOM,F)R是关系名,U是属性名集合
关系操作
- 早期的关系操作能力通常用代数方式或者逻辑方式进行表示,分别称为关系代数和关系逻辑
- 介于关系代数与关系演算之间的结构话查询语言,即SQL语言,是关系数据库的标准语言。
关系的完整性
实体完整性
- 定义:若属性(一个或一组属性)A是基本关系R的主属性,则A不能取空值。所谓空值就是不知道、不存在或无意义的值。
参照完整性
- 定义:若属性(一个或一组)F是基本关系R的外码,它与基本关系S的主码K相对应,则对于R中的每个元组在F上的值都必须:或者取空值,或者等于S中某个元组的主码值。
用户定义的完整性
- 定义:用户定义的完整性是针对某一具体关系数据库的约束要求,它反映了某一具体应用所涉及的数据库所必须满足的语义要求。
关系代数
- 需要掌握的关系代数运算符:并、交、差、笛卡尔积、选择、投影、连接