この構成法から、可算無限個の列が主キーとなっている場合、第2正規形にするために連続体濃度の関係表が構成されることがあることがわかる。
===まだ解いていない問題===
関係表\( T(\underline{C_{-1}}, \underline{C_0}, C_1, C_2, \cdots) \)に対し、
$$ C_1 \rightarrow C_0, C_2 \rightarrow C_1, \cdots $$
という無限の関数従属性が存在するとき、これをボイス・コッド正規形にできるか?
==選択公理==