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" ) )；