Data Independence

Boyce-Codd Normal Form (BCNF)

Learned in CS348.

Haven’t practiced this yet, but this video shows. Transform to BCNF video.

Boyce-Codd Normal Form (BCNF)

Schema $R$ is in BCNF with respect to a set of functional dependencies $F$ if and only if, whenever $(X\to Y)\in F^{+}$ where $XY\subseteq R$, then either

• $(X\to Y)$ is trivial (i.e., $Y\subseteq X$), or
• $X$ is a Superkey of $R$.

A database schema $⟨\rho =\{R_1,\dots ,R_n\},F⟩$ is in BCNF if each relation schema $R_i$ is in BCNF with respect to $F$.

https://faculty.ksu.edu.sa/sites/default/files/E-%20Decomposition.pdf

Related

• Third Normal Form (3NF)