==導入==
SQLは関係データベースと呼ばれる非常に複雑な集合に対して定義される非常に複雑な演算子である。SQLは演算子であるにもかかわらず、その記法があまりにも複雑であるため、Search SQLは関係データベースと呼ばれる非常に複雑な集合に対して定義される非常に複雑な演算子である。SQLは演算子であるにもかかわらず、その記法があまりにも複雑であるため、Structured Query '''Language'''と呼ばれることもある。
==定数記号==
#### \( D \)は\( 0 \)個以上の'''タプル'''の集合である。ただし、
##### タプルとは、\( \{ (S_1, T_1), \cdots, (S_n, T_n) \} \)の形の集合である。
SQLの実装には直接必要ないが、正規形の話をしたくなったので書く。
===第1正規形===
===第2正規形===
===第3正規形===
===ボイス・コッド正規形===
===第4正規形===
===第5正規形===
==SQL==