關係代數的基本運算主要包括選擇、投影、並、集合差、笛卡爾積和更名運算。
選擇、投影和更名運算是一元運算。另外三個是二元運算。
選擇 (σ)
廣義選擇是寫爲 的一元運算,這裏的 是由正常選擇中所允許的原子和邏輯算子 (與)、(或) 和 (非)構成的命題公式。這種選擇選出 中使 成立的所有元組。
爲了選擇loan關係中支行名稱爲"Perryridge"的那些元組,我們寫作
σbranch_name="Perryridge"(loan)
其相應的查詢語句爲:
- mysql> select * from loan where branch_name="Perryridge";
- +-------------+-------------+--------+
- | loan_number | branch_name | amount |
- +-------------+-------------+--------+
- | L-15 | Perryridge | 1500 |
- | L-16 | Perryridge | 1300 |
- +-------------+-------------+--------+
- 2 rows in set (0.01 sec)
投影 (π)
投影是寫爲 的一元運算,這裏的 是屬性名字的集合。這種投影的結果定義爲當所有在 中的元組被限制爲集合 的時候所獲得的集合。
假設我們想要列出所有貸款的號碼和金額,而不關心支行名稱。我們可以用下面的運算
πloan_name,amount(loan)
其相應的查詢語句爲:
- mysql> select loan_number,amount from loan;
- +-------------+--------+
- | loan_number | amount |
- +-------------+--------+
- | L-11 | 900 |
- | L-14 | 1500 |
- | L-15 | 1500 |
- | L-16 | 1300 |
- | L-17 | 1000 |
- | L-23 | 2000 |
- | L-93 | 500 |
- +-------------+--------+
- 7 rows in set (0.00 sec)
並運算(∪)
並運算跟集合中並運算相仿:A∪B 定義爲 {e|e∈A 或 e∈B};
假設有一個查詢要找出所有的有貸款或有賬戶或二者兼具的銀行賬戶。
請注意customer關係中並不能包含該信息,因爲客戶在該銀行可以既無賬戶又無貸款。
爲了回答這一查詢,我們需要depositor關係和borrower關係中的信息。
我們知道如何找出所有在此銀行有貸款的客戶:
πcustomer_name(borrower)
我們還知道如何找出所有在此銀行有賬戶的客戶:
πcustomer_name(depositor)
爲了回答這個查詢,我們需要將這兩個集合並(union)起來;即我們需要所有出現在這兩個集合之一的或同事出現在這兩個集合中的客戶姓名。
其表達式爲:
πcustomer_name(borrower) ∪πcustomer_name(depositor)
其相應的查詢語句爲:
- mysql> select customer_name from borrower union select customer_name from depositor;
- +---------------+
- | customer_name |
- +---------------+
- | Admas |
- | Curry |
- | Hayes |
- | Jackson |
- | Jones |
- | Smith |
- | Williams |
- | Johnson |
- | Lindsay |
- | Turner |
- +---------------+
- 10 rows in set (0.00 sec)
集合差
集合差運算使得我們可以找出在一個關係中而不在另一個關係中的那些元組。
我們可以通過如下表達式來找出所有有賬戶而無貸款的客戶:
πcustomer_name(depositor) -πcustomer_name(borrower)
其相應的查詢語句爲:
- mysql> select distinct customer_name
- -> from depositor
- -> where customer_name not in
- -> (select customer_name from borrower);
- +---------------+
- | customer_name |
- +---------------+
- | Johnson |
- | Lindsay |
- | Turner |
- +---------------+
- 3 rows in set (0.00 sec)