编辑“︁BCNF（Boyce-Codd范式）”︁（章节）

== 定义 ==

一个关系模式 <math>R</math> 属于 BCNF，当且仅当对于 <math>R</math> 中的每一个非平凡的函数依赖 <math>X \rightarrow Y</math>，<math>X</math> 必须是 <math>R</math> 的一个超键。换句话说：

<math>
\text{如果 } X \rightarrow Y \text{ 且 } Y \not\subseteq X, \text{ 则 } X \text{ 必须是超键。}
</math>

其中：
* '''超键'''（Superkey）是指能够唯一标识关系中元组的属性或属性组合。
* '''非平凡的函数依赖'''是指 <math>Y</not\subseteq X</math>，即 <math>Y</math> 不完全包含在 <math>X</math> 中。