資料庫 元組演算表示式

資料參考

(1) r(t)

(2) t[i] θ u[j]

(3) t[i] θ c 或 c θ t[i]

每個原子公式是公式。

如果 φ 1 和 φ 2 是公式，則 φ 1 ∧ φ 2 、 φ 1 ∨ φ 2 、 ﹁ φ1 也是公式。分別表示：

① 如果 φ 1 和 φ 2 同時為真。則 φ 1 ∧ φ 2 才為真，否則為假；

② 如果 φ 1 和 φ 2 中乙個或同時為真，則 φ 1 ∨ φ 2 為真，僅 φ 1 和 φ 2 同時為假時， φ 1 ∨ φ 2 才為假；

③ 如果 φ 1 真，則 ﹁ φ 1 為假。

若 φ 是公式，則 ∃ t(φ) 也是公式。其中符號 ∃ 是存在量詞符號， ∃ t(φ) 表示：

若有乙個 t 使 φ 為真，則 ∃ t(φ) 為真，否則 ∃ t(φ) 為假。

若 φ 是公式，則 ∀ t( φ ) 也是公式。其中符號 ∀ 是全稱量詞符號， ∀ t( φ ) 表示：

如果對所有 t ，都使 φ 為真，則 ∀ t( φ ) 必為真，否則 ∀ t( φ ) 為假。

在元組演算公式中，各種運算子的優先次序為：

① 算術比較運算子最高；

② 量詞次之，且 ∃ 的優先順序高於 ∀ 的優先順序；

③ 邏輯運算子最低，且 ﹁ 的優先順序高於 ∧ 的優先順序， ∧ 的優先順序高於 ∨ 的優先順序；

④ 加括號時，括號中運算子優先，同一括號內的運算子之優先順序遵循 ①②③ 各項。

有限次地使用上述五條規則得到的公式是元組關係演算公式，其他公式不是元組關係演算公式。

乙個元組演算表示式 表示了使 φ(t) 為真的元組集合。

關係代數的運算均可以用關係演算表示式來表示 ( 反之亦然 ) 。下面用關係演算表示式來表示五種基本運算：

(1) 並

r ∪ s =

r － s =

r × s =

注： t (n+m) 表示 t 有目數 (n+m)

π i1，i2，……，ik( r ) =

σ f ®=

注： f』 是公式。 f 用 t[i] 代替運算物件 i 得到的等價公式。

關於元組關係演算的例子可以去看：csdn：資料庫 通過例子快速了解元組演算表示式的計算

全文摘自《資料庫系統概論》2.5.2 元組關係演算；

為了更好的對例題進行解釋，所以幾乎原汁原味的複製全文；

本文在原文的基礎上進行了一部分的格式修改，以便閱讀；

資料庫系統 元組演算

1 元組演算的概念 在元組演算中，元組演算表示式簡稱為元組表示式，其一般形式為。t 元組變數，表示乙個元數固定的元組 p 公式，在數理邏輯中也稱為謂詞，也就是計算機語言中的條件表示式。表示滿足公式p的所有元組t的集合。2 原子公式 r s 其中r是關係名，s是元組變數。s i u j 其中s和u是元...

資料庫系統概論 關聯式資料庫 元組關係演算ALPHA

直觀上，元組關係演算alpha中的存在量詞和全稱量詞並不太好理解。本文雖對其做了一定的解釋，但是依然可能顯得不夠。建議大家最好結合表實際演算，增加大家的直覺。取定學生關係student中的乙個元組，設為t，現對元組t進行判斷 若選修關係x 即選修關係sc 中存在乙個元組s，使得s.sno t.sno...

oracle 資料庫常見的條件表示式

條件表示式 條件表示式通用寫法mysql oracle通用 給emp表中員工起中文名 else可以省略，end不能省略 select e.ename,case e.ename when smith then 張三 when allen then 李四 when ward then 王五 else 無...