3-第六章-形式化關系查詢語言(專業版)

　　

【正文】 外連接 ——舉例 ? 關系 instructor ? 關系 teaches ID course_id 10101 12121 76766 CS101 FIN201 BIO101 Comp. Sci. Finance Music ID dept_name 10101 12121 15151 name Srinivasan Wu Mozart ? 左外連接 instructor teaches 外連接 ——舉例 ? 連接 instructor teaches ID dept_name 10101 12121 Comp. Sci. Finance course_id CS101 FIN201 name Srinivasan Wu ID dept_name 10101 12121 15151 Comp. Sci. Finance Music course_id CS101 FIN201 null name Srinivasan Wu Mozart 外連接 —— 舉例 ? 全外連接 instructor teaches ? 右外連接 instructor teaches ID dept_name 10101 12121 76766 Comp. Sci. Finance null course_id CS101 FIN201 BIO101 name Srinivasan Wu null ID dept_name 10101 12121 15151 76766 Comp. Sci. Finance Music null course_id CS101 FIN201 null BIO101 name Srinivasan Wu Mozart null 外連接 ——使用各種連接 ? 外連接可以使用基本的操作表示 ? 例如： r s可以寫成 (r s) U (r – ∏R(r s) ) x {(null, …, null)} 空值 ? 元組的某些屬性可以被定為 null。 ? ?s(E1)，其中 S是 E1中某些屬性的列表 ? ? x (E1)，其中 x是 E1結果的新名字 附加的關系代數運算 定義一些附加的運算 ，它們不能增強關系代數的表達能力，卻可以簡化一些常用的查詢。第六章 形式化關系查詢語言 ? 關系代數 ? 元組關系演算 ? 域關系演算 關系代數 ? 一種過程化查詢語言 ? 具有 6個基本運算： ? 選擇 : ? ? 投影 : ? ? 并 : ? ? 集合差 : – ? 笛卡爾積 : x ? 更名 : ? 選擇運算 ? 符號 : ? p(r) ? p 是選擇謂詞 ? 定義 : ?p(r) = {t | t ? r Λ p(t)} 其中， p是一個由多個條件組成的命題演算公式，而這些條件是由 ? (and), ? (or), ? (not)連接起來的。 ? 集合交運算 ? 自然連接運算 ? 賦值運算 ? 除運算 ? 外連接運算 集合交運算 ? 符號： r ? s ? 定義： r ? s = { t | t ? r Λ t ? s } ? 假設 : ? r, s具有相同的元 ? r 和 s的屬性必須兼容 ? 注意： r ? s = r – (r – s) ? 已知 關系 r (R)和 s(S) 。 ? null表示該值未知或不存在。 ? 我們將學習用 null 比較的精確含義。 ? 查詢 1 ?,course_id (?dept_name=“Physics” ( ? = (instructor x teaches))) ? 查詢 2 ?,course_id (?= ( ? dept_name=“Physics” (instructor) x teaches)