概念:域、笛卡尔积、关系、元组、属性、码。
候选码:若关系中的某一属性组的值能唯一地标识一个元组,而其子集不能,则称该属性组为候选码。
主码:若一个关系有多个候选码,则选定其中一个为主码。
主属性与非主属性:候选码的诸属性称为主属性。不包含在任何侯选码中的属性称为非主属性或非码属性。
数据库完整性
实体完整性:主属性不为空
参照完整性:外码为空或等于相应的某个主码
用户定义的完整性:用户自定义
关系代数
基本操作:选择、投影、并、差、(广义)笛卡尔积
概念:悬浮元组、外连接
选择
\[ \sigma _F(R) = \set{t | t \in R \wedge F(t) = \textup{true}} \]
投影
\[ \Pi _A(R) = \set{t [A] | t \in R} \]
连接
\[ R \underset{A \uptheta B}{\bowtie} S = \set{\overset{\LARGE\frown}{t_r t_s} | t_r \in R \wedge t _s \in S \wedge t_r[A] \uptheta t_s[B]} \]