5.2 基本概念
5.2.1 關(guān)系模型
1、 關(guān)系模型采用一個(gè)二維表格在計(jì)算機(jī)中組織、存儲(chǔ)、處理和管理數(shù)據(jù)。
(1) 關(guān)系名(數(shù)據(jù)庫(kù)名)：由字母數(shù)字組成;
(2) 屬性名;
(3) 關(guān)系模式和關(guān)系：描述模式描述關(guān)系的靜態(tài)結(jié)構(gòu)，由模式名、關(guān)系模式所包含的屬性及屬性值所滿足的條件組成模式定義。
(4) 元組：描述關(guān)系中的行;
(5) 域：它定義關(guān)系的每個(gè)屬性取值的類(lèi)型;
(6) 主碼：能夠惟一標(biāo)識(shí)關(guān)系中每一個(gè)元組的屬性或?qū)傩越M;
(7) 關(guān)系的數(shù)學(xué)定義：關(guān)系模式是建立在集合集論的基礎(chǔ)上的，用數(shù)學(xué)的概念定義關(guān)系有;
(A) 定義一：域是值的集合，同一個(gè)域中的值具有相同的數(shù)據(jù)類(lèi)型;
(B) 定義二：
(C) 定義三：
(D) 當(dāng)關(guān)系引用了屬性名后關(guān)系具有以下屬性：
[1] 不能有重復(fù)的元組;
元組上下無(wú)序;
按屬性名引用時(shí)屬性左右無(wú)序;
所有屬性值都是原子項(xiàng)(不可再分);
(8) 總結(jié)：關(guān)系是一張二維表，表中的一行被稱(chēng)為一個(gè)元組，一列稱(chēng)為屬性，由一組域值組成。關(guān)系是元組的集合，關(guān)系中的每個(gè)元組在數(shù)學(xué)上被定義為這個(gè)關(guān)系所涉及的全部域值中笛卡兒積的一個(gè)元素。
5.2.2 關(guān)系數(shù)據(jù)庫(kù)
1、 關(guān)系數(shù)據(jù)庫(kù)是按照二維表組織和存儲(chǔ)的相互關(guān)聯(lián)的關(guān)系的集合，關(guān)系數(shù)據(jù)庫(kù)模式是關(guān)系模式的集合;
5.2.3 關(guān)系的完整性
1、 關(guān)系的完整性(完整性約束)：是對(duì)關(guān)系的某種約束規(guī)則和關(guān)系滿足的定義。通常這組約束規(guī)則用來(lái)限定和檢查數(shù)據(jù)庫(kù)所含實(shí)例的合法性和正確性;
2、 完整性約束分靜態(tài)和動(dòng)態(tài)兩種，靜態(tài)完整性約束是基于關(guān)系模式的，主要有主碼、外碼約束和域約束組成;動(dòng)態(tài)完整性約束是基于企業(yè)的業(yè)務(wù)規(guī)則的。
3、 靜態(tài)完整性約束規(guī)則：
(1) 主碼約束：主碼必須滿足：
(A) 惟一性：在一個(gè)關(guān)系中不存在兩個(gè)元組，它們具有相同的主碼值;
(B) 最小性：不存在從組成主碼的屬性集中去掉一個(gè)屬性，還仍能保持?jǐn)?shù)據(jù)的惟一性;
(2) 外碼約束：
(3) 用戶定義的完整性：