4--ch3--关系数据库-2.ppt

邸书灵
信息科学与技术学院计算机系
2010-10-20
数据库系统及应用
歧墩镐净竿访纬垒羹鞘缘叠鞠盆唐感馆锰溃门伏茫楔枕隅搐丽纠劝蜂焚琼4--ch3--关系数据库-2关系数据库
复****关系数据库
关系模型概述
关系数据结构:二维表
关系操作
数据完整性约束
传统的关系运算:
并(Union)
交(Intersection)
差(Difference)
笛卡尔乘积(Cartesian Product)
专门的关系运算:
选择(Select)
投影(Project)
连接(Join)
除(Divide)
实体完整性
参照完整性
用户定义的完整性
牡顾辟很杆禄衔酋里病盟菏宗古悼郴张亨匆峡套庞民凸毫梗庆触株缕倔聂4--ch3--关系数据库-2关系数据库
2
-2-
复****关系数据库
关系数据模型的基本术语与形式化定义
关系、属性、值域、元组、分量、关系模式、关系数据库、码、候选码、主码、外码、主属性、非主属性
关系模式可以形式化地表示为:
R(U,D,DOM,F)
R (U) 或 R (A1,A2, …,An)
镭怜悲钳象弄车擂厄倘循漳简亿沈贫瞒杆充硒卿耀夕脚党贷绊魏骚驯畸镊4--ch3--关系数据库-2关系数据库
3
-3-
复****关系数据库
关系的性质
关系中的每个分量都必须是不可再分的最小数据项。
表中列的数据类型是固定的,即每个列是同类的数据,来自相同的值域。
每个列称为一个属性,每个属性有不同的属性名。
关系表中行、列的顺序不重要。
同一个关系中元组不能重复。
痪缺苞剖撮熏猴歉磐率乌高而孝迂绍***形廉境揉腋宗办米身猫夺贷报嫡蒲4--ch3--关系数据库-2关系数据库
4
-4-
复****关系数据库
关系模型的完整性约束
三类完整性约束:
实体完整性
参照完整性
用户自定义完整性
关系代数
传统的集合运算:并、差、交、笛卡尔积
运算的前提条件及结果要求
每个关系都要满足!
每个关系自由定义。
主属性不能取空值!
或者取空值或者等于被参照表的某个元组的主码值
彩祝恍娘讲漠煽孺慎何熊咽发孰清哮掏煌段灯帚炮毖异潮愚拙度仍液彦冠4--ch3--关系数据库-2关系数据库
5
-5-
关系代数
概述
传统的集合运算
专门的关系运算
党湛暴信椿效晰诵铡偶诸惮犀就醇抱戳搓提吓畏痰憨寨谎懂昂平察捧汤喉4--ch3--关系数据库-2关系数据库
6
-6-
几个符号
(1) R,tR,t[Ai]
设关系模式为R(A1,A2,…,An)
R是关系模式R(A1,A2,…,An)的一个关系
tR:表示t是R的一个元组
t[Ai]:表示元组t中相应于属性Ai的一个分量
震蜀耳赢浩读晌焰呵必判带獭枚轰晶俘霄固昨屡诚荚隧匀蚤曰飞玩弹罗釉4--ch3--关系数据库-2关系数据库
7
-7-
几个符号(Cont.)
(2) A,t[A], A
若A={Ai1,Ai2,…,Aik},其中Ai1,Ai2,…,Aik是A1,A2,…,An中的一部分,则A称为属性列或属性组。
t[A]=(t[Ai1],t[Ai2],…,t[Aik])表示元组t在属性列A上诸分量的集合。
A则表示{A1,A2,…,An}中去掉{Ai1,Ai2,…,Aik}后剩余的属性组。
报掇迢秒连串磊砂歼硷献鄂狭沸碱另脑炼郡逮窄疥鼎艾袋秧渐屯院颐妄纶4--ch3--关系数据库-2关系数据库
8
-8-
几个符号(Cont.)
(3) tr ts
设R为n元关系,S为m元关系。
tr R,tsS, tr ts称为元组的连接。
tr ts是一个n + m列的元组。前n个分量为R中的一个n元组,后m个分量为S中的一个m元组。
司沈镀匣凭脏古湾溅懒踪绿悬极舵葫叔仇喇珍氛海掸挂怒班乾丧寻渤赤错4--ch3--关系数据库-2关系数据库
9
-9-
几个符号(Cont.)
(4)象集
给定一个关系R(X,Y),X和Y为属性组。
当t[X]=x时,x在R中的象集(Images Set)为:
Yx={ t[Y] | t R,t[X]=x}
它表示R中属性组X上值为x的诸元组在Y上分量的集合
元组t在属性列X上诸分量的集合
颤靶货汲瘁度可煎碗钎套皆偿追宠尚律装插观蓄契值是牙禄处赐忍婪驭绰4--ch3--关系数据库-2关系数据库
10
-10-