2018-12-12から1日間の記事一覧
序文 SQLを支える基礎理論は2つ 集合論 述語論理(predicate logic) SQLで使う述語論理は、「一階述語論理」...行の集合 = テーブルを対象とする 0階: 行対象 二階: 行の集合の集合 = テーブルの集合を対象とする EXISTSは「量化」(quantification)を実現する…
序文 SQLを支える基礎理論は2つ 集合論 述語論理(predicate logic) SQLで使う述語論理は、「一階述語論理」...行の集合 = テーブルを対象とする 0階: 行対象 二階: 行の集合の集合 = テーブルの集合を対象とする EXISTSは「量化」(quantification)を実現する…