論理学の系譜

FrontPage

論理学の系譜 †

下表の※1 から 4 が、関係DBに関係があるところ。

エドガー・ゴット先生は当初の２値関係モデルを考案し、のちに３値モデルが採用され現在に至る。
なお、３値モデルは当初とても揉めたらしい（NULL肯定派 vs 否定派)

現在のSQLは、

• 量化子(∀、∃）のない2階述語論理 (1階述語論理チックだが、all関数が集合を取り扱うので、2階と判断しました)
• 3値論理{true, false, unkown}

と思われる。

ただ、SQLで表現できれば、

• 量化子あり(∀、∃）のある１階述語論理。
• 3値論理{true, false, unkown}

に書き換え可能と思う。