3-第六章-形式化關(guān)系查詢語(yǔ)言-資料下載頁(yè)
2025-08-05 19:06本頁(yè)面
【正文】 r2 x .. x rm))) SQL和關(guān)系代數(shù) ? 更一般地，在 select 子句中非聚集屬性可能會(huì)成為屬性組的一個(gè)子集，這種情況等價(jià)于： select A1, sum(A3) from r1, r2, …, rm where P group by A1, A2 等價(jià)于下面的關(guān)系代數(shù)表達(dá)式 ? A1,sumA3( A1,A2 sum(A3) as sumA3(? P (r1 x r2 x .. x rm))) 元組關(guān)系演算 元組關(guān)系演算 ? 非過(guò)程化查詢語(yǔ)言，并且查詢表達(dá)式為 {t | P (t ) } ? 它是所有使謂詞 P 為真的元組 t 的集合 ? t是一個(gè)元組變量， 我們用 t [A ] 表示元組 t 在屬性 A 上的值 ? t ? r 表示元組 t 在關(guān)系 r 中 ? P 是一個(gè)公式 謂詞演算公式 1. 屬性和常數(shù) 2. 比較運(yùn)算符： (., ?, ?, ?, ?, ?, ?) 3. 連接詞： and (?), or (v)? not (?) 4. 蘊(yùn)含 (?)： x ? y, if x is true, then y is true x ? y ???x v y 5. 量詞： ???t ??r (Q (t )) ??在關(guān)系 r中， 存在 元組 t ，使得 謂詞 Q (t ) 為真 ??t ??r (Q (t )) ??對(duì)于 所有 關(guān)系 r 中的元組 t， Q 為真 查詢示例 ? 找出所有工資在 $80,000 以上的教師的 ID, name, dept_name 和 salary。 ? 假設(shè)我們只需要 ID 屬性 {t | ? s ??instructor (t [ID ] = s [ID ] ? s [salary ] ? 80000)} {t | t ? instructor ? t [salary ] ? 80000} 查詢示例 ? 找出在 Watson 樓的系的所有教師姓名 {t | ?s ? section (t [course_id ] = s [course_id ] ? s [semester] = “Fall” ? s [year] = 2022) v ?u ? section (t [course_id ] = u [course_id ] ? u [semester] = “Spring” ? u [year] = 2022)} ?找出在 2022年秋季學(xué)期或者 2022年春季學(xué)期開(kāi)設(shè)的所有課程 {t | ?s ? instructor (t [name ] = s [name ] ? ?u ? department (u [dept_name ] = s[dept_name] ? u [building] = “Watson” ))} 查詢示例 {t | ?s ? section (t [course_id ] = s [course_id ] ? s [semester] = “Fall” ? s [year] = 2022) ? ?u ? section (t [course_id ] = u [course_id ] ? u [semester] = “Spring” ? u [year] = 2022)} ? 查詢?cè)?2022年秋季和 2022年春季學(xué)期都開(kāi)設(shè)的課程 {t | ?s ? section (t [course_id ] = s [course_id ] ? s [semester] = “Fall” ? s [year] = 2022) ? ? ?u ? section (t [course_id ] = u [course_id ] ? u [semester] = “Spring” ? u [year] = 2022)} ? 找出 2022年秋季學(xué)期開(kāi)設(shè)而 2022年春季學(xué)期不開(kāi)的所有課程
醫(yī)療健康相關(guān)推薦
鄂ICP備17016276號(hào)-1