數(shù)據(jù)庫系統(tǒng)原理筆記new

《數(shù)據(jù)庫系統(tǒng)原理筆記new》由會員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。

1、數(shù)據(jù)庫系統(tǒng)原理筆記:數(shù)據(jù)庫學(xué)習(xí)筆記（三）瘋狂代碼http://CrazyCoder.cn/?:http:/CrazyCoder.cn/DataBase/Article17794.html關(guān)系數(shù)據(jù)庫關(guān)系數(shù)據(jù)庫由來1系統(tǒng)而嚴(yán)格提出關(guān)系數(shù)據(jù)庫模型是美國IBME.F.Codd21970年E.F.Codd繼續(xù)完善和發(fā)展關(guān)系理論3C.J.Data是關(guān)系數(shù)據(jù)庫領(lǐng)域中最著名獨(dú)立撰稿人學(xué)者和顧問2關(guān)系模型概述關(guān)系模型由關(guān)系數(shù)據(jù)結(jié)構(gòu)、關(guān)系操作集合和關(guān)系完整性約束3部分組成1、單數(shù)據(jù)結(jié)構(gòu)關(guān)系關(guān)系模型中數(shù)據(jù)結(jié)構(gòu)非常單實(shí)體及實(shí)體間聯(lián)系都用關(guān)系表示關(guān)系就是張2維

2、表2、關(guān)系操作關(guān)系模型中常用關(guān)系操作包括關(guān)系操作特點(diǎn)是集合操作方式即操作對象和結(jié)果都是集合這種操作方式也成為次集合方式相應(yīng)地非關(guān)系數(shù)據(jù)模型數(shù)據(jù)操作方式則為次記錄方式3、關(guān)系3類完整性約束:實(shí)體完整性參照完整性用戶定義完整性3關(guān)系數(shù)據(jù)結(jié)構(gòu)及形式化定義1關(guān)系1．域:域是組具有相同數(shù)據(jù)類型值集合2．笛卡兒積:定義:給定組域D1D2…Dn這些域中可以有相同D1D2…Dn笛卡兒積為:D1×D2×…×Dn＝{(d1,d2,…,dn)

3、di∈Di,i=1,2,…,n}其中每個(gè)元素(d1,d2,…,dn)叫做個(gè)n元組或簡稱元組(Tuple)元組中每個(gè)

4、值di叫做個(gè)分量(Component)若Di(i=1,2,…,n)為有限集其基數(shù)為mi(i=1,2,…,n)則D1×D2×…×Dn基數(shù)M為:mi積3．關(guān)系:定義:D1×D2×…×Dn子集叫做在域D1D2…Dn上關(guān)系表示為:R(D1D2…Dn)D1×D2×…×Dn表示是域上所有可能組合在現(xiàn)實(shí)生活中很多元組是無意義數(shù)據(jù)而個(gè)關(guān)系肯定包含在D1×D2×…×Dn的中因此在數(shù)學(xué)上把關(guān)系定義為D1×D2×…×Dn子集關(guān)系是笛卡兒積有限子集所以關(guān)系也是個(gè)2維表表每行對應(yīng)個(gè)元組表每列對應(yīng)個(gè)域由于域可以相同為了加以區(qū)分必須對每列起個(gè)名字稱為屬性N目關(guān)系必

5、有n個(gè)屬性候選碼:若關(guān)系中某屬性組值能唯地標(biāo)識個(gè)元組則稱該數(shù)據(jù)組為候選碼全碼:若個(gè)關(guān)系有多個(gè)候選碼則選定其中個(gè)為主碼主碼諸屬性稱為主屬性不包含在任何候選碼中屬性稱為非碼屬性關(guān)系模式所有數(shù)據(jù)組是這個(gè)關(guān)系模式候選碼稱為全碼關(guān)系可以有3種類型:基本關(guān)系、查詢表和視圖表對關(guān)系限定和擴(kuò)充:⑴無限關(guān)系在數(shù)據(jù)庫系統(tǒng)中時(shí)無意義因此限定關(guān)系數(shù)據(jù)模型中關(guān)系必須是有限集合⑵通過為關(guān)系每個(gè)列附加個(gè)屬性名思路方法取消關(guān)系元組有序性基本關(guān)系具有以下6條性質(zhì):1列是同質(zhì)即每列中分量是同類型數(shù)據(jù)來自同個(gè)域2區(qū)別列可以出自同個(gè)域稱其中每列為個(gè)屬性區(qū)別屬性要給予區(qū)別屬性

6、名3列順序無所謂即列次序可以任意交換4任意兩個(gè)元組不能完全相同5行順序無所謂即行次序可以任意交換6分量必須取原子值即每個(gè)分量都必須是不可分?jǐn)?shù)據(jù)項(xiàng)備注:在許多實(shí)際關(guān)系數(shù)據(jù)庫產(chǎn)品中基本表并不完全具有這6條性質(zhì)例如有數(shù)據(jù)庫產(chǎn)品能(如FoxPro)仍然區(qū)分了屬性順序和元組順序；許多關(guān)系數(shù)據(jù)庫產(chǎn)品中例如OracleFoxPro等它們都允許關(guān)系表中存在兩個(gè)完全相同元組4關(guān)系模式定義:關(guān)系描述稱為關(guān)系模式它可以形式化地表示為:R(U,D,dom,F)關(guān)系模式通?？梢院営洖?R(U)或R(A1,A2,…,AN)5關(guān)系完整性1、實(shí)體完整性實(shí)體完整性規(guī)則

7、:若屬性A是基本關(guān)系R主屬性則屬性A不能取空值實(shí)體完整性規(guī)則介紹說明如下:⑴實(shí)體完整性規(guī)則是針對基本關(guān)系而言個(gè)基本表通常對應(yīng)現(xiàn)實(shí)世界個(gè)實(shí)體集⑵現(xiàn)實(shí)世界中實(shí)體是可區(qū)分即它們具有某種唯性標(biāo)識⑶相應(yīng)地關(guān)系模型中以主碼作為唯標(biāo)識⑷主碼中屬性即主屬性不能取空值所謂空值就是“不知道”或“不確定”值2、參照完整性外碼定義:設(shè)F是基本關(guān)系R個(gè)或組屬性但不是關(guān)系R碼如果F和基本關(guān)系S主碼Ks相對應(yīng)則稱F是基本關(guān)系R外碼(ForeignKey)并稱基本關(guān)系R為參照關(guān)系基本關(guān)系S為被參照關(guān)系或目標(biāo)關(guān)系關(guān)系R和S不定是區(qū)別關(guān)系注意:F不能是關(guān)系R主碼Ks必須

8、是關(guān)系S主碼參照完整性規(guī)則就是定義外碼和主碼的間引用規(guī)則:參照完整性規(guī)則:若屬性(或?qū)傩越M)F是基本關(guān)系R外碼它和基本關(guān)系S主碼Ks相對應(yīng)(基本關(guān)系R和S不定是區(qū)別關(guān)系)則對于R中每個(gè)元組在F上值必須為:或者取空值(F每個(gè)屬性值均為空值)；或者等于S中某個(gè)元組主碼值3、用戶定義完整性:即是針對某具體關(guān)系數(shù)據(jù)庫約束條件未完待續(xù)小康Xiaokang1949@hotmail.com2004-2-292009-2-125:15:08瘋狂代碼http://CrazyCoder.cn/