資源描述:
《數(shù)據(jù)庫SQL Server關(guān)系模型分析課件.ppt》由會員上傳分享,免費在線閱讀,更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、第二章關(guān)系模型關(guān)系數(shù)據(jù)結(jié)構(gòu)關(guān)系的操作集合關(guān)系的完整性約束小結(jié)主要內(nèi)容2域是一組具有相同數(shù)據(jù)類型的值的集合整數(shù)實數(shù)介于某個取值范圍的整數(shù)指定長度的字符串集合{‘男’,‘女’}介于某個取值范圍的日期域(Domain)3笛卡爾積笛卡爾積的定義D1×D2×…×Dn={(d1,d2,…,dn)
2、di?Di,i=1,2,…,n}給定一組域D1,D2,…,Dn,域可相同笛卡爾積的每個元素(d1,d2,…,dn)稱作一個n元組(n-tuple)元組的每一個值di叫做一個分量(component)若Di的基數(shù)為mi,則笛卡爾積的基數(shù)M=4D1×D2×D3={(張清玫,計算機專
3、業(yè),李勇),(張清玫,計算機專業(yè),劉晨),(張清玫,計算機專業(yè),王敏),(張清玫,信息專業(yè),李勇),(張清玫,信息專業(yè),劉晨),(張清玫,信息專業(yè),王敏),(劉逸,計算機專業(yè),李勇),(劉逸,計算機專業(yè),劉晨),(劉逸,計算機專業(yè),王敏),(劉逸,信息專業(yè),李勇),(劉逸,信息專業(yè),劉晨),(劉逸,信息專業(yè),王敏)}笛卡爾積(續(xù))給出3個域:D1={張清玫,劉逸}D2={計算機專業(yè),信息專業(yè)}D3={李勇,劉晨,王敏}5笛卡爾積(續(xù))D1×D2×…×Dn也可以表示為一個二維表:6D1×D2×…×Dn的子集叫作在域D1,D2,…,Dn上的關(guān)系,表示為R(D1,
4、D2,…,Dn)R:關(guān)系名,n:關(guān)系的目或度(Degree)關(guān)系是笛卡爾積的有意義的有限子集例關(guān)系:SAP(SUPERVISOR,SPECIALITY,POSTGRADUATE)假設:專業(yè)與導師:1:n,導師與研究生:1:n關(guān)系—定義SAP關(guān)系SUPERVISORSPECIALITYPOSTGRADUATE張清玫信息專業(yè)李勇張清玫信息專業(yè)劉晨劉逸信息專業(yè)王敏7關(guān)系—碼超碼在關(guān)系中能唯一標識元組的屬性集稱為超碼候選碼不含多余屬性的超碼稱為候選碼候選碼中的屬性稱為主屬性主碼用戶選作元組標識的候選碼稱為主碼例:學生(學號,姓名,系別,身份證號)8列同質(zhì),不同列可同
5、域,但屬性名不同不允許出現(xiàn)重復的元組行列無順序關(guān)系中每一個屬性值都是不可分解的關(guān)系—基本性質(zhì)SAP關(guān)系SUPERVISORSPECIALITYPOSTGRADUATE張清玫信息專業(yè)李勇張清玫信息專業(yè)劉晨劉逸信息專業(yè)王敏非規(guī)范化關(guān)系POSTGRADUATESUPERVISORSPECIALITYPG1PG2張清玫信息專業(yè)李勇劉晨劉逸信息專業(yè)王敏實際產(chǎn)品并不嚴格符合基本性質(zhì)Oracle、Foxpro都允許行重復Foxpro區(qū)分了列順序9關(guān)系模式關(guān)系模式對關(guān)系的描述表示為關(guān)系名(屬性1,屬性2,…,屬性n)關(guān)系模式SC(Sno,Cno,Grade)的具體實例如下s
6、c關(guān)系SnoCnoGrade95001185950012909500219010關(guān)系模式關(guān)系模式可以形式化地表示為:R(U,D,DOM,F(xiàn))R:關(guān)系名,U:組成該關(guān)系的屬性名集合D:屬性組U中屬性所來自的域集合DOM:屬性向域的映象集合F:屬性間的數(shù)據(jù)依賴關(guān)系集合例:導師和研究生出自同一個域——人(PERSON)dom(SUPERVISOR-PERSON)=dom(POSTGRADUATE-PERSON)=PERSON11關(guān)系模式(續(xù))關(guān)系模式通??梢院営洖镽(U)域名D及屬性向域的映象DOM常常直接說明為屬性的類型、長度關(guān)系模式與關(guān)系關(guān)系模式是對關(guān)系的描
7、述,靜態(tài)的、穩(wěn)定的(型)關(guān)系是關(guān)系模式在某一時刻的狀態(tài)或內(nèi)容,動態(tài)的、隨時間不斷變化的(值)關(guān)系模式和關(guān)系往往統(tǒng)稱為關(guān)系12關(guān)系數(shù)據(jù)庫在一個給定的應用領(lǐng)域中,所有實體及實體之間聯(lián)系對應關(guān)系的集合構(gòu)成一個關(guān)系數(shù)據(jù)庫關(guān)系數(shù)據(jù)庫的型(模式)--關(guān)系數(shù)據(jù)庫的描述若干域的定義在這些域上定義的若干關(guān)系模式關(guān)系數(shù)據(jù)庫的值這些關(guān)系模式在某一時刻對應的關(guān)系集合13關(guān)系操作數(shù)據(jù)更新插入、刪除、修改數(shù)據(jù)查詢傳統(tǒng)的集合操作、專門的關(guān)系操作特點:一次一集合集合操作方式,即操作的對象和結(jié)果都是集合14關(guān)系數(shù)據(jù)語言的分類抽象的查詢語言,用作評估實際系統(tǒng)中查詢語言能力的標準和基礎(chǔ)。關(guān)系代數(shù)
8、查詢操作是以集合操作為基礎(chǔ)的運算(代數(shù)方式)關(guān)系演算查詢操作是以謂詞演算為基礎(chǔ)的運算(邏輯方式)元組關(guān)系演算域關(guān)系演算兩種語言表達能力等價15關(guān)系數(shù)據(jù)語言的分類實際的語言(具體DBMS使用的語言)除了提供關(guān)系代數(shù)或關(guān)系演算的功能外,還有附加功能(函數(shù)、更新操作等)SQL(關(guān)系代數(shù)和關(guān)系演算)關(guān)系數(shù)據(jù)庫的標準語言QUEL(元組關(guān)系演算)/QBE(域關(guān)系演算)特點高度非過程化的語言完備的表達能力,能嵌入到高級語言中使用16關(guān)系的完整性約束對關(guān)系的某種約束條件,使得數(shù)據(jù)庫中數(shù)據(jù)與現(xiàn)實世界保持一致關(guān)系模型中三類完整性約束:實體完整性參照完整性用戶定義的完整性實體完整
9、性和參照完整性是關(guān)系模型必須滿足的完整性約束條件,由