關係論理
relational calculus。關係計算
組關係論理
$ \{t|\phi(t)\}
$ tは組變數で、$ t.Xと field を持つ
$ \phi(t)は field を扱へる、等式附きの述語論理式
單純な述語$ P(t)を$ t\in Pと書きもする
定義域關係論理 (domain-oriented relational language)
$ \lang X_1,X_2,\dots,X_n\rang|p(\lang X_1,X_2,\dots,X_n\rang)
$ X_iは定義域變數もしくは定數
$ pは組を扱へる、等式附きの述語論理式
SQL (structured query language)