王珊的第五版数据库系统概论--第二章总结概述

第二章 关系数据库

元组：笛卡尔积中每一行值叫做一个元祖。

分量，笛卡尔积元素中的每一个列成为分量。分量必须取原子值。
这是规范条件中最基本的一条

笛卡尔积的表示方法
笛卡尔积可表示为一张二维表
表中的每行对应一个元组，表中的每列对应一个域

候选码：若关系中的某一属性组的值能唯一地标识一个元组。

主码：若一个关系有多个候选码，则选定其中一个为主码（Primary key）。

主属性：候选码的诸属性称为主属性（Prime attribute）
不包含在任何侯选码中的属性称为非主属性（Non-Prime attribute）或非码属性（Non-key attribute）

关系模式（Relation Schema）是型
关系是值，关系模式在某一时刻的状态或内容，动态的、随时间不断变化的
关系模式是对关系的描述，静态的、稳定的

基本关系操作

常用的关系操作
查询操作：选择、投影、连接、除、并、差、交、笛卡尔积
选择、投影、并、差、笛卡尔基是5种基本操作
数据更新：插入、删除、修改

关系的完整性

实体完整性：主键不能取空值。

参照完整性：一个表中的外键可以取空值，如果有值，必须等于其外键关联表中的主键值。

用户定义完整性：主键必须唯一，非主属性也不能为空，规定的属性只能取用户规定的值。

关系代数

悬浮元组（Dangling tuple）
两个关系R和S在做自然连接时，关系R中某些元组有可能在S中不存在公共属性上值相等的元组，从而造成R中这些元组在操作时被舍弃了，这些被舍弃的元组称为悬浮元组。

外连接（Outer Join）
如果把悬浮元组也保存在结果关系中，而在其他属性上填空值(Null)，就叫做外连接
左外连接(LEFT OUTER JOIN或LEFT JOIN)
只保留左边关系R中的悬浮元组
右外连接(RIGHT OUTER JOIN或RIGHT JOIN)
只保留右边关系S中的悬浮元组

R与S的除运算得到一个新的关系P(X)，
P是R中满足下列条件的元组在 X 属性列上的投影：
元组在X上分量值x的象集Yx包含S在Y上投影的集合，记作：
R÷S={tr[X]|trR∧πY(S)Yx}
Yx：x在R中的象集，x = tr[X]