《數(shù)據(jù)庫(kù)原理及應(yīng)用》第2章 部分習(xí)題解答

★關(guān)系演算補(bǔ)充內(nèi)容

*把謂詞演算應(yīng)用于到關(guān)系運(yùn)算中就是關(guān)系演算，它分為元組關(guān)系

演算與域關(guān)系演算。

*謂詞演算

1)個(gè)體是可以獨(dú)立存在的物體

2)謂詞是用于刻劃個(gè)體性質(zhì)或關(guān)系

3)一個(gè)謂詞可以與一個(gè)個(gè)體相聯(lián)，此種謂詞稱為一元謂詞，

一元謂詞刻劃一個(gè)個(gè)體的性質(zhì)。

4)a,b,...表示個(gè)體，一個(gè)一元謂詞可表示為F(a)

一個(gè)謂詞中個(gè)體是可以變化的，如”...是大學(xué)生”，可以是“王

強(qiáng)是大學(xué)生“，也可以變?yōu)椤袄钊A是大學(xué)生”，令F(x)表示x是大學(xué)

生，又令“王強(qiáng)”為a,“李華”為b,則“王強(qiáng)是大學(xué)生，李華也是

大學(xué)生”可寫為F(a)AF(b)

*現(xiàn)謂詞演算用于關(guān)系，元組為個(gè)體，關(guān)系為個(gè)體域，則R(u)即表

示u是關(guān)系R中的元組

*元組關(guān)系演算表達(dá)式{t|(p(t)},表示所有使cp為真的元組集合,

即描述了一個(gè)關(guān)系。

P69

10、設(shè)有學(xué)生-課程關(guān)系數(shù)據(jù)庫(kù)，它由三個(gè)關(guān)系組成，它們的模式是：學(xué)生S(學(xué)號(hào)S#,

姓名SN,所在系SD,年齡SA)、課程C(課程號(hào)C#,課程名CN,先修課號(hào)PC#)、SC

(學(xué)號(hào)S#,課程號(hào)C#,成績(jī)G)。

請(qǐng)用關(guān)系代數(shù)與ALPHA語(yǔ)言分別寫出下列查詢：

(1)檢索學(xué)生的所有情況。

SSMSCMc

(2)檢索學(xué)生年齡大于等于20歲的學(xué)生姓名。

TTSN(OSA>=20(S))

(3)檢索先修課號(hào)為C2的課程號(hào)。

TTC#(OPC#=,C2,(C))

(4)檢索課程號(hào)Cl的成績(jī)?yōu)锳的所有學(xué)生姓名。

TTSN(oC#='C1'/\G='A'(SCMC))

(5)檢索S1修讀的所有課程名及先修課號(hào)。

TTCN,PC#(aS#=S「(SCMs))

(6)檢索年齡為23歲的學(xué)生所修讀的課程名。

nCN(aSA=23(SMSCMC))

(7)檢索至少修讀了S5修讀的一門課的學(xué)生的姓名。

TTSN(SMSCMTTC#(aS#=,S5,(SC)))

(8)檢索修讀了S4所修讀的所有課程的學(xué)生的姓名。

TTSN(SM(TTS#,C#(SC)4-TTC#(aS#=,S4,(SC))))

(9)檢索選修所有課程的學(xué)生的學(xué)號(hào)。

nS#,C#(SC)4-nC#(C)

(10)檢索不選修任何課程的學(xué)生的學(xué)號(hào)。

TTS#⑸-TTS#(SC)

設(shè)有學(xué)生-課程關(guān)系數(shù)據(jù)庫(kù)，它由三個(gè)關(guān)系組成，它們的模式是：學(xué)生S(學(xué)號(hào)S#,姓名

SN,所在系SD,年齡SA)、課程C(課程號(hào)C#,課程名CN,先修課號(hào)PC#)、SC(學(xué)號(hào)

S#,課程號(hào)C#,成績(jī)G)。

請(qǐng)用關(guān)系代數(shù)與ALPHA語(yǔ)言分別寫出下列查詢：

(1)檢索學(xué)生的所有情況。SsMscMr

GETW(S)

GETW(S,SC,C):S.S#=SC.S#ASC.C#=C.C#

(2)檢索學(xué)生年齡大于等于20歲的學(xué)生姓名。TTSN(aSA>=20(S))

GETW(S.SN):(S.SA>=20)

(3)檢索先修課號(hào)為C2的課程號(hào)。nC#(oPC#=,C2,(C))

GETW(C.C#):(C.PC#=,C2,)

(4)檢索課程號(hào)Cl的成績(jī)?yōu)锳的所有學(xué)生姓名。ITSN(aC#-,CrAG-'A'(SCWc))

RANGESCSCX

GETW(S.SN):3SCX(SCX.S#=S.S#ASCX.C#=,C1,A

SCX.G=，A，)

(5)檢索SI修讀的所有課程名及先修課號(hào)。ITCN.PC#(aS#='Sr(SClxlS))

RANGESCSCX

GETW(C.CN,C.PC#):3SCX(SCX.C#=C.C#ASCX.S#=,S1,)

(6)檢索年齡為23歲的學(xué)生所修讀的課程名。TTCN(aSA=23(SMseMe))

RANGESSX

SCSCX

GETW(C.CN):3SX3SCX(SX.S#=SCX.S#ASCX.C#=C.C#A

SX.SA=23)

(7)檢索至少修讀為S5修讀的一門課的學(xué)生的姓名。

TTSN(SMSCMTTC#(aS#=，S5，(SC)))

RANGESCSCX

SCSCY

GETW(S.SN):3SCX3SCY(SCX.S#='S5'ASCY.S#=S.S#A

SCY.C#=SCX.C#)

或

RANGECCX

SCSCX

SCSCY

GETW(S.S#):3CX(3SCX(SCX.S#='S5'ACX.C#=SCX.C#)->3SCY

(SCY.S#=S.S#ACX.C#=SCY.C#))

(8)檢索修讀S4所修讀的所有課程的學(xué)生的姓名。

TTSN(SX(TTS#,C#(SC)+TTC#(aS#=,S4'(SC))))

RANGECCX

SCSCX

SCSCY

GETW(S.S#):vCXGSCX(SCX.S#='S4'ACX.C#=SCX.C#)->3SCY

(SCY.S#=S.S#ACX.C#=SCY.C#))

也可以變換<A—>B=-?AVBVX(A)=―?3X(—?A))

真值表ABA—>B=AVB

TTTT

TFFF

FTTT

FFTT

RANGECCX

SCsex

SCSCY

GETW(S.S#):VCX(3SCX(SCX.S#=，S4,ACX.C#=SCX.C#)->3SCY

(SCY.S#=S.S#ACX.C#=SCY.C#))

GETW(S.S#):vCX(-i(aSCX(SCX.S#='S4'ACX.C#=SCX.C#))V

(aSCY(SCY.S#=S.S#ACX.C#=SCY.C#)))

GETW(S.S#):-13CX(->(-i(3SCX(SCX.S#=,S4,A

CX.C#=SCX.C#))V(3SCY(SCY.S#=S.S#ACX.C#=SCY.C#))))

GETW(S.S#):TCX((GSCX(SCX.S#='S4'ACX.C#=SCX.C#))A

-1(3SCY(SCY.S#=S.S#ACX.C#=SCY.C#))))

⑼檢索選修所有課程的學(xué)生的學(xué)號(hào)。nS#,C#(SC)4-TTC#(C)

RANGECCX

SCSCX

GETW(S.S#):VCX3SCX(SCX.C#=CX.C#AS.S#=SCX.S#)

全稱改存在為：

RANGECCX

SCSCX

GETW(S.S#)：--aCX(--3SCX(SCX.C#=CX.C#AS.S#=SCX.S#))

(10)檢索不選修任何課程的學(xué)生的學(xué)號(hào)。TTS#(S)-TTS#(SC)

RANGESCSCX

GETW(S.S#)：wSCX(「(SCX.S#=S#))

即：

RANGESCSCX

GETW(S.S#):VSCX(SCX.S#WS#)

或

全稱改存在為：

GETW(S.S#)：TSCX(->(-?(SCX.S#=S#)))

即：

GETW(S.S#):TSCX(SCX.S#=S#))

或

(你們的做法)

RANGESCSCX

CCX

GETW(S.S#):vCX-.(3SCX(SCX.S#=S#ACX.C#=SCX.C#))

即:

RANGESCSCX

GETW(S.S#):VCX3SCX(SCX.S#WS#VSCX.C#WCX.C#)

全稱改存在為：

RANGESCSCX

cex

GETW(S.S#):vCX-1GSCX(SCX.S#=S#ACX.C#=SCX.C#))

GETW(S.S#)：-.3CX-i(->(3SCX(SCX.S#=S#ACX.C#=SCX.C#)))

GETW(S.S#):--3CX(3SCX(SCX.S#=S#ACX.C#=SCX.C#)

SQL命令見(jiàn)后

(11)在關(guān)系C中增添一門新課

MOVE'C9'TOW.C#

MOVE'計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)'TOW.CN

MOVE'C4'TOW.PC#

PUTW(C)

(12)學(xué)號(hào)為S17的學(xué)生因故退學(xué)請(qǐng)?jiān)赟與SC中將其除名。

HoldW(SC):S#=,S17,

DELETEW

HoldW(S):S#=,S17,

DELETEW

(13)將關(guān)系S中學(xué)生S6的年齡改為22歲(只需ALPHA操作)。

HoldW(S#,SA):S#='S6'

MOVE22TOW.SA

UPDATEW

(14)將關(guān)系S中學(xué)生的年齡均增加1歲(只需ALPHA操作)。

HoldW(S#,SA)

MOVEW.SA+1TOW.SA

UPDATEW

RANGECouseCX

SCSCX

SCSCY

GETW(Student.SNO):vCX(3SCX(SCX.SNO='200402'A

SCX.CN0=CX.CNO)

fSCY(SCY.SN0=Student.SNOASCY.CNO=CX.CNO))

9、設(shè)有學(xué)生-課程關(guān)系數(shù)據(jù)庫(kù)，它由三個(gè)關(guān)系組成，它們的模式是：學(xué)生S(學(xué)號(hào)S#,

姓名SN,所在系SD,年齡SA)、課程C(課程號(hào)C#,課程名CN,先修課號(hào)PC#)、SC

(學(xué)號(hào)S#,課程號(hào)C#,成績(jī)G)。

請(qǐng)用關(guān)系代數(shù)與ALPHA語(yǔ)言分別寫出下列查詢：

(1)檢索學(xué)生的所有情況。

SS*SCMC

GETW(S)

GETW⑸SC,C):S.S#=SC.S#ASC.C#=C.C#

SELECT*

FROMS

(2)檢索學(xué)生年齡大于等于20歲的學(xué)生姓名。

ITSN(OSA>=20(S))

GETW(S.SN):(S.SA>=20)

SELECTSN

FROMS

WHERES.SA>=20

(3)檢索先修課號(hào)為C2的課程號(hào)。

ITc#(oPC#=，C2'(C))

GETW(C.C#):(C.PC#=,C2,)

SELECTC#

FROMC

WHEREC.PC#='C2'

(4)檢索課程號(hào)C1的成績(jī)?yōu)锳的所有學(xué)生姓名。

TTSN(oC#=，C1，八G=A(SCMC))

RANGESCSCX

GETW(S.SN):3SCX(SCX.S#=S.S#ASCX.C#='C1'A

SCX.G=，A，)

(5)檢索S1修讀的所有課程名及先修課號(hào)。

TTCN,PC#(oS#='S1'(SCNS))

RANGESCSCX

GETW(C.CN,C.PC#):3SCX(SCX.C#=C.C#ASCX.S#='S1')

(6)檢索年齡為23歲的學(xué)生所修讀的課程名。

ITCN(oSA=23(SlxlSC^C))

RANGESSX

SCSCX

GETW(C.CN):3SX3SCX(SX.S#=SCX.S#ASCX.C#=C.C#A

SX.SA=23)

(7)檢索至少修讀了S5修讀的一門課的學(xué)生的姓名。

TTSN(SMSC^TTC#(aS#=,S5,(SC)))

RANGESCSCX

SCSCY

GETW(S.SN):3SCX3SCY(SCX.S#='S5'ASCY.S#=S.S#A

SCY.C#=SCX.C#)

或

RANGECCX

SCsex

SCSCY

GETW(S.S#)：3CX(3SCX(SCX.S#='S5'ACX.C#=SCX.C#)->3SCY

(SCY.S#=S.S#ACX.C#=SCY.C#))

(8)檢索修讀了S4所修讀的所有課程的學(xué)生的姓名。

TTSN(SM(TTS#,c#(SC)4-TTC#(OS#='S4'(SC))))

RANGECCX

SCSCX

SCSCY

GETW(S.S#):VCX(3SCX(SCX.S#=,S4,ACX.C#=SCX.C#)->aSCY

(SCY.S#=S.S#ACX.C#=SCY.C#))

也可以變換

RANGECCX

SCSCX

SCSCY

GETW(S.S#):VCX(3SCX(SCX.S#='S4'ACX.C#=SCX.C#)->3SCY

(SCY.S#=S.S#ACX.C#=SCY.C#))

GETW(S.S#):VCX(-1(3SCX(SCX.S#='S4'ACX.C#=SCX.C#))V

(3SCY(SCY.SY=S.S#ACX.C#=SCY.C#)))

GETW(S.S#):-13CX(->(-1(3SCX(SCX.S#='S4'A

CX.C#=SCX.C#))V(3SCY(SCY.S#=S.S#ACX.C#=SCY.C#))))

GETW(S.S#)：-.3CX(((3SCX(SCX.S#=,S4,ACX.C#=SCX.C#))A

(aSCY(SCY.S#=S.S#ACX.C#=SCY.C#))))

(9)檢索選修所有課程的學(xué)生的學(xué)號(hào)。

nS#,C#(SC)+TTC#(C)

RANGECCX

SCSCX

GETW(S.S#)