全称量词查询的表示和实现.pdf

维普资讯 1997~，第17卷，第3期 微型计算~0~(Microcomputer) №．3，V。1．17，1997 ，-摘要：拳吏探讨了聋称量词圭询的赛詹，特仝称量向查询分为比较型和存在型两种彤式 文章 夯析 存在型量词查询的辽辑基础，介绍了嵌套否定存在谓词表示法、分蛆计数法和HASH岳 文 章量后 比较 效率。 关键词 一 ， 引盲 商 在日趋复杂的数据库应用领域，数据统计和分 从逻辑学的角度看，叠称量 公式可以转换成 析工作越来越多，大量的全称量词查询不断涌现出 否定的存在量词公式．即： 来。如在一十学校的教学管理系统中．查询各门功课 Resu1t一{xI—， Y(Y∈St(xty)古R))。 成绩皆在80分以上的学生姓名，查找选修所有计算 (x，y)苦R等价于在R中查询元组 (xt)的结 机课程的学生等等。 果为空集 中，因而 NOTEXISTS中为真．如果有 编写复杂的全称量词查询语句颤夸人伤神。[1] (x，y)告Rt则找到丁 Y(x．y)∈R的反例Y．如 中提出了一种FORALL谓词表示法．期望能够找到 果x∈Result，表明不存在这种反例，这可卧用另一 一 种直观的SQL语句描述。但是对所有的全称量词 十 N0TExs【TS谓词来表示 查询 皆套用这一模式并不合适。从效率上讲， 2．矩阵法 FORALL谓词是用嵌套的NOTEXISTS谓词来实 设 R(x，y)一{xItx!t…tx}ts(y)一{y1，yi， 现的。在大数据量的系统中．DBMS完成这种相关嵌 …，h)我们可以构造一个m×n的0．1矩阵M 来表 套查询要花费很长时间。 示 (x．y)是否属于R。设 (·一1，…，m)对应矩阵的 事实上，同一查询 目标往往有多种语义上等价 第j行，yj( 1．…，n)对应矩阵的第 j列。如果 (， 的表示方法。DBMs所能发挥的优此能力在很大程 yI)∈R，则置Mu为1，否则置M沩 0。 度上依赣于编写的查询语句0】。 本文认为全称量词查询可以归结为 比较型”和 1 0 -·- 1 “存在型 两种形式。存在型全称量词等价于嵌套的 】 1 … 1 否定存在谓词。除此之外．它的实质还可以用矩阵来 表示。这一逻辑基础不仅使用户易理解全称量词查 O 1 … 0 询，而且为DBMS的开发者研制高效率的实现方法 指明了方向。 图1 存在型全称量词查诲的矩阵 二，圭称量词查询的实质 显然t如果该矩阵的第j行的各列垒是1，则 x， 一 般地，全称量词查询可以表示成；Result={x ∈Result。 IyP(xty)}，其中x是查询结果对象．P(x，y)表示 全称量词查询的矩砗意卫，为揭示新曲计算和 某种条件谓词。条件谓词可以分为两种类型，一类是 优化方法指明了方向。 比较型，如所有课程成绩大于8O分．这类查询可以用 z_1 分组计数法 SQL语言中的quantfiied谓诃来表示f男一种是存 在构造矩阵时，可以运行考虑x，是否属于 Re— 在型，如选修所有的计算机课程，即要判断在某十关