含有全部值语义的SQL查询-计算机系统应用.PDFVIP

2010 年 第 19卷 第 1 期 计 算 机 系 统 应 用 含有全部值语义的SQL 查询① 邢 泉 (浙江工业大学 之江学院 经贸管理分院 浙江 杭州 310024) 摘 要： SQL 语句在表达具有全部值语义时需要使用谓词 NOT EXISTS 构建复杂的多层嵌套结构，学习者学 习起来难度大，易出错。元组关系演算可以充分表达全部值语义，通过应用实例探讨了元组关系演 算表达式转换为 SQL 语句的转换规则，对学习 SQL 语句者非常有帮助。 关键词： SQL 元组关系演算 全称量词 存在量词 转换规则 SQL Queries with Full Values XING Quan (School of Financial Trade, Administration of Zhijiang College, Zhejiang University of Technology of China, Hangzhou 310024,China) Abstract ： SQL phrases require the use of predicate NOT EXISTS to construct complicated nested query in order to express the full value meaning. Practitioners find it very difficult to write and easy to make errors. Tuple relational calculus can fully express such meaning. This paper uses examples to discuss and demon strate transformation rules when transforming a tuple relational calculus expression to a SQL query, which is very helpful to SQL query learners. Keywords ：SQL; tuple relational calculus; universal quantifier; existential quantifier; transformation rules SQL 作为关系数据库的标准语言，由于没有运算 ② 是全称量词，是存在量词，公式(s)(P1(s)) 符可以直接表达全部值的语义，因此需要使用 NOT 表示对于所有元组 s 都使得公式 P1 为真， EXISTS 谓词写出非常复杂的嵌套查询语句。关系运算 (s)( P1(s))表示不存在元组 s使得公式 P1不为真， 中的关系代数语言没有可以直接转换为SQL 语句的转 由此可见(s)(P1(s))等价于(s)( P1(s))。 换规则，但是关系代数表达式可以等价地转换到元组 ③ ∨是逻辑‘或’运算符，∧是逻辑‘与’运算 表达式，而元组关系演算中的约束元组变