关系模式由五部分组成，是一个五元组：
R(U,D,DOM,F)

R是符号化的元组语义
U为一组属性
D为属性组U中的属性所来自的域
DOM为属性到域的映射
F为属性组U上的一组数据依赖

第一范式（1NF）

二维表每个分量必须是不可分开的数据项的关系模式

数据依赖

关系中属性与属性之间的约束关系，是语义的体现

主要类型:

函数依赖，多值依赖

函数依赖

设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r 中不可能存在：两个元组在X上的属性值相等，而在Y上的属性值不等， 则称“X函数确定Y”或“Y函数依赖于X”，记作X→Y。

若X→Y，并且Y→X, 则记为X←→Y。
若Y不函数依赖于X, 则记为X→Y。

$X \rightarrow Y$X→Y ，但 $Y \nsubseteq X$Y⊈X则称$X \rightarrow Y$X→Y是非平凡的函数依赖。
$X \rightarrow Y$X→Y ，但$Y \subseteq X$Y⊆X 则称$X \rightarrow Y$X→Y是平凡的函数依赖。

若$X \rightarrow Y$X→Y，则X称为这个函数依赖的决定因素
若$X \rightarrow Y$X→Y，$Y \rightarrow X$Y→X，则记作$X \leftarrow\rightarrow Y$X←→Y。
若Y不函数依赖于X，则记作$X \not\rightarrow Y$X​→Y。

在R(U)中，如果$X \rightarrow Y$X→Y ，并且对于X的任何一个真子集X’, 都有 $X \not\rightarrow Y$X​→Y, 则称Y对X完全函数依赖，记作$X \rightarrow Y$X→Y 。若$X \rightarrow Y$X→Y ，但Y不完全函数依赖于X，则称Y对X部分函数依赖，记作$X \rightarrow Y$X→Y

在R(U)中，如果$X \rightarrow Y$X→Y($Y \nsubseteq X$Y⊈X)，$Y \not\rightarrow X$Y​→X，$Y \rightarrow Z$Y→Z，$Z \nsubseteq Y$Z⊈Y, 则称Z对X传递函数依赖。记为：$X \rightarrow Z$X→Z。

注: 如果$Y \rightarrow X$Y→X, 即$X \leftarrow\rightarrow Y$X←→Y，则Z直接依赖于X，而不是传递函数依赖。

码

设K为R<U,F>中的属性或属性组合。若K → U，则K称为R的一个候选码。如果U部分函数依赖于K，即K → U,则K称为超码 。