c語言-關系運算及關系代數(shù)

1、關系數(shù)據(jù)庫模型,關系代數(shù)理論,關系數(shù)據(jù)庫,關系數(shù)據(jù)模型概述關系數(shù)據(jù)模型的結構關系數(shù)據(jù)模型的完整性規(guī)則關系代數(shù)關系演算,關系模型,1. 關系數(shù)據(jù)模型的數(shù)據(jù)結構 2. 關系數(shù)據(jù)模型的操縱（運算）3. 關系數(shù)據(jù)模型的完整性約束,關系數(shù)據(jù)操作,關系數(shù)據(jù)模型的操作查詢選擇、投影、連接、除、并、交、差數(shù)據(jù)更新插入、刪除、修改,關系代數(shù),概述 傳統(tǒng)的集合運算 專門的關系運算,概述,1. 關系代數(shù)2. 運算的三要素3. 關系

2、代數(shù)運算的三個要素4. 關系代數(shù)運算的分類5. 表示記號,概述,1.關系代數(shù)一種抽象的查詢語言用對關系的運算來表達查詢,概述(續(xù)),2．關系代數(shù)運算的三個要素運算對象：關系運算結果：關系運算符：四類,概述(續(xù)),集合運算符將關系看成元組的集合運算是從關系的“水平”方向即行的角度來進行專門的關系運算符不僅涉及行而且涉及列算術比較符輔助專門的關系運算符進行操作邏輯運算符輔助專門的關系運算符進行操作,表

3、關系代數(shù)運算符,概述(續(xù)),,表 關系代數(shù)運算符（續(xù)）,概述(續(xù)),概述(續(xù)),4．關系代數(shù)運算的分類 傳統(tǒng)的集合運算 并、差、交、廣義笛卡爾積專門的關系運算 選擇、投影、連接、除,概述(續(xù)),5．表示記號 （1） R，t?R，t[Ai] 設關系模式為R(A1，A2，…，An)它的一個關系設為R。t?R表示t是R的一個元組t[Ai]則表示元組t中相應于屬性Ai的一個分量,概述

4、(續(xù)),（2） A，t[A]， A 若A={Ai1，Ai2，…，Aik}，其中Ai1，Ai2，…，Aik是A1，A2，…，An中的一部分，則A稱為屬性列或域列。t[A]=(t[Ai1]，t[Ai2]，…，t[Aik])表示元組t在屬性列A上諸分量的集合。A則表示{A1，A2，…，An}中去掉{Ai1，Ai2，…，Aik}后剩余的屬性組。,,,概述(續(xù)),（3） tr ts R為n目關系，S為m目關系。tr ?R，ts?S

5、， tr ts稱為元組的連接。它是一個n + m列的元組，前n個分量為R中的一個n元組，后m個分量為S中的一個m元組。,,,概述(續(xù)),4）象集Zx 給定一個關系R（X，Z），X和Z為屬性組。當t[X]=x時，x在R中的象集（Images Set）為： Zx={t[Z]|t ?R，t[X]=x} 它表示R中屬性組X上值為x的諸元組在Z上分量的集合。,關系代數(shù),概述  傳統(tǒng)的集合運算

6、  專門的關系運算,傳統(tǒng)的集合運算,并差交廣義笛卡爾積,1. 并（Union）,R和S具有相同的目n（即兩個關系都有n個屬性）相應的屬性取自同一個域R∪S 仍為n目關系，由屬于R或屬于S的元組組成 R∪S = { t|t ? R∨t ?S },并(續(xù)),R,S,R∪S,2. 差（Difference）,R和S具有相同的目n相應的屬性取自同一個域R - S 仍為n目關系，由屬于

7、R而不屬于S的所有元組組成  R -S = { t|t?R∧t?S },差(續(xù)),R,S,R-S,3. 交（Intersection）,R和S具有相同的目n相應的屬性取自同一個域R∩S仍為n目關系，由既屬于R又屬于S的元組組成 R∩S = { t|t ? R∧t ?S } R∩S = R –(R-S）,交 (續(xù)),R,S,R ∩ S,4.

8、 廣義笛卡爾積（Extended Cartesian Product）,Rn目關系，k1個元組Sm目關系，k2個元組R×S 列：（n+m）列的元組的集合元組的前n列是關系R的一個元組后m列是關系S的一個元組行：k1×k2個元組R×S = {tr ts |tr ?R ∧ ts?S },,,廣義笛卡爾積 (續(xù)),R,S,R × S,關系代數(shù),概述傳統(tǒng)的集合運算專門的關系運算,專門

9、的關系運算,選擇投影連接除,1. 選擇（Selection）,1) 選擇又稱為限制（Restriction）2) 選擇運算符的含義在關系R中選擇滿足給定條件的諸元組 σF(R) = {t|t?R∧F(t)= '真'}F：選擇條件，是一個邏輯表達式，基本形式為： [?( ] X1θY1 [ )][φ [?( ] X2θY2 [ )]]…θ：比較運算符（＞，≥

10、，＜，≤，＝或）X1，Y1等：屬性名、常量、簡單函數(shù)；屬性名也可以用它的序號來代替；φ：邏輯運算符（∧或∨）[ ]：表示任選項…：表示上述格式可以重復下去,選擇（續(xù)）,3) 選擇運算是從行的角度進行的運算 4) 舉例設有一個學生-課程數(shù)據(jù)庫，包括學生關系Student、課程關系Course和選修關系SC。,選擇（續(xù)）,(a),Student,例1,例2,例4,例3,例9,選擇（續(xù)）,(b),Course,例9,選擇（續(xù)

11、）,,(c),,SC,,例7,例9,選擇（續(xù)）,[例1] 查詢信息系（IS系）全體學生 σSdept = 'IS' (Student)或 σ5 ='IS' (Student)結果：,,選擇（續(xù)）,[例2] 查詢年齡小于20歲的學生 σSage < 20(Student) 或 σ4 < 20(Student)結果：

12、,,,2. 投影（Projection）,1）投影運算符的含義從R中選擇出若干屬性列組成新的關系 πA(R) = { t[A] | t ?R }A：R中的屬性列,2. 投影（Projection）,2）投影操作主要是從列的角度進行運算但投影之后不僅取消了原關系中的某些列，而且還可能取消某些元組（避免重復行）,投影（續(xù)）,3) 舉例[例3] 查詢學生的姓名和所在系即求Student關

13、系上學生姓名和所在系兩個屬性上的投影 πSname，Sdept(Student)或 π2，5(Student)結果：,,投影（續(xù)）,投影（續(xù)）,[例4] 查詢學生關系Student中都有哪些系 πSdept(Student)結果：,,3. 連接（Join）,1）連接也稱為θ連接2）連接運算的含義從兩個關系的笛卡爾積中選取屬性間滿足一定條件的元組 R

14、 S = { | tr ? R∧ts ?S∧tr[A]θts[B] }A和B：分別為R和S上度數(shù)相等且可比的屬性組θ：比較運算符 連接運算從R和S的廣義笛卡爾積R×S中選?。≧關系）在A屬性組上的值與（S關系）在B屬性組上值滿足比較關系的元組。,,連接(續(xù)),3）兩類常用連接運算等值連接（equijoin） 什么是等值連接θ為“＝”的連接運算稱為等值連接 等值連接的

15、含義從關系R與S的廣義笛卡爾積中選取A、B屬性值相等的那些元組，即等值連接為： R S = { | tr ?R∧ts ?S∧tr[A] = ts[B] },A=B,連接(續(xù)),自然連接（Natural join） 什么是自然連接自然連接是一種特殊的等值連接兩個關系中進行比較的分量必須是相同的屬性組在結果中把重復的屬性列去掉自然連接的含義R和S具有相同的屬性組B R

16、 S = { | tr ?R∧ts ?S∧tr[B] = ts[B] },,連接(續(xù)),4）一般的連接操作是從行的角度進行運算。 自然連接還需要取消重復列，所以是同時從行和列的角度進行運算。,連接(續(xù)),5）舉例 [例5],R,S,連接(續(xù)),R S,連接(續(xù)),等值連接 R S,連接(續(xù)),自然連接 R S,4）象集Z,給定一個關系R（X，Z），X和Z為屬性組

17、。當t[X]=x時，x在R中的象集（Images Set）為： Zx={t[Z]|t ?R，t[X]=x} 它表示R中屬性組X上值為x的諸元組在Z上分量的集合。,4）象集Z,R,S,4. 除（Division）,給定關系R (X，Y) 和S (Y，Z)，其中X，Y，Z為屬性組。R中的Y與S中的Y可以有不同的屬性名，但必須出自相同的域集。R與S的除運算得到一個新的關系P(X)，P是R中滿足下列條件的元組在

18、X屬性列上的投影：元組在X上分量值x的象集Yx包含S在Y上投影的集合。 R÷S = {tr [X] | tr ? R∧πY (S) ? Yx }Yx：x在R中的象集，x = tr[X],除(續(xù)),2）除操作是同時從行和列角度進行運算,除(續(xù)),R,S,分析：,在關系R中，A可以取四個值{a1，a2，a3，a4} a1的象集為 {(b1，c2)，(b2，c3)，(b2，c1)}　a2的象

19、集為 {(b3，c7)，(b2，c3)}　a3的象集為 {(b4，c6)}　a4的象集為 {(b6，c6)}S在(B，C)上的投影為 {(b1，c2)，(b2，c1)，(b2，c3) }只有a1的象集包含了S在(B，C)屬性組上的投影所以 R÷S ={a1},5．綜合舉例,以學生-課程數(shù)據(jù)庫為例[例7] 查詢至少選修1號課程和3號課程的學生號碼 首先建立一個臨時關系K： &

20、#160;然后求：πSno.Cno(SC)÷K,,綜合舉例(續(xù)),例 7續(xù) πSno.Cno(SC)95001象集{1，2，3}95002象集{2，3} πCno(K)={1，3} 于是：πSno.Cno(SC)÷K={95001},綜合舉例(續(xù)),[例 8] 查詢選修了2號課程的學生的學號。 πSno（σCno='2'（SC））＝｛ 95001，95

21、002｝,綜合舉例(續(xù)),[例9] 查詢至少選修了一門其直接先行課為5號課程的課程的學生姓名。 πSname(σCpno='5'(Course SC Student))或 πSname(σCpno='5'(Course) SC πSno，Sname(Student))或 πSname (πSno (σCpno='5&#

22、39; (Course) SC) πSno，Sname (Student)),,綜合舉例(續(xù)),[例10] 查詢選修了全部課程的學生號碼和姓名。 πSno，Cno（SC）÷πCno（Course） πSno，Sname（Student）,小結,l 關系代數(shù)運算關系代數(shù)運算并、差、交、笛卡爾積、投影、選擇、連接、除基本運算并、差、笛卡爾積、投影、選擇交、連接、除

23、可以用5種基本運算來表達 引進它們并不增加語言的能力，但可以簡化表達,小結(續(xù)),l 關系代數(shù)表達式關系代數(shù)運算經(jīng)有限次復合后形成的式子l 典型關系代數(shù)語言ISBL（Information System Base Language）由IBM United Kingdom研究中心研制用于PRTV（Peterlee Relational Test Vehicle）實驗系統(tǒng),3/22/2024,An Intro

24、duction to Database System,62,Homework,Reading:C. J. Date, An Introduction to Database Systems page 200-238R. Ramakrishnan, J. Gehrkepp,100-129丁寶康 pp44-66 練習R. Ramakrishnan, J. Gehrkepp,128-129，Exer