欢迎来到天天文库
浏览记录
ID:50485562
大小:250.00 KB
页数:55页
时间:2020-03-09
《数据库技术 教学课件 作者 施伯乐-KX-02.ppt》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、关系代数、关系演算、关系逻辑吴清茂内容提要一、关系模型的基本术语二、关系查询语言的基础关系代数关系演算关系代数表达式的优化关系逻辑一、关系模型的基本术语关系模式属性值域元组关系(实例)元数基数ABCDEa1b1c1d1e1a2b2c2d2e2a3b3c3d3e3a4b4c4d4e4属性元组1元组2元组3元组4属性值元数=5基数=4R关系模式名关系一、关系模型的基本术语超键候选键主键外键二、关系查询语言>>关系代数基本操作并(Union)差笛卡尔积投影选择并(union)符号表示:R∪S前提条件:R和S有相同的关系模式形式定义:R∪S≡{t
2、t∈R∨t∈S}差(differenc
3、e)符号表示:R-S前提条件:R和S有相同的关系模式形式定义:R-S≡{t
4、t∈R∧t∈S}笛卡尔积(CartesianProduct)符号表示:R×S形式定义:R×S≡{t
5、t=
6、t=〈ti1,…,tim〉∧〈t1,…,tk〉∈R}ABCabcdafcbdCAcafddc关系RπC,A(R)π3,1(R
7、)选择(selection)符号表示:σF(R)形式定义:σF(R)={t
8、t∈R∧F(t)=true}其中F包括:运算对象和运算符ABCabcdafcbdABCabccbd关系RσB='b'(R)二、关系查询语言>>关系代数2.组合操作交(Intersection)联接(Join)自然联接(NaturalJoin)除法(Division)交(Intersection)符号表示:R∩S前提条件:关系R和S具有相同的关系模式形式定义:R∩S≡{t︱t∈R∧t∈S}联接(Join)θ联接RS≡{t︱t=
9、作的元组。F联接R⋈S,其中F是形为F1∧F2∧…∧Fn的公式,每个FP是形为iθj的式子iθjF自然联接(NaturalJoin)符号表示:设R和S具有公共属性A1….Ak。则形式定义为:πi1,…,im(σR.A1=S.A1∧...∧R.AK=S.AK(R×S)),其中i1,…,im为R和S的全部属性,但公共属性只出现一次。RS除法(Division)符号表示:R÷S前提:S的属性集是R的属性集的子集含义:下列条件的最大关系:其中每个元组t与S中每个元组u组成的新元组必在关系R中设r和s分别为R和S的元数,假设S的属性为R中后s个属性,则R÷S的计算过程为:①T=
10、π1,2,…,r-s(R)②W=(T×S)-R(计算T×S中不在R的元组)③V=π1,2,…,r-s(W)④R÷S=T–VSNOSNAMECNOCNAMES1BAOC1DBS1BAOC2OSS1BAOC3DSS1BAOC4MISS2GUC1DBS2GUC2OSS3ANC2OSS4LIC2OSS4LIC4MISCNOCNAMEC2OSCNOCNAMEC1DBC2OSC4MISSNOSNAMES1BAOS2GUS3ANS4LISNOSNAMES1BAORS1S2R÷S1R÷S2例:设教学数据库中有三个关系:学生关系S(S#,SNAME,AGE,SEX)学习关系SC(S#,C#,GR
11、ADE)课程关系C(C#,CNAME,TEACHER)⑴检索学习课程号为C2的学生学号与成绩。πS#,GRADE(σC#=‘C2’(SC))⑵检索学习课程号为C2的学生学号与姓名。πS#,SNAME(σC#=‘C2’(S⋈SC))⑶检索选修课程名为MATHS的学生学号与姓名。πS#,SNAME(σCNAME=‘MATHS’(S⋈SC⋈C))⑷检索选修课程号为C2或C4的学生学号。πS#(σC#='C2'∨C#='C4'(SC))⑸检索至少选修课程号为C2和C4的学生学号。π1(σ1=4∧2=‘C2’∧5=‘C4’(SC×SC))⑹检索不学C2课的学生姓名与年龄。πSNAME,A
12、GE(S)-πSNAME,AGE(σCNO='C2'(S⋈SC))⑺检索学习全部课程的学生姓名πSNAME(S⋈(πS#,C#(SC)÷πC#(C)))编写这个查询语句的关系代数表达式过程如下:学生选课情况可用操作πS#,C#(SC)表示;全部课程可用操作πC#(C)表示;学了全部课程的学生学号可用除法操作表示,操作结果是学号S#集:πS#,C#(SC)÷πC#(C)从S#求学生姓名SNAME,可以用自然联接和投影操作组合而成:πSNAME(S⋈(πS#,C#(SC)÷πC#(C)))⑻检索
此文档下载收益归作者所有