Wikiいけめん
217
回編集
差分
再開したら温度が上がります。もっと凍結したら温度が下がります。
<font size="6"><b>このプロジェクトは凍結しました。このプロジェクトは本当に完全に凍結しました。 現在の温度: -60℃</b></font>集合関数とか何をどうやって束縛してるんですか...
<s>この記事では、SQLのインタプリタをZFCで実装する。</s>実装しません。複雑すぎました。多分理論上は可能なんじゃないかと思います。ZFCはC言語の亜種ではない。
これをボイス・コッド正規形にするためには、\( \{ \mathrm{A}, \mathrm{B} \} \)ではなく\( \{ \mathrm{A}, \mathrm{C} \} \)を主キーにすればよい。すると、第2正規形ですらなくなるため、第2正規形、第3正規形、ボイス・コッド正規形にする手続きを再帰的に行う。この手続きは有限回で終了し<ref>この記事では列数が有限の場合のみを考える。</ref>、最終的にボイス・コッド正規形が得られる。
私は第4・第5正規形をZFCに実装する驚くべき方法を発見したが、それを記すにはこの余白は狭すぎる。 ===第4正規形=SQL==SQLは次のような形式を持つ\( \mathbb{S}^* \)の元である。
[]内はあってもなくてもよい。また、記号で察した通りSQLには述語論理が組み込まれている。変数を束縛する順はFROM, WHERE, GROUP BY, HAVING, SELECT, ORDER BYらしい。<font size==SQL==凍結しました。"2">p進大好きbotが匙を投げるレベル</font>
==結論==