利用者:Nayuta Ito/プロジェクト・SQL

この記事では、SQLのインタプリタをZFCで実装する。ZFCはC言語の亜種ではない。

導入

SQLは関係データベースと呼ばれる非常に複雑な集合に対して定義される非常に複雑な演算子である。SQLは演算子であるにもかかわらず、その記法があまりにも複雑であるため、Search Query Languageと呼ばれることもある。

NULLと呼ばれる特殊な定数記号が必要である。これはZFCの外に存在する必要はなく、空集合などで代用できる。この記事では、NULL={}を仮定するが、必ずしもそうである必要はない。

関係データベース(リレーショナルデータベース、relational database、RDB)とは、次の条件を満たす集合である:

[ここにとんでもなく複雑かつ難解でデータベースエンジニアはおろか数学者にも理解できないであろう論理記号の列を挿入]

SQLとは、以下のように定義される演算子である:

[ここにとんでもなく複雑かつ難解でifやforを連打することによりデータベースエンジニア、数学者だけでなくプログラマにも理解できないであろう論理記号の列および番号付きリストを悪用した複雑な制御構造を挿入]