教育资源为主的文档平台

当前位置: 查字典文档网> 所有文档分类> 论文> 其他论文> PB7谓词逻辑演算功能分析

PB7谓词逻辑演算功能分析

上传者:网友
|
翻新时间:2023-02-16

PB7谓词逻辑演算功能分析

PB7谓词逻辑演算功能分析 PB7谓词逻辑演算功能分析 信息技术论文 更新:2006-4-8 阅读: PB7谓词逻辑演算功能分析

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学生选修的全部课程的学生的学生号和姓名”的实现过程如下:

设用p表示谓词“98001学生选修了课程y”。

用q表示谓词“学生x选修了课程y”。

用Cy表示“课程y”。

则上述查询可表示为:(∨Cy)(p→q)

该查询可以转换为如下等价形式:

(∨Cy)p→q≡┑ЭCy(┑(p→q))≡┐ЭCy(┒(┒p∨q))≡┒ЭCy(p∧┐q)

它所表示的语义可解释为:不存在这样的课程y,98001学生选修了y,而学生x没有选,用PB7的SQL可表示如下:

SELECT DISTINCT "sc"."sno"

FROM "sc", "scx"

WHERE ( "sc"."sno" = "scx"."sno" ) and

((not exists ( SELECT DISTINCT "sc"."sno"

FROM "sc", "scx"

WHERE ( "sc"."sno" = "scx"."sno" ) and

((“scy”. “sno”=’95002’)AND

下载文档

版权声明:此文档由查字典文档网用户提供,如用于商业用途请与作者联系,查字典文档网保持最终解释权!

网友最新关注

与火星人的谈判
知错就改
校园的早晨
我最喜欢的一张照片
忘不了那次被挨打
铅笔、转笔刀和橡皮的故事
我的同学,你的行为规范吗?
秋游清江公园
20年后的互联网
西瓜皮回来了
青蛙回家
纸与笔的故事
第一次骑自行车
快乐的野炊
我学会溜冰
论中等职业学校实行弹性学习制度保障条件分析
浅谈教师在护士素质养成教育中的自我反思
试论课堂教学与社会就业的对接
浅谈营销理论在高校毕业生就业市场建设中的应用
浅谈中职营销专业课教学中德育渗透的探索与实践
关于高职高专国贸专业开展双语教学的障碍及解决对策
论网络信息时代武术发展道路的探索与认识
浅谈加强对职校生的传统美德教育
浅谈“蓝海战略”与中等职业学校目标定位
用建构主义学习理论构建职业教育新型师生关系
浅谈对高等职业技术教育课堂教学结构改革的探讨
谈用科研引领高职院校建设
关于《电路》精品课程网络培训的思考
新课程理念下计算机课堂教学的三点体会
关于中职实行弹性学习制度保障条件分析
《雨点儿》教学设计
《借生日》第二课时教学设计
《借生日》第二课时教学设计
《借生日》教学案例
《借生日》教学举例
《一次比一次有进步》教学设计
《雪地里的小画家》教学设计
《雪地里的小画家》教学设计
《雪地里的小画家》教学设计
《雪地里的小画家》教学设计
《借生日》教学举例
《自己去吧》教学设计
《借生日》教学设计
16《小松鼠的花生》教学设计
《雪地里的小画家》教学设计