基于视图机制和分组统计实现SQL中全称量词的转换.pdfVIP

实践与经验 文章编号 ： （ ） ： 1007-1423 2014 16-0042-03 DOI 10.3969/j.issn.1007-1423.2014.16.011 基于视图机制和分组统计实现 SQL 中全称量词的转换 杨艳 1 赵 雪琴 2 ， （1. 中原工学院 ，郑州 450007 ； 2. 郑 州大学西亚斯国际学院 ，新郑 451150 ） 摘 要 ： 语言不支持全称量词 ，当查询涉及 全部 语义时 需要将全称量词等价转换为存在量词 转换及量词的使用都是 SQL “ ” ， ， 难点 需要有相关的逻辑推理及思维能力 从而使程序员难以理解 基于视图机制和分组统计来实现对全称量词的对 ， ， 。 应语义的转换 ，思路清晰 ，容易掌握 。 关键词 ： 全称量词 ； 等价转换 ； 视图 ； 分组统计 0 引言 表 1 符 号意义表 SQL是关系数据库的标准语言 ， 具有丰富的查询 功能 。在 SQL 中不支持表示 “所有 ”、“全部 ”对应的全称 量词 ，提供表示存在量词的 exists 谓词 。 因此遇到查询 条件涉及 “全部 ”语义的查询时 ，一般教材或资料提供 根据离散数学中的等值公式 ，该命题进行等值演算 的方法是将带有全称量词的谓词转换成等价的带有存 可以转换为如下的等价形式 ： 在量词的谓词 ， 根据转换结果写出对应的复杂 SQL 语 （ 坌y ）p→q ≡（ 埚y （劭 （p→q ）） ≡劭 （ 埚y （劭 （劭p ∨q ） ≡ 埚y 句 。 这个转换过程是一个难点 ，给不熟悉逻辑的人带来 （p ∧劭q ） 了困难 ，因此本文提出另外一种方法 ，利用 SQL 中 的 视图及表进行自然连接 ，然后分组统计 、筛选 ，实现了 表达的语义为 ： 不存在这 样 的课程 y,2 号 学生选 涉及 “全部 ”语义的复杂查询 ，从而避免了转换及使用 修了课程 y,而学生 x 没有选 。 该语义对应的 SQL 语 句 为 ： exists 谓词 ，简化了查询的书写 ，有利于程序员的理解 。 Select distinct sno 本文基于表 （ ， ， ）进行分析 、查询 ，该 sc sno cno grade