函数依赖、部分函数依赖、完全函数依赖、传递依赖、候选码、超码、主码、外码、全码(all-key) 、INF 、2NF 、3NF 、BCNF 、多值依赖、4NF .
函数依赖(FD):在关系模式 里,
,对
的当前关系
中的任意元组
,都有
蕴含
,则称FD
在
上成立。
若
,称
为平凡的FD。
局部/完全函数依赖:对FD ,若
,则称
为局部函数依赖,否则为完全函数依赖
传递依赖:若 ,称
为传递依赖
多值依赖(MVD):在关系模式 里,
,若只要
的当前关系
中存在元组
,则存在
,则称MVD
在
上成立。
若
或
,称
为平凡的MVD。
超键:能唯一标识元素的属性或属性集
候选键:不含多余属性的超键
主键:正在使用的,用于标识元组的超键
外键:若属性集 为模式
的主键,且在
中出现,称
为
的外键
全码:若关系中只有一个候选码,且它包含全部属性,则称为全码
1NF:每个关系的属性值都是不可分割的原子值
2NF:是1NF,且每个非主属性完全依赖于候选键
3NF:是1NF,且每个非主属性不传递依赖于候选键
BCNF:是1NF,且每个属性不传递依赖于候选键
4NF:每个非平凡MVD 左部的
均为超键