關系模型語言和系統(tǒng)

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

是一組具有相同數(shù)據(jù)類型的值的集合?？梢詾槊總€域指定一個數(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ù)類型浮點數(shù)float8從-1.79E+308到1.79E+308的浮點精度數(shù)字。real4從-3.40E+38到3.40E+38的浮點精度數(shù)字。時間日期datetime8從1753年1月1日到9999年12月31日的日期和時間數(shù)據(jù)，精確到百分之三秒（或3.33毫秒）。smalldatetime4從1900年1月1日到2079年6月6日的日期和時間數(shù)據(jù)，精確到分鐘。域-SQLServer的基本數(shù)據(jù)類型字符串char固定長度的非Unicode字符數(shù)據(jù)，最大長度為8,000個字符。varchar可變長度的非Unicode數(shù)據(jù)，最長為8,000個字符。text可變長度的非Unicode數(shù)據(jù)，最大長度為2^31-1(2,147,483,647)個字符。Unicode字符串nchar固定長度的Unicode數(shù)據(jù)，最大長度為4,000個字符。nvarchar可變長度Unicode數(shù)據(jù)，其最大長度為4,000字符。sysname是系統(tǒng)提供用戶定義的數(shù)據(jù)類型，在功能上等同于nvarchar(128)，用于引用數(shù)據(jù)庫對象名。ntext可變長度Unicode數(shù)據(jù)，其最大長度為2^30-1(1,073,741,823)個字符。域-SQLServer的基本數(shù)據(jù)類型二進制字符串

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

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

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

基本關系（基本表、基表）：實際存在的表，它是實際存儲數(shù)據(jù)的邏輯表示。 查詢表：查詢結果對應的表。 視圖表：是由基本表或其它視圖表導出的表，是虛表。基本表視圖視圖域、元組和關系-

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

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