數(shù)據(jù)庫系統(tǒng)概論第二章-資料下載頁
2025-05-15 11:30本頁面
【正文】 P1 , P2是公式，則 P1 ? P2 , P1 ? P2 , ┑ P2也是公式 ?若 P1 , P2同時為真，則 P1 ? P2 為真，否則為假； ?若 P1 , P2同時或有一個為真，則 P1 ? P2 為真，僅當同時為假，則 P1 ? P2 為假； ?若 P1 為真，則 ┑ P1為假 。 ?如果 P是公式，則 ?t (P)也是公式 ?如果 P是公式，則 ?t (P) 也是公式 ?運算優(yōu)先級 (從高到低 ) ?算術(shù)比較運算符最高 ?量詞次之， ?高于 ? ?邏輯運算符 :┑ , ? , ? ?括號優(yōu)先 52 元組演算表達式舉例： { t | S(t) ? t[A] 2} S中 A屬性大于 2的元組的集合 { t | R(t) ? ┑ S(t) } R中不在 S中出現(xiàn)的元組的集合 { t | ( ?u) (S(t) ? R(u) ? t[C] u[B])} S中滿足下述條件的元組的集合： C屬性小于 R中某一個元組的B屬性的值。 { t | (?u)( R(t) ? S(u) ? t[C] u[A])} R中滿足下述條件的元組的集合： C屬性大于 S中每個元組的 A屬性的值。 53 任何一個關(guān)系代數(shù)表達式都可等價地表示成元組關(guān)系演算表達式 .關(guān)系代數(shù)中的 5種基本運算用元組關(guān)系演算表示為： R∪ S={t|R(t) ∨ S(t)} 對應(yīng)于： R∪ S={t|t∈ R(t) ∨ t∈ S(t)} R – S={t| R(t) ∧ ￢ S(t)} 對應(yīng)于： R – S={t| t∈ R(t) ∧ ┑ t∈ S(t) } 54 ??)][][. ..]1[]1[][][. ..]1[]1[)()()()(( )()( )(svsrtvrtrurtutvSuRvutSR ssr r????????????????? ?? ?)][][...][]1[)()(()( 1)(,.. .,1 kkii iuktiutuRutRk ?????????? 的等價表示形式是其中 FFFtRtRF 39。,39。)()( ???55 A B C 1 2 3 4 5 6 7 8 9 A B C 1 2 3 3 4 6 5 6 9 R S A B C 3 4 6 5 6 9 { t | S(t) ? t[A] 2} A B C 4 5 6 7 8 9 { t | R(t) ? ┑ S(t) } 56 A B C 1 2 3 4 5 6 7 8 9 A B C 1 2 3 3 4 6 5 6 9 R S { t | ( ?u) (S(t) ? R(u) ? t[C] u[B])} S中滿足下述條件的元組的集合： C屬性小于 R中某一個 元組的 B屬性的值。 A B C 1 2 3 3 4 6 57 A B C 1 2 3 4 5 6 7 8 9 A B C 1 2 3 3 4 6 5 6 9 R S A B C 4 5 6 7 8 9 { t | (?u)( R(t) ? S(u) ? t[C] u[A])} R中滿足下述條件的元組的集合： C屬性大于 S中每個 元組的 A屬性的值。 58 A B C 1 2 3 4 5 6 7 8 9 A B C 1 2 3 3 4 6 5 6 9 R S 5 3 4 8 3 7 8 6 7 8 9 7 { t | (?u)(?v)(R(u) ?S(v) ? u[A]v[B] ? t[A]=u[B] ?t[B]=v[C] ?t[C]=u[A])} 新關(guān)系的 A列從 R的 B列取值，新關(guān)系的 B列從 S的 C列取值，新關(guān)系的 C列從 R的 A列取值， 只需滿足條件對應(yīng)元組的R[A]S[B] 59 ?表達式的安全性 ?元組關(guān)系演算有可能會產(chǎn)生無限關(guān)系，這樣的表達式是不安全的 如 {t | ┑ R(t)}，求所有不在 R中的元組 ?引入公式 P的 域 概念，用 dom(P)表示 dom(P) 至少包含 顯式出現(xiàn)在 P中的值 + 在 P中出現(xiàn)的關(guān)系的元組中出現(xiàn)的值（不必是最小集） ,但是有限集。 ?如果出現(xiàn)在表達式 {t | P（ t） }結(jié)果中的所有值均來自dom(P)， 則稱 {t | P（ t） }是安全的 60 A B A1 B1 A1 B2 A2 B3 dom(┑ (t ?R)) = {{A1 , A2} , {B1 , B2 , B3}} A B A1 B3 A2 B1 A2 B2 R { t |┑ (t ?R) } 61 域關(guān)系演算 ?形式化定義 { x1 x2 …x n | P（ x1 , x2 , … , x n ） } xi代表域變量， P為由原子構(gòu)成的公式 ?原子公式 ? x1 , x2 , … , x n ? R，記 R(x1 , x2 , … , x n ) ?xi是域變量或域常量 ?x ? y ?域變量 x與 y之間滿足比較關(guān)系 ? ?x ? c ?域變量 x與常量 c之間滿足比較關(guān)系 ? 62 A B C 1 2 3 4 5 6 7 8 9 A B C 1 2 3 3 4 6 5 6 9 R S A B C 4 5 6 R1={ x y z | R( x, y, z) ? x5 ? y3} R中 A列小于 5并且 B列大于 3的元組的集合，列與 R列對應(yīng)不變。 D E 7 5 4 8 W 63 A B C 1 2 3 4 5 6 7 8 9 A B C 1 2 3 3 4 6 5 6 9 R S D E 7 5 4 8 W B D A 5 7 4 8 7 7 8 4 7 R2={ x y z| (?u) (?v) (R(z, x, u) ?W(y, v) ? uv)} 13列對應(yīng) R的 BA列， 2列對應(yīng) W的 D列，并且對應(yīng)元組的 CE。 64 A B C 1 2 3 4 5 6 7 8 9 A B C 1 2 3 3 4 6 5 6 9 R S A B C 1 2 3 4 5 6 7 8 9 3 4 6 R2={xyz| R(x, y, z) ? (S( x, y, z) ? y=4)} 新關(guān)系與 R列對應(yīng)，其元組或?qū)儆?R，或為 S中 B值為 4的元組。 D E 7 5 4 8 W 65 A1 A2 A3ddgdcebdefcd5379???? 8]3[]1[)()(8)(18339。39。111??????????????tdttRtRRRdXZX Y ZRX Y ZRAdA：等價于元組關(guān)系演算為：等價于關(guān)系代數(shù)表達式?A1 A2 A3ddcebd53求 R中 3列小于 8并且 1列等于 d的元組集合， 域關(guān)系驗算、關(guān)系代數(shù)、元組關(guān)系驗算 表達式 66 歸納： 關(guān)系代數(shù)、元組關(guān)系演算和域關(guān)系演算都是抽象的查詢語言，它們不是具體的 DBMS中實際實用的語言，它們的作用是作為評估實際系統(tǒng)查詢語言能力的標準。這三種語言在表達能力上是完全等價的。三種語言都是非過程化的。
研究報告相關(guān)推薦
鄂ICP備17016276號-1