《数据库原理及应用》课件-数据库原理及应用第2章 关系数据库

数据库原理及应用第2章关系数据库PAGE60PAGE61第2章关系数据库习题一、单项选择题1、A2、C3、B4、C5、A6、B7、B8、B9、C10、C二、填空1、关系中主码的取值必须惟一且非空，这条规则是_实体_完整性规则。2、关系代数中专门的关系运算包括：选择、投影、连接和除法，主要实现_查询_类操作。3、关系数据库的关系演算语言是以_谓词演算_为基础的DML语言。4、关系数据库中，关系称为_表__，元组亦称为__行__，属性亦称为_列__。5、数据库描述语言的作用是_定义数据库_。6、一个关系模式可以形式化地表示为_R（U，D，dom，F）_。7、关系数据库操作的特点是__一次一集合_式操作。8.数据库的所有关系模式的集合构成_关系数据库模型_，所有的关系集合构成_关系数据库_。9、在关系数据模型中，两个关系R1与R2之间存在1：m的联系，可以通过在一个关系R2中的_外键或外码或外部关键字_在相关联的另一个关系R1中检索相对应的记录。10、将两个关系中满足一定条件的元组连接到一起构成新表的操作称为_θ-连接_操作。三、简单、计算或查询1、试述关系模型的三要素内容。解：1）关系模型的数据结构——关系关系模型的数据结构：非常单一，在用户看来，关系模型中数据的逻辑结构是一张二维表。但关系模型的这种简单的数据结构能够表达丰富的语义，描述出现实世界的实体以及实体间的各种联系。2）关系模型的关系操作：关系模型给出了关系操作的能力，它利用基于数学的方法来表达关系操作，关系模型给出的关系操作往往不针对具体的RDBMS语言来表述。关系模型中常用的关系操作包括：选择（select）、投影(project)、连接(join)、除(divide)、并(union)、交(intersection)、差(difference)等查询(query)操作和添加(insert)、删除(delete)、修改(update)等更新操作两大部分。查询的表达能力是其中最主要的部分。早期的关系操作能力通常用代数方式或逻辑方式来表示，分别称为关系代数和关系演算。关系代数是用对关系的运算（即元组的集合运行）来表达查询要求的方式。关系演算是用谓词来表达查询要求的方式。关系演算又可按谓词变元的基本对象是元组变量还是域变量分为元组关系演算和域关系演算。关系代数、元组关系演算和域关系演算三种语言在表达功能上是等价的。另外还有一种介于关系代数和关系演算之间的语言SQL（StructuredQueryLanguage）。SQL不但具有丰富的查询功能，而且具有数据定义、数据操纵和数据控制功能，是集查询、DDL、DML、DCL于一体的关系数据语言。它充分体现了关系数据语言的特点和优点，是关系数据库的国际标准语言。因此，关系数据语言可以分成三类：(1)关系代数：用对关系的集合运算表达查询要求，例如ISBL。(2)关系演算：用谓词表达查询要求，可分为两类：①元组关系演算：谓词变元的基本对象是元组变量，例如APLHA、QUEL；②域关系演算：谓词变元的基本对象是域变量，例如QBE。(3)关系数据语言，例如SQL。这些关系数据语言的共同特点是：语言具有完备的表达能力，是非过程化的集合操作语言，功能强，能够嵌入到高级语言中使用。3）关系模型的三类完整性约束：关系模型提供了丰富的完整性控制机制，允许定义三类完整性：实体完整性、参照完整性和用户自定义的完整性。其中实体完整性和参照完整性是关系模型必须满足的完整性约束条件，应该由关系系统自动支持。用户自定义的完整性是应用领域特殊要求而需要遵循的约束条件，体现了具体领域中的语义约束。2、试述关系数据库语言的特点和分类。解：见上题“2）关系模型的关系操作”。3、定义并理解下列概念，说明它们间的联系与区别：（1）域、笛卡尔积、关系、元组、属性（2）主码、候选码、外码（3）关系模式、关系、关系数据库解：（1）域、笛卡尔积、关系、元组、属性1）域：域是一组具有相同数据类型的值的集合。2）笛卡尔积：给定一组域D、D、…、D(这些域中可以包含相同的元素,即可以完全不同,也可以部分或全部相同),D、D、…、D的笛卡尔积为D×D×…×D＝｛（d，d，…，d）｜d∈D，i＝1，2，…，n｝3）关系（Relation）：D×D×…×D的任一子集叫作在域D,D,…D上的关系，用R(D,D,…D)表示。关系是笛卡尔积的子集，反过来说，看到某关系，也要看到该关系背后存在的其所属于的笛卡尔积，关系内容无论如何变都变化不出其所属于的笛卡尔积的，这是笛卡尔积概念的意义所在。4）表的每行对应一个元组。5）表的每列起一个唯一的名字，称为属性。联系：关系是笛卡尔积的子集，所以关系也是一个二维表，表的每行对应一个元组，表的每列对应一个域。由于域可以相同，为了加以区分，必须对每列起一个唯一的名字，称为属性。（2）主码、候选码、外码1）候选码：若关系中的某一属性组的值能唯一地标识一个元组，则称该属性组为候选码（Candidatekey），关系至少含有一个候选码。2）主码：一个关系至少有一个候选码，则选定其中一个为主控使用者，称为主码（Primarykey）。3）外码：设F是基本关系R的一个或一组属性，但不是关系R的码，如果F与基本关系S的主码Ks相对应，则称F是基本关系R的外码（Foreignkey）。联系：关系的候选码中选定一个称为主码，主码即是候选码；而外码是与另一关系的主码相对应的属性组。（3）关系模式、关系、关系数据库关系数据库中，关系模式是型，关系是值。关系模式是对关系的描述，一个关系模式应当是一个5元组。1）关系模式：关系的描述称为关系模式（RelationSchema）。一个关系模式应当是一个五元组。它可以形式化地表示为：R（U,D,dom,F）。其中R为关系名，U为组成该关系的属性名集合，D为属性组U中属性所来自的域的集合，dom为属性向域的映象集合，F为属性间数据的依赖关系集合。2）关系：关系实际上就是关系模式在某一时刻的状态或内容。也就是说，关系模式是型，关系是它的值。3）关系数据库：在关系模型中，实体以及实体间的联系都是用关系来表示。在一个给定的现实世界领域中，所有实体及实体之间的联系的关系的集合构成一个关系数据库。联系：关系模式是静态的、稳定的，而关系是动态的、随时间不断变化的，因为关系操作在不断地更新着数据库中的数据。但在实际使用中，常常把关系模式和关系统称为关系，读者可以从上下文中加以区别。关系的集合构成一个关系数据库，关系数据库也有型和值之分。关系数据库的型也称为关系数据库模式，是对关系数据库的描述，是关系模式的集合。关系数据库的值也称为关系数据库，是关系的集合。关系数据库模式与关系数据库通常统称为关系数据库。4、关系数据库的完整性规则有哪些？试举例说明。解：1）关系模型的完整性规则是对关系的某种约束条件。关系模型中可以有三类完整性约束：实体完整性、参照完整性和用户定义的完整性。2）（1）实体完整性：若属性组（或属性）K是基本关系R的主码（或称主关键字），则所有元组K的取值唯一，并且K中属性不能全部或部分取空值。例如：在课程关系T中，若“课程名”属性为主码，则“课程名”属性不能取空值，并且课程名要唯一。（2）参照完整性：若属性（或属性组）F是基本关系R的外码，它与基本关系S的主码Ks相对应（基本关系R和S可能是相同的关系），则对于R中每个元组在F上的值必须为：或者取空值（F的每个属性值均为空值）；或者等于S中某个元组的主码值。例如，对于“学生（学号，姓名，性别，年龄，系别号）、系别（系别号，系名）”两关系，“系别号”为学生关系的外码。它要满足参照完整性。对于学生关系中的每个元组的“系别号”属性只能取下面两类值：空值，表示尚未给该学生分配系别；非空值，则该值必须是系别关系中某个元组的“系别号”的值，表示该学生不可能分配到一个不存在的系中，即被参照关系“系别”中一定存在一个元组，它的主码值等于该参照关系“学生”中的外码值。（3）用户定义的完整性：用户定义的完整性就是针对某一具体应用的关系数据库所制定的约束条件，它反映某一具体应用所涉及的数据必须满足的语义要求。例如，对于学生关系中的年龄，我们可以按需要定义“年龄>8并且年龄<45”5、关系代数运算有哪两大类，试说明每种运算的操作含义。解：1）关系代数的运算按运算符的不同主要分为传统的集合运算和专门的关系运算两类。（1）传统的集合运算：包括并、交、差、广义笛卡尔积四种运算。（2）专门的关系运算：包括选择、投影、连接、除等。2）各运算的操作含义（1）并：设关系R和关系S具有相同的目n，且相应的属性取自同一个域，则关系R与关系S的并由属于R或属于S的所有元组组成。记作：R∪S={t|tR∨tS}（2）差：设关系R和关系S具有相同的目n，且相应的属性取自同一个域，则关系R与关系S的差由属于R而不属于S的所有元组组成。记作：R－S={t|tR∧tS}（3）交：设关系R和关系S具有相同的目n，且相应的属性取自同一个域，则关系R与关系S的交由既属于R又属于S的所有元组组成。记作：R∩S={t|tR∧tS}（4）广义笛卡尔积：︵两个分别为n目和m目的关系R和S的广义笛卡尔积是一个(n+m)列的元组的集合。元组的前n列是关系R的一个元组，后m列是关系S的一个元组。若R有k1个元组，S有k2个元组，则关系R和关系S的广义笛卡尔积有k1×k2个元组。记作：︵R×S={tt|tR∧tS}（5）选择：选择又称为限制（Restriction）。它是在关系R中选择满足给定条件的诸元组，记作：(R)={t|t∈R∧F(t)=“真”}（6）投影：关系R上的投影是从R中选择出若干属性列组成新的关系。记作：∏(R)={t[A]|tR}（7）连接：︵连接也称为θ连接。它是从两个关系的广义笛卡尔积中选取属性间满足一定条件的元组。记作：={tt|t∈R∧t∈S∧t[A]θt[B]}︵︵θ为”＝”的连接运算称为等值连接。它是从关系R与S的广义笛卡尔积中选取A、B属性值相等的那些元组。等值连接表示为：︵={tt|∈R∧t∈S∧t[A]=t[B]}。为此：=A=B(R×S)--︵自然连接（Naturaljoin）是一种特殊的等值连接，它要求两个关系中进行比较的分量必须是相同的属性组，并且要在结果中把重复的属性去掉。即若R和S具有相同的属性组B，则自然连接可记作：--︵R∞S={trts[B]|tr∈R∧ts∈S∧tr[B]=ts[B]}。为此：R∞S=∏(R.B=S.B(R×S))（8）除：给定关系R(X，Y)和S(Y，Z)，其中X，Y，Z为属性组。R中的Y与S中的Y可以有不同的属性名，但必须出自相同的域。R与S的除运算得到一个新的关系P(X)，P是R中满足下列条件的元组在X属性列上的投影：元组在X上分量值x的象集Yx包含S在Y上投影的集合。记作：P=R÷S={tr[X]|tr∈R∧Yx⊇∏Y(S)}，其中Yx为x在R中的象集，x=tr[X]。6、关系代数的基本运算有哪些？请用基本运算表示非基本运算。解：1）8种关系代数运算中并、差、广义笛卡尔积、投影和选择5种运算为基本的关系代数运算。2）另外3种运算，即交、连接和除为非基本运算，均可以用这5种基本运算来表达。表达如下：（1）R∩S=R-(R-S)或R∩S=S-(S-R)（2）=AθB(R×S)-=A=B(R×S)-R∞S=∏(R.B=S.B(R×S))（3）R÷S=∏X(R)-∏X(∏X(R)×∏Y(S)-R)7、举例说明等值连接与自然连接的区别与联系。解：︵θ为”＝”的连接运算称为等值连接。它是从关系R与S的广义笛卡尔积中选取A、B属性值相等的那些元组。等值连接表示为：︵={tt|∈R∧t∈S∧t[A]=t[B]}。为此：=A=B(R×S)--︵自然连接（Naturaljoin）是一种特殊的等值连接，它要求两个关系中进行比较的分量必须是相同的属性组，并且要在结果中把重复的属性去掉。即若R和S具有相同的属性组B，则自然连接可记作：--︵R∞S={trts[B]|tr∈R∧ts∈S∧tr[B]=ts[B]}。为此：R∞S=∏(R.B=S.B(R×S))一般的连接操作是从行的角度进行运算。但自然连接还需要取消重复列，所以是同时从行和列的角度进行运算。举例：设图2.10(a)和图2.10(b)分别为关系R和关系S，R.B=S.B图2.10(d)为等值连接R∞S的结果，图2.10(e)为自然连接R∞S的结果。从中能明显看出其列数的不同。R.B=S.BRSABCa1b15a1b26a2b38a2b412BEb13b27b310b32b52（a）（b）R.B=S.BR∞SR.B=S.BABCEa1b153a1b267a2b3810a2b382AR.BCS.BEa1b15b13a1b26b27a2b38b310a2b38b32(d)(e)图2.10连接运算举例8、设有关系R、S(如下表所示)，计算：RSABCCDE3673454576236235432<2(1)R1=RS(2)R2=RS2<2(3)R3=B=D(R×S)解：（1）ABCDE6234554345（2）ABR.CS.CDE623345（3）结果同（2）9、请用抽象的元组关系演算表达式表达第8题中的R1、R2与R3关系。解：（1）R1={t｜($u)($v)(R(u)∧S(v)∧t[1]=u[1]∧t[2]=u[2]∧t[3]=u[3]∧t[4]=v[2]∧t[5]=v[3]∧u[3]=v[1])}（2）R2={t｜($u)($v)(R(u)∧S(v)∧t[1]=u[1]∧t[2]=u[2]∧t[3]=u[3]∧t[4]=v[1]∧t[5]=v[2]∧t[6]=v[3]∧u[2]=v[2])}（3）同（2）10、设有学生-课程关系数据库，它由三个关系组成，它们的模式是：学生S（学号SNO，姓名SN，所在系DEPT，年龄AGE）、课程C（课程号CNO，课程名CN，先修课号CPNO）、SC（学号SNO，课程号CNO，成绩SCORE）。请用关系代数与ALPHA语言分别写出下列查询：(1)检索学生的所有情况。(2)检索学生年龄大于等于20岁的学生姓名。(3)检索先修课号为C2的课程号。(4)检索课程号C1的成绩为A的所有学生姓名。(5)检索S1修读的所有课程名及先修课号。(6)检索年龄为23岁的学生所修读的课程名。(7)检索至少修读了S5修读的一门课的学生的姓名。(8)检索修读了S4所修读的所有课程的学生的姓名。(9)检索选修所有课程的学生的学号。(10)检索不选修任何课程的学生的学号。(11)在关系C中增添一门新课（新课信息自定）(12)学号为S17的学生因故退学请在S与SC中将其除名。(13)将关系S中学生S6的年龄改为22岁（只需ALPHA操作）。(14)将关系S中学生的年龄均增加1岁（只需ALPHA操作）。解：写出关系代数表达方式：(1)检索学生的所有情况。S或SSCC(2)检索学生年龄大于等于20岁的学生姓名。πSN(σAGE>=20(S))(3)检索先修课号为C2的课程号。πCNO(σCPNO=’C2’(C(4)检索课程号C1的成绩为A的所有学生姓名。πSN(σCNO=’C1’∧SCORE=’A’(SCS))(5)检索S1修读的所有课程名及先修课号。πCN,CPNO(σSNO=’S1’(SCC))(6)检索年龄为23岁的学生所修读的课程名。πCN(σAGE=23(SSCC))(7)检索至少修读了S5修读的一门课的学生的姓名。πSN(SSCπCNO(σSNO=’S5’(SC)))(8)检索修读了S4所修读的所有课程的学生的姓名。πSN(S(πSNO,CNO(SC)÷πCNO(σSNO=’S4’(SC))))(9)检索选修所有课程的学生的学号。πSNO,CNO(SC)÷πCNO(C)(10)检索不选修任何课程的学生的学号。πSNO(S)-πSNO(SC)写出ALPHA命令：(1)检索学生的所有情况。SSSCCGETW(S)GETW(S,SC,C):S.SNO=SC.SNO∧SC.CNO=C.CNO(2)检索学生年龄大于等于20岁的学生姓名。πSN(σAGE>=20(S))GETW(S.SN):(S.AGE>=20)(3)检索先修课号为C2的课程号。πCNO(σCPNO=’C2’(CGETW(C.CNO):(C.CPNO=’C2’(4)检索课程号C1的成绩为A的所有学生姓名。πSN(σCNO=’C1’∧SCORE=’A’(SCC))RANGESCSCXGETW(S.SN):SCX(SCX.SNO=S.SNO∧SCX.CNO=’C1’∧SCX.SCORE=’A’)(5)检索S1修读的所有课程名及先修课号。πCN,CPNO(σSNO=’S1’(SCS))RANGESCSCXGETW(C.CN,C.CPNO):SCX(SCX.CNO=C.CNO∧SCX.SNO=’S1’)(6)检索年龄为23岁的学生所修读的课程名。πCN(σAGE=23(SSCC))RANGESSXSCSCXGETW(C.CN):SXSCX(SX.SNO=SCX.SNO∧SCX.CNO=C.CNO∧SX.AGE=23)(7)检索至少修读为S5修读的一门课的学生的姓名。πSN(SSCπCNO(σSNO=’S5’(SC)))RANGESCSCXSCSCYGETW(S.SN):SCXSCY(SCX.SNO=’S5’∧SCY.SNO=S.SNO∧SCY.CNO=SCX.CNO)或RANGECCXSCSCXSCSCYGETW(S.SNO):CX(SCX(SCX.SNO=’S5’∧CX.CNO=SCX.CNO)->SCY(SCY.SNO=S.SNO∧CX.CNO=SCY.CNO))(8)检索修读S4所修读的所有课程的学生的姓名。πSN(S(πSNO,CNO(SC)÷πCNO(σSNO=’S4’(SC))))RANGECCXSCSCXSCSCYGETW(S.SNO):CX(SCX(SCX.SNO=’S4’∧CX.CNO=SCX.CNO)->SCY(SCY.SNO=S.SNO∧CX.CNO=SCY.CNO))也可以变换（A->B≡﹁A∨BX(A)≡﹁X(﹁A)）真值表ABA->B≡﹁A∨BTTTTTFFFFTTTFFTTRANGECCXSCSCXSCSCYGETW(S.SNO):CX(SCX(SCX.SNO=’S4’∧CX.CNO=SCX.CNO)->SCY(SCY.SNO=S.SNO∧CX.CNO=SCY.CNO))GETW(S.SNO):CX(﹁(SCX(SCX.SNO=’S4’∧CX.CNO=SCX.CNO))∨（SCY(SCY.SNO=S.SNO∧CX.CNO=SCY.CNO)))GETW(S.SNO):﹁CX(﹁(﹁(SCX(SCX.SNO=’S4’∧CX.CNO=SCX.CNO))∨（SCY(SCY.SNO=S.SNO∧CX.CNO=SCY.CNO))))GETW(S.SNO):﹁CX(((SCX(SCX.SNO=’S4’∧CX.CNO=SCX.CNO))∧﹁（SCY(SCY.SNO=S.SNO∧CX.CNO=SCY.CNO))))(9)检索选修所有课程的学生的学号。πSNO,CNO(SC)÷πCNO(C)RANGECCXSCSCXGETW(S.SNO):CXSCX(SCX.CNO=CX.CNO∧S.SNO=SCX.SNO)全称改存在为：RANGECCXSCSCXGETW(S.SNO):﹁CX（﹁SCX(SCX.CNO=CX.CNO∧S.SNO=SCX.SNO))(10)检索不选修任何课程的学生的学号。πSNO(S)-πSNO(SC)RANGESCSCXGETW(S.SNO):SCX(﹁（SCX.SNO=SNO）)即：RANGESCSCXGETW(S.SNO):SCX(SCX.SNO≠SNO)或全称改存在为：GETW(S.SNO):﹁SCX(﹁(﹁（SCX.SNO=SNO）))即：GETW(S.SNO):﹁SCX(SCX.SNO=SNO）)或（你们的做法）RANGESCSCXCCXGETW(S.SNO):CX﹁(SCX（SCX.SNO=SNO∧CX.CNO=SCX.CNO）)即：RANGESCSCXGETW(S.SNO):CXSCX(SCX.SNO≠SNO∨SCX.CNO≠CX.CNO)全称改存在为：RANGESCSCXCCXGETW(S.SNO):CX﹁(SCX（SCX.SNO=SNO∧CX.CNO=SCX.CNO）)GETW(S.SNO):﹁CX﹁（﹁(SCX（SCX.SNO=SNO∧CX.CNO=SCX.CNO）)）GETW(S.SNO):﹁CX(SCX（SCX.SNO=SNO∧CX.CNO=SCX.CNO））SQL命令见后(11)在关系C中增添一门新课MOVE'C9'TOW.CNOMOVE'计算机系统结构'TOW.CNMOVE'C4'TOW.CPNOPUTW(C)(12)学号为S17的学生因故退学请在S与SC中将其除名。HoldW(SC):SNO=’S17DELETEWHoldW(S):SNO=’S17DELETEW(13)将关系S中学生S6的年龄改为22岁（只需ALPHA操作）。HoldW(SNO,AGE):SNO=’S6MOVE22TOW.AGEUPDATEW(14)将关系S中学生的年龄均增加1岁（只需ALPHA操作）。HoldW(SNO,AGE)MOVEW.AGE+1TOW.AGEUPDATEW

写出SQL命令（非本章要求）：9、设有学生-课程关系数据库，它由三个关系组成，它们的模式是：学生S（学号SNO，姓名SN，所在系DEPT，年龄AGE）、课程C（课程号CNO，课程名CN，先修课号CPNO）、SC（学号SNO，课程号CNO，成绩G）。请用关系代数与ALPHA语言分别写出下列查询：(1)检索学生的所有情况。SSSCCGETW(S)GETW(S,SC,C):S.SNO=SC.SNO∧SC.CNO=C.CNOSELECT*FROMS(2)检索学生年龄大于等于20岁的学生姓名。πSN(σAGE>=20(S))GETW(S.SN):(S.AGE>=20)SELECTSNFROMSWHERES.AGE>=20(3)检索先修课号为C2的课程号。πCNO(σCPNO=’C2’(CGETW(C.CNO):(C.CPNO=’C2’SELECTCNOFROMCWHEREC.CPNO=’C2(4)检索课程号C1的成绩为A的所有学生姓名。πSN(σCNO=’C1’∧SCORE=’A’(SCC))RANGESCSCXGETW(S.SN):SCX(SCX.SNO=S.SNO∧SCX.CNO=’C1’∧SCX.SCORE=’A’)SELECTSNFROMS，SCWHERES.SNO=SC.SNOANDSC.CNO=’C1’ANDSC.SCORE=’A(5)检索S1修读的所有课程名及先修课号。πCN,CPNO(σSNO=’S1’(SCS))RANGESCSCXGETW(C.CN,C.CPNO):SCX(SCX.CNO=C.CNO∧SCX.SNO=’S1’)SELECTC.CN,C.CPNOFROMC,SCWHEREC.CNO=SC.CNOANDSC.SNO=’S1(6)检索年龄为23岁的学生所修读的课程名。πCN(σAGE=23(SSCC))RANGESSXSCSCXGETW(C.CN):SXSCX(SX.SNO=SCX.SNO∧SCX.CNO=C.CNO∧SX.AGE=23)SELECTC.CNFROMS,SC,CWHERES.SNO=SC.SNOANDSC.CNO=C.CNOANDS.AGE=23(7)检索至少修读了S5修读的一门课的学生的姓名。πSN(SSCπCNO(σSNO=’S5’(SC)))RANGESCSCXSCSCYGETW(S.SN):SCXSCY(SCX.SNO=’S5’∧SCY.SNO=S.SNO∧SCY.CNO=SCX.CNO)或RANGECCXSCSCXSCSCYGETW(S.SNO):CX(SCX(SCX.SNO=’S5’∧CX.CNO=SCX.CNO)->SCY(SCY.SNO=S.SNO∧CX.CNO=SCY.CNO))SELECTS.SNOFROMS,WHERES.SNO=Y.SNOANDX.CNO=Y.CNOANDX.SNO=’S5(8)检索修读了S4所修读的所有课程的学生的姓名。πSN(S(πSNO,CNO(SC)÷πCNO(σSNO=’S4’(SC))))RANGECCXSCSCXSCSCYGETW(S.SNO):CX(SCX(SCX.SNO=’S4’∧CX.CNO=SCX.CNO)->SCY(SCY.SNO=S.SNO∧CX.CNO=SCY.CNO))也可以变换RANGECCXSCSCXSCSCYGETW(S.SNO):CX(SCX(SCX.SNO=’S4’∧CX.CNO=SCX.CNO)->SCY(SCY.SNO=S.SNO∧CX.CNO=SCY.CNO))GETW(S.SNO):CX(﹁(SCX(SCX.SNO=’S4’∧CX.CNO=SCX.CNO))∨（SCY(SCY.SNO=S.SNO∧CX.CNO=SCY.CNO)))GETW(S.SNO):﹁CX(﹁(﹁(SCX(SCX.SNO=’S4’∧CX.CNO=SCX.CNO))∨（SCY(SCY.SNO=S.SNO∧CX.CNO=SCY.CNO))))GETW(S.SNO):﹁CX(((SCX(SCX.SNO=’S4’∧CX.CNO=SCX