<font size="6"><b>このプロジェクトは完全に凍結しました。このプロジェクトは本当に完全に凍結しました。 現在の温度: -60℃</b></font>集合関数とか何をどうやって束縛してるんですか...
<s>この記事では、SQLのインタプリタをZFCで実装する。</s>実装しません。複雑すぎました。多分理論上は可能なんじゃないかと思います。ZFCはC言語の亜種ではない。
==SQL==
凍結しました。SQLは次のような形式を持つ\( \mathbb{S}^* \)の元である。 $$ \mathrm{SELECT}\ L_1\ \mathrm{FROM}\ T\ [\mathrm{WHERE}\ \psi]\ [\mathrm{GROUP\ BY}\ L_2]\ [\mathrm{HAVING}\ \phi]\ [\mathrm{ORDER\ BY}\ L_3] $$ []内はあってもなくてもよい。また、記号で察した通りSQLには述語論理が組み込まれている。変数を束縛する順はFROM, WHERE, GROUP BY, HAVING, SELECT, ORDER BYらしい。<font size="2">p進大好きbotが匙を投げるレベル</font>
==結論==