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