關(guān)系模型語(yǔ)言和系統(tǒng)

關(guān)系模型語(yǔ)言和系統(tǒng)本章內(nèi)容關(guān)系模型概念*關(guān)系約束*關(guān)系數(shù)據(jù)庫(kù)模式*基本關(guān)系代數(shù)操作學(xué)號(hào)：學(xué)號(hào)姓名：姓名性別:性別年齡：年齡瞿毅臻男19安基文男19蔣林男19男，女10-70TEXT(20)學(xué)號(hào)范圍域關(guān)系主碼屬性度元組基數(shù)域、元組和關(guān)系-域定義3.1域(Domain):

是一組具有相同數(shù)據(jù)類型的值的集合?？梢詾槊總€(gè)域指定一個(gè)數(shù)據(jù)類型(datatype)或格式(format)它可以是系統(tǒng)定義的類型，也可以是用戶自定義的數(shù)據(jù)類型域-SQLServer的基本數(shù)據(jù)類型整數(shù)bigint8從-2^63(-92233728)到2^63-1(92233727)的整型數(shù)據(jù)（所有數(shù)字）。Int4從-2^31(-2,147,483,648)到2^31-1(2,147,483,647)的整型數(shù)據(jù)（所有數(shù)字）。smallint2從-2^15(-32,768)到2^15-1(32,767)的整數(shù)數(shù)據(jù)。tinyint1從0到255的整數(shù)數(shù)據(jù)。bit11或0的整數(shù)數(shù)據(jù)。域-SQLServer的基本數(shù)據(jù)類型浮點(diǎn)數(shù)float8從-1.79E+308到1.79E+308的浮點(diǎn)精度數(shù)字。real4從-3.40E+38到3.40E+38的浮點(diǎn)精度數(shù)字。時(shí)間日期datetime8從1753年1月1日到9999年12月31日的日期和時(shí)間數(shù)據(jù)，精確到百分之三秒（或3.33毫秒）。smalldatetime4從1900年1月1日到2079年6月6日的日期和時(shí)間數(shù)據(jù)，精確到分鐘。域-SQLServer的基本數(shù)據(jù)類型字符串char固定長(zhǎng)度的非Unicode字符數(shù)據(jù)，最大長(zhǎng)度為8,000個(gè)字符。varchar可變長(zhǎng)度的非Unicode數(shù)據(jù)，最長(zhǎng)為8,000個(gè)字符。text可變長(zhǎng)度的非Unicode數(shù)據(jù)，最大長(zhǎng)度為2^31-1(2,147,483,647)個(gè)字符。Unicode字符串nchar固定長(zhǎng)度的Unicode數(shù)據(jù)，最大長(zhǎng)度為4,000個(gè)字符。nvarchar可變長(zhǎng)度Unicode數(shù)據(jù)，其最大長(zhǎng)度為4,000字符。sysname是系統(tǒng)提供用戶定義的數(shù)據(jù)類型，在功能上等同于nvarchar(128)，用于引用數(shù)據(jù)庫(kù)對(duì)象名。ntext可變長(zhǎng)度Unicode數(shù)據(jù)，其最大長(zhǎng)度為2^30-1(1,073,741,823)個(gè)字符。域-SQLServer的基本數(shù)據(jù)類型二進(jìn)制字符串

binary固定長(zhǎng)度的二進(jìn)制數(shù)據(jù)，其最大長(zhǎng)度為8,000個(gè)字節(jié)。varbinary可變長(zhǎng)度的二進(jìn)制數(shù)據(jù)，其最大長(zhǎng)度為8,000個(gè)字節(jié)。image可變長(zhǎng)度的二進(jìn)制數(shù)據(jù)，其最大長(zhǎng)度為2^31-1(2,147,483,647)個(gè)字節(jié)域、元組和關(guān)系-元組定義3.2笛卡爾積(CartesianProduct)：給定一組域D1,D2,…,Dn,這些域中可以有相同的。D1,D2,…,Dn的笛卡爾積為：D1×D2×…×Dn={(d1,d2,…,dn)|di∈Di,i=1,2,…,n}，其中每一個(gè)元素(d1,d2,…,dn)叫做一個(gè)n元組(n-tuple)或簡(jiǎn)稱元組(tuple)。元素中的每一個(gè)值di叫做一個(gè)分量(Component)。域、元組和關(guān)系-元組若Di(i=1,2,…,n)為有限集，其基數(shù)(Cardinalnumber)為mi

(i=1,2,…,n)，則D1×D2×…×Dn的基數(shù)M為：M=m1×m2×…×mn笛卡爾積可表示為一張二維表。表中的每一行對(duì)應(yīng)一個(gè)元組，表中的每列對(duì)應(yīng)一個(gè)域。例如：

D1=導(dǎo)師集合={鄔倫，李琦，方裕，陳秀萬(wàn)，秦其明}D2=專業(yè)集合={GIS，RS}D3=研究生集合={s1,s2,s3,s4,s5,s6,s7,s8,s9}域、元組和關(guān)系-關(guān)系定義3.3D1×D2×…×Dn的子集叫做在域D1,D2,…,Dn上的關(guān)系，表示為：R(D1,D2,…,Dn)這里R表示關(guān)系的名稱，n是關(guān)系的目或度(degree)。關(guān)系是笛卡爾積的有限子集，所以關(guān)系也是一個(gè)二維表，表的每行對(duì)應(yīng)一個(gè)元組，表的每列對(duì)應(yīng)一個(gè)域。為了加以區(qū)別，必須對(duì)每列起一個(gè)名字，成為屬性(attribute)。N目關(guān)系必有n個(gè)屬性。域、元組和關(guān)系-關(guān)系的類型

基本關(guān)系（基本表、基表）：實(shí)際存在的表，它是實(shí)際存儲(chǔ)數(shù)據(jù)的邏輯表示。 查詢表：查詢結(jié)果對(duì)應(yīng)的表。 視圖表：是由基本表或其它視圖表導(dǎo)出的表，是虛表?；颈硪晥D視圖域、元組和關(guān)系-

關(guān)系作為關(guān)系模型的數(shù)據(jù)結(jié)構(gòu)，需要如下限制和擴(kuò)充無(wú)限關(guān)系在數(shù)據(jù)庫(kù)系統(tǒng)中是無(wú)意義的。因此，限定關(guān)系數(shù)據(jù)模型中的關(guān)系必須是有限集合。通過(guò)為關(guān)系的每一列附加一個(gè)屬性名的方法取消關(guān)系元組的有序性，即(d1,d2,…,di,dj,…,dn)=(d1,d2,…,dj,di,…,dn)(i,j=1,2,…,n)關(guān)系模型概念-關(guān)系性質(zhì)列是同質(zhì)的（Homogeneous），即每一列中的分量是同一類型的數(shù)據(jù)，來(lái)自同一個(gè)域。不同的列可出自一個(gè)域，稱其中的每一列為屬性，不同的屬性要給予不同的屬性名。列的順序無(wú)所謂，即列的次序可以任意交換。任意兩個(gè)元組不能完全相同。行的順序無(wú)所謂，即行的次序可以任意交換。分量必須取原子值，即每一個(gè)分量都必須是不可分的數(shù)據(jù)項(xiàng)。關(guān)系模型概念-關(guān)系模式關(guān)系數(shù)據(jù)庫(kù)中，關(guān)系模式是型，關(guān)系是值。關(guān)系是元組的集合，關(guān)系模式必須指出這個(gè)元組集合的結(jié)構(gòu)，即它由哪些屬性構(gòu)成，這些屬性來(lái)自哪些域，以及屬性與域之間的映射關(guān)系。定義3.4關(guān)系的描述稱為關(guān)系模式(RelationSchema)。它可以形式化表示為：R(U,D,dom,F)其中R為關(guān)系名，U為組成該關(guān)系的屬性名集合，D為屬性組中屬性所來(lái)自的域，dom為屬性向域的映射集合，F(xiàn)為屬性間數(shù)據(jù)的依賴關(guān)系集合。關(guān)系是關(guān)系模式在某一時(shí)刻的狀態(tài)或內(nèi)容；關(guān)系模式是靜止的、穩(wěn)定的，而關(guān)系是動(dòng)態(tài)的、隨時(shí)間不斷變化的。關(guān)系模型概念-關(guān)系的解釋關(guān)系模式可以解釋成聲明或者斷言(assertion)例如：學(xué)生(學(xué)號(hào)，姓名，出生日期，所在學(xué)院)關(guān)系的每一個(gè)元組可以解釋成斷言的一個(gè)事實(shí)(fact)。例如(00412001，張三，1984-9-9，地空學(xué)院)關(guān)系約束域約束碼約束和空值約束實(shí)體完整性參照完整性用戶定義完整性關(guān)系約束-域約束

域約束規(guī)定每個(gè)屬性A的值必須是來(lái)自域dom(A)的原子值。數(shù)據(jù)類型值范圍枚舉類型關(guān)系約束-碼約束和空值約束候選碼：若關(guān)系中的某一屬性組的值能唯一標(biāo)識(shí)一個(gè)元組，則稱該屬性組為候選碼（Candidatekey）。例如R(書號(hào),書名,作者)主碼：若一個(gè)關(guān)系有多個(gè)候選碼，則選定其中一個(gè)為主碼（Primarykey）。主屬性：主碼的諸屬性稱為主屬性（Primeattribute）。非碼屬性：不包含在任何候選碼中的屬性稱為非碼屬性（Non-keyattribute）。全碼：關(guān)系模式的所有屬性組是這個(gè)關(guān)系模式的候選碼，成為全碼（All-key）。關(guān)系約束-碼約束和空值約束是否允許唯一值UNIQUE約束是否允許空值學(xué)生的姓名屬性不能為null，則該屬性就有notnull的約束關(guān)系約束-實(shí)體完整性實(shí)體完整性規(guī)則若屬性A是基本關(guān)系R的主屬性，則屬性A不能取空值。完整性規(guī)則是針對(duì)基本關(guān)系而言的?，F(xiàn)實(shí)世界中的實(shí)體是可區(qū)分