3-第六章-形式化關(guān)系查詢語言(編輯修改稿)
2025-09-01 19:06 本頁面
【文章內(nèi)容簡介】 (Z)所得的商關(guān)系是 r在屬性集 X上的投影的一個(gè)子集，且該子集與 s的笛卡爾積必須包含在 r(X,Y)中。 ? 設(shè) 有關(guān)系 r(R) 和 s(S)是兩個(gè)關(guān)系，并且 S是 R的子集。則關(guān)系 r ? s是模式 RS上的關(guān)系，元組 t∈ r ? s當(dāng)且僅當(dāng)以下兩個(gè)條件同時(shí)成立： 1. t ∈ ?RS (r) 2. 對于 s中的每一個(gè)元組 ts，在 r中都有元組 tr同時(shí)滿足 tr[s]=ts[s] tr[RS]=t 除運(yùn)算 ? 例： r(ID, course_id) = ?ID, course_id (takes ) s(course_id) = ?course_id (?dept_name=“Biology”(course ) ) 那 么 r ? s 表示已經(jīng)學(xué)習(xí)了生物系所有課程的學(xué)生的名單 外連接 ? 外連接運(yùn)算是連接運(yùn)算的擴(kuò)展，可以避免信息丟失。 ? 計(jì)算連接； 然后將一個(gè)關(guān)系中和另一個(gè)關(guān)系不匹配的元組也加入到最后的連接結(jié)果中。 ? 使用 null 值 : ? null 表示該值未知或不存在。 ? 根據(jù)定義，所有涉及到 null 的比較 (粗略地講 )都是錯(cuò)的。 ? 我們將學(xué)習(xí)用 null 比較的精確含義。 外連接 ——舉例 ? 關(guān)系 instructor ? 關(guān)系 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。 ? null表示該值未知或不存在。 ? 涉及 null 的任何算術(shù)表達(dá)式結(jié)果為 null . ? SQL中聚集函數(shù)往往忽略空值 ? 對于消除重復(fù)和分組，可以像任何其他的值一樣處理空值；兩個(gè)空值被認(rèn)為是相同的 (如 SQL) 空值 ? 空值返回的真值比較特殊： unknown ? 如果用 false 代替 unknown，那么 ”not (A 5)” 與 A = 5 不等價(jià) ? 使用真值 unknown的三值邏輯 : ? OR:
醫(yī)療健康相關(guān)推薦
鄂ICP備17016276號-1