mysql關係模型詳細介紹

2021-10-11 20:13:54 字數 3215 閱讀 2537

關係的完整性

關係代數

關係資料模型由關係資料結構,關係操作集合,關係完整性約束三部分組成

關係操作:集合的操作方式

資料庫的完整性是指資料的正確性和相容性,利用完整性約束。dbms可以幫助使用者阻止非法資料的輸入

實體完整性約束

參照完整性約束

使用者定義的完整性約束

(簡單來說關係完整性約束就是保障資料準確,有效)

關係:用於描述資料的一張二維表,組成表的行稱為元組,組成表的列稱為屬性,列(或屬性)的取值範圍稱為元組中的每乙個屬性值稱為元組的乙個分量

候選碼:(也稱候選鍵)能唯一標識關係中每乙個元組的最小屬性集。乙個關係可有多個候選碼。(例如:學生資訊表中,在沒有重名的情況下,候選碼有兩個,分別是學號和姓名)

主鍵:(或稱主碼)它是乙個唯一識別關係中元組的最小屬性集合。使用者可以從關係的候選碼中指定乙個作為關係的主鍵。乙個關係最多只能指定乙個主鍵。

主屬性:候選碼中的所有屬性鈞稱為主屬性。

非主屬性:不包含在任何候選碼中的屬性稱為非主屬性。

全碼:關係中所有屬性的組合是該關係的乙個候選碼,則該候選碼稱為全碼。

外來鍵:關係r中的某個屬性k是另乙個關係s中的主鍵,但不是r中的主鍵,則稱該屬性k是關係r的外來鍵。通過外來鍵可以建立兩表間的聯絡。(r為參照關係,k為被參照關係或目標關係)

列是同質的:即每一列的分量是同一資料型別,並且來自同乙個

關係中行的順序、列的順序可以任意互換,不會改變關係的意義。即行、列無序關係中的任意兩個元組不能相同

關係中的元組分量具有原子性,即每乙個分量都必須是不可分的資料項。

規則:若屬性a是基本關係r的主屬性,則屬性a不能取空值。

乙個關係通常是對現實世界的某一實體的描述,關係對應現實世界中的實體集,元組對應實體,實體是相互可區分的,通過主碼來唯一標識,若主碼為空,則出現不可標識的實體,這是不容許的。

(例如:學生資訊(學號,姓名,年齡,性別)中的學號是主鍵,所以學號這個屬性不能為空值

規則:外來鍵或者取空值(要求外來鍵的每個屬性均為空值),或者等於被參照關係中的主鍵的某個值。

-----------參照關係就是定義外來鍵與主鍵之間的引用規則。--------

(例如:學生(學號,姓名,出生日期,專業號),專業(專業號,專業名稱)學生關係中參照了專業關係中的主鍵」專業號「)

【注】:不僅兩個或兩個以上的關係間可以存在引用關係,同一關係內部屬性間也可能存在引用關係,外碼與所參照的屬性必須定義在同乙個(或一組)域上。(例如:學生(學號,姓名,出生日期,班長學號),這裡的班長也是一名學生,它參照了學生關係中的「學號」屬性)。

針對某個具體資料庫的約束條件,由應用環境決定,它反映某一具體應用所涉及的資料必須滿足的語義要求,即給出某些屬性的取值範圍等約束條件。

資料完整性的作用就是要保證資料庫中的資料是正確的,提高了資料庫的正確度.一般在插入(insert),刪除(delete),更新(update)語句執行後開始檢查約束.

關係代數是一種抽象的查詢語言,用對關係的運算來表達查詢,作為研究關係資料語言的數學工具。

運算三要素:運算物件,運算子,運算結果。

傳統的集合運算是二目運算,包括並、交、差、廣義笛卡爾積四種運算。

笛卡爾積:一是兩個關係的元組集合所組成的新關係。

(例如:r×s的目數為r與s的目數之和,r×s的元組個數為r和s的元組個數的乘積。)

從關係r中選擇符合條件的元組構成新的關係(σ)。

從關係r中選擇若干屬性列組成新的關係(π)

從r×s的笛卡兒積中,選取屬性滿足某一條件的元組。

等值連線:從r×s的笛卡兒積中。選出r,s中屬性組相等的那些元組。

自然連線:特殊的等值連線,要求兩個關係中進行比較的分量必須是相同的屬性組,並且在結果中刪除重複的屬性列。

例:

關係r(x,y)和s(y , z) ,其中x,y,z為屬性組。r中的y與s中的y必須出自同一域。則r÷s得到乙個新的關係p(x),p是r中滿足下列條件的元組在x屬性列上的投影:元組在x上的分量值x的象集yx,包含s在y上的投影的集合。

如有錯誤,遺漏和不合理的地方,歡迎大佬指正(?)

關係模型介紹

我們必須有一種能區分給定關係中的不同元組的方法。這用他們的屬性來表明,也就是說,乙個元組的屬性值必須是能夠唯一區分元組的。換句話說,乙個關係種沒有兩個元組在所有的屬性上的值都相同。english 中文english 中文table 表relation 關係tuple 元組null value 空值d...

1 2 關係模型介紹

資料模型是描述資料,資料聯絡,資料語義,一致性約束的概念工具集合。關聯式資料庫由表的集合構成。每個表有唯一名字。關係指表,元組指代表中一行。屬性指代表中的列。用關係例項表示乙個關係的特定例項。對關係的每個屬性,存在乙個允許取值的集合,稱為屬性的域。要求對所有關係r而言,r的所有屬性的域都是原子的。如...

OBJ格式模型詳細介紹

概述 obj是一種3d模型格式,很適合與3d模型之間互導。目前幾乎所有知名的3d軟體都支援obj檔案的讀寫。obj檔案在匯出時一般包括兩個檔案.obj檔案和.mtl檔案。其中obj檔案表示模型網路檔案,mtl檔案表示模型使用的材質。obj示例 一些注釋 mtllib cube.mtl g defau...