- 相關(guān)推薦
PB7謂詞邏輯演算功能分析
PB7謂詞邏輯演算功能分析
淮陰工學(xué)院 張有東
摘要:本文介紹了PowerBuilder7.0中謂詞邏輯演算功能,并舉例分析了其應(yīng)用。
關(guān)鍵詞: SQL、嵌套選擇、謂詞演算
結(jié)構(gòu)化查詢語言SQL是一種介于關(guān)系代數(shù)與關(guān)系演算之間的關(guān)系數(shù)據(jù)庫語言,由于其通用性和功能強(qiáng)的特點(diǎn),目前已成為關(guān)系數(shù)據(jù)庫的標(biāo)準(zhǔn)語言。因此,各數(shù)據(jù)庫廠家紛紛推出各自支持的SQL軟件或SQL的接口軟件。但是,不同DBMS中對標(biāo)準(zhǔn)SQL的支持程度不盡相同。從謂詞邏輯功能上看,現(xiàn)有的微型機(jī)上的DBMS一般均支持帶有EXISTS(代表存在量詞)和NOT EXISTS的相關(guān)查詢,而Sybase 公司的PowerBuilder7.0 ,還支持ANY、ALL等謂詞和嵌套選擇(nested select),而VFP、Access、Paradox等DBMS則不具備,這就使PB7的查詢功能強(qiáng)大而靈活,本文給合筆者所開發(fā)的教務(wù)管理系統(tǒng),就PB7中SQL的謂詞邏輯演算的應(yīng)用作一分析,本系統(tǒng)中的數(shù)據(jù)庫包含有以下三個表:
⑴“學(xué)生”表ST(sno,sname,ssex,sage,sdept),相應(yīng)屬性含義分別為學(xué)號、姓名、性別、年齡和所在系。
⑵“課程”表Course(cno,cname,cpno,ccredit),相應(yīng)屬性含義分別為課程號、課程名、先修課名和學(xué)分。
⑶“學(xué)生選課”表SC(sno,cno,grade), 相應(yīng)屬性含義分別為學(xué)號、課程號和成績。
如查詢條件為“所有選修了2號課程的學(xué)生成績”的PB7的SQL語句如下:
SELECT "st"."sname"
FROM "st"
WHERE exists (SELECT "sc"."sno"
FROM "sc"
WHERE ("sc"."cno" = '2' ) AND ( "sc"."sno" = "st"."sno" ) );
【PB7謂詞邏輯演算功能分析】相關(guān)文章:
形式標(biāo)記的元功能分析08-03
甘肅方言“阿”字頭親屬稱謂詞初探論文09-13
科學(xué)邏輯導(dǎo)論09-16
Peirce*邏輯代數(shù)10-01
基于公司治理的內(nèi)部審計功能分析09-17
概率歸納邏輯的興起05-17
大話學(xué)者和大話邏輯──讀何新《泛演化邏輯引論》07-04
微電影社會教育功能分析論文09-19
企業(yè)戰(zhàn)略邏輯分析08-31