- 相關(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中對(duì)標(biāo)準(zhǔn)SQL
VFP、Access、Paradox等DBMS則不具備，這就使PB7的查詢功能強(qiáng)大而靈活，本文給合筆者所開發(fā)的教務(wù)管理系統(tǒng)，就PB7中SQL的謂詞邏輯演算的應(yīng)用作一分析，本系統(tǒng)中的數(shù)據(jù)庫包含有以下三個(gè)表：
⑴“學(xué)生”表
ST(sno,sname,ssex,sage,sdept)，相應(yīng)屬性含義分別為學(xué)號(hào)、姓名、性別、年齡和所在系。
⑵“課程”表Course(cno,cname,cpno,ccredit)，相應(yīng)屬性含義分別為課程號(hào)、課程名、先修課名和學(xué)分。
⑶“學(xué)生選課”表SC(sno,cno,grade), 相應(yīng)屬性含義分別為學(xué)號(hào)、課程號(hào)和成績(jī)。
如查詢條件為“所有選修了2
號(hào)課程的學(xué)生成績(jī)”的PB7的SQL語句如下：
SELECT "st"."sname"
FROM "st"
WHERE exists (SELECT "sc"."sno"
FROM "sc"
WHERE ("sc"."cno" = '2' ) AND ( "sc"."sno" = "st"."sno" ) )；
其一般處理過程為：首先取外層查詢中ST表的第一個(gè)元組，根據(jù)它與內(nèi)層查詢相關(guān)的屬性值處理內(nèi)層查詢，若內(nèi)層WHERE子句返回值為真（即內(nèi)層查詢結(jié)果非空），則取此元組放入結(jié)果表；然后再檢查ST表的下一個(gè)元組，如此反復(fù)求值，直到ST表全部檢查完畢為至�？梢姡@類查詢的一個(gè)顯著特點(diǎn)是內(nèi)層查詢的查詢條件依賴于外層父查詢的某個(gè)屬性值（上述語句中是依賴于ST表中的sno值）。
同時(shí)，也正是由于帶EXISTS量詞的相關(guān)嵌套查詢只關(guān)心內(nèi)層查詢是否有返回值，并不需要具體值，因此這類查詢的效率有時(shí)甚至是最高效的。而ANSI公布的SQL92標(biāo)準(zhǔn)中卻沒有全稱量詞（For All）和蘊(yùn)函（Implication）邏輯演算，PB7中也沒有，解決的方法是利用謂詞演算將一個(gè)帶有全稱量詞的謂詞或一個(gè)邏輯蘊(yùn)函的謂詞轉(zhuǎn)換為等價(jià)的帶有存在量詞的謂詞，我們可很容易推導(dǎo)出如下的等價(jià)公式（p、
q表示條件）：
這樣，就可以通過謂詞演算實(shí)現(xiàn)系統(tǒng)的含有全稱量詞和蘊(yùn)含邏輯運(yùn)算的查詢。
如查詢條件為“至少選修了98001學(xué)生選修的全部課程的學(xué)生的學(xué)生號(hào)和姓名”的實(shí)現(xiàn)過程如下：
【PB7謂詞邏輯演算功能分析】相關(guān)文章：
形式標(biāo)記的元功能分析08-08
語氣副詞的語用功能分析08-07
集合與簡(jiǎn)易邏輯08-17
邏輯的盡頭作文04-26
畢業(yè)論文的邏輯08-06
有關(guān)鏡子的邏輯作文08-16
邏輯聯(lián)結(jié)詞08-17
有趣的面試邏輯題08-17
證券法中的民事責(zé)任功能分析08-05