現在位置：范文先生網>理工論文>計算機信息技術>PB7謂詞邏輯演算功能分析

PB7謂詞邏輯演算功能分析

時間：2023-02-21 00:09:17 計算機信息技術我要投稿

相關推薦

PB7謂詞邏輯演算功能分析

淮陰工學院張有東

摘要：本文介紹了PowerBuilder7.0中謂詞邏輯演算功能，并舉例分析了其應用。

關鍵詞： SQL、嵌套選擇、謂詞演算

結構化查詢語言SQL是一種介于關系代數與關系演算之間的關系數據庫語言，由于其通用性和功能強的特點，目前已成為關系數據庫的標準語言。因此，各數據庫廠家紛紛推出各自支持的SQL軟件或SQL的接口軟件。但是，不同DBMS中對標準SQL

>的支持程度不盡相同。從謂詞邏輯功能上看，現有的微型機上的DBMS一般均支持帶有EXISTS（代表存在量詞）和NOT EXISTS的相關查詢，而Sybase 公司的PowerBuilder7.0 ，還支持ANY、ALL等謂詞和嵌套選擇（nested select），而

VFP、Access、Paradox等DBMS則不具備，這就使PB7的查詢功能強大而靈活，本文給合筆者所開發的教務管理系統，就PB7中SQL的謂詞邏輯演算的應用作一分析，本系統中的數據庫包含有以下三個表：

⑴“學生”表

ST(sno,sname,ssex,sage,sdept)，相應屬性含義分別為學號、姓名、性別、年齡和所在系。

⑵“課程”表Course(cno,cname,cpno,ccredit)，相應屬性含義分別為課程號、課程名、先修課名和學分。

⑶“學生選課”表SC(sno,cno,grade), 相應屬性含義分別為學號、課程號和成績。

如查詢條件為“所有選修了2

號課程的學生成績”的PB7的SQL語句如下：

SELECT "st"."sname"

FROM "st"

WHERE exists (SELECT "sc"."sno"

FROM "sc"

WHERE ("sc"."cno" = '2' ) AND ( "sc"."sno" = "st"."sno" ) )；

其一般處理過程為：首先取外層查詢中ST表的第一個元組，根據它與內層查詢相關的屬性值處理內層查詢，若內層WHERE子句返回值為真（即內層查詢結果非空），則取此元組放入結果表；然后再檢查ST表的下一個元組，如此反復求值，直到ST表全部檢查完畢為至�？梢姡@類查詢的一個顯著特點是內層查詢的查詢條件依賴于外層父查詢的某個屬性值（上述語句中是依賴于ST表中的sno值）。

同時，也正是由于帶EXISTS量詞的相關嵌套查詢只關心內層查詢是否有返回值，并不需要具體值，因此這類查詢的效率有時甚至是最高效的。而ANSI公布的SQL92標準中卻沒有全稱量詞（For All）和蘊函（Implication）邏輯演算，PB7中也沒有，解決的方法是利用謂詞演算將一個帶有全稱量詞的謂詞或一個邏輯蘊函的謂詞轉換為等價的帶有存在量詞的謂詞，我們可很容易推導出如下的等價公式（p、

q表示條件）：

(1)（∨x）p≡┐(зx(┐p))

(2)p q≡┐p∨q

這樣，就可以通過謂詞演算實現系統的含有全稱量詞和蘊含邏輯運算的查詢。

如查詢條件為“至少選修了98001學生選修的全部課程的學生的學生號和姓名”的實現過程如下：

【PB7謂詞邏輯演算功能分析】相關文章：

邏輯聯結詞08-17