即R(U,D,DOM,F)关系是值:表中的元祖(一行记录作为一个关系)R(U,D,Dom,F)表示中,R关系名,U属性集,D属性的域,Dom属性到域的映像集合,F依赖关系集合完整性约束实体(唯一性,PK...SQL关系运算t \in R t是R的一个元组(关系集合中的一个关系)t[A_i] 元祖t的某个分量笛卡尔积的表示 R \times S = \{t_r t_s | t_r \in R...或 \neg 取反 外连接全外连接:左右表的悬浮元祖保留,填充NULL左外连接:保留左表的所有元祖,右表对应的字段填充NULL右外连接:...重命名 \rho_s(A_1,A_2,.....,t_k) :R中的元祖t由域t_1,t_2,......:消除...部分和传递BCNF:每一个决定因素都包含K(避免异常)4NF:消除非平凡且非函数的多值依赖多值依赖三个属性集XYZ,存在(x,z)对应一组Y,且Y仅由x决定而与z无关4NF中每个非平凡多值依赖