概念：域、笛卡尔积、关系、元组、属性、码。
候选码：若关系中的某一属性组的值能唯一地标识一个元组，而其子集不能，则称该属性组为候选码。
主码：若一个关系有多个候选码，则选定其中一个为主码。
主属性与非主属性：候选码的诸属性称为主属性。不包含在任何侯选码中的属性称为非主属性或非码属性。
数据库完整性
实体完整性：主属性不为空
参照完整性：外码为空或等于相应的某个主码
用户定义的完整性：用户自定义
关系代数
基本操作：选择、投影、并、差、（广义）笛卡尔积
概念：悬浮元组、外连接
选择
\[ \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]} \]
