含有空值关系数据库的查询处理-瓣亏壹匆巡暹.pdfVIP

维普资讯 第 32卷 第 9期 计 算 机 研 究 与 发 展 V0_【32 No．9 1995年 9月 C0MPUTER RESEARCH ＆DEVELOPMENT Sept+ 1995 弓＼～3毛 含有空值关系数据库的查询处理 趱 (中国科学豌沈阳自动化研究所，沈阳 110015) 严 丽 弋 ＼，＼ (辽宁工运学院经瞥系，沈阳 ii0168) 摘 要 本文在深刻理解空值语义的基础上，给 出一种处理 占住型空值的方法。讨论 了 空值环境下关系数据库的查询蓑略，定义了含三种查询操作的关系代数最小完备集中的 关系代数运算，并对查询计算的有效性和完备性进行了分析。 关键词 !丝，差墨塾丝 ，关系代数，查询，有效性，完备性a 瓣亏 壹匆巡暹 1 引 言 当关系数据库中有空值存在时，由于空值语义的不确定性，使得不完全元组对查询条件具有 不同确定程度的满足性。为了得到不同有效程度及不同完备程度的查询回答，必须对查询工具关 系代数 ，在空值环境下加以扩充，以实现用户对关系数据库的各种查询要求。 2 基本知识 本文采用[3]中的空值语义、空值分类及空值记法，把空值分成不存在型空值、存在型空值和 占位型空值．并分别用 矿、 和 一表示 对于 ，必有一个取值范围与之对应 ，文中用range ( )表示 。的语义范围。若 。是属性 A上的空值，则有 range(中)~DOM(A)。 空值之间，完全元组之间均有等价和相容的关系，等价用 表示 ，相容用丰表示 (不等价和不 相容则分别用 和丰 表示)。有关等价及相容的定义见[3]。规定，所有的 。都是等价的，两个不 等价的存在型空值用不同的下标加以区别，可分别记作 和 (停 )(等价的存在型空值取相同 的下标) 占位型空值 一可能为矿，也可能是 ‘，故对于属性 A上的 一，其取值范围是 {旷JU DOM (A)。不同取值范围的占位型空值也用不同的下标加以区分。 当空值引入关系模型之后，经典关系数据库中的算珠运算、关系运算及逻辑运算的运算规则 已不适用 文中采用E．F．Codd的三值逻辑(true，false，maybe))，按[2]中定义的运算规则完 成上述三类运算。 本文于 1993年 10月收到。本文系国家 自然科学基金资助项 目。马亲民，1965年生，1988年毕业于东北重型机撼学院计算 机与应用专业，1993年于该控获计算机与应用专业的硬士学位，现在中科院沈阳自动化所工作 ，参加国家 869计划CIMS项 目 的开发与应用。，l 盯，讲师，1986年毕业于大连轻工学院．主要从事关系数据库的应用及教学工作。 维普资讯 ·32 · 计算机研究与发展 3 占位型空值的处理 在三种类型的空值 中，矿和 甲 由于其语义较确定，因而较容易处理。但 由于它可能为 ， 也可能取相应属性值域中的任一值，且当前无法确定它是哪种情况，故 占位型空值较难处理。以 往有关查询处理的研究文章或避开 占位型空值 ，或单纯地把 一理解成 或 ，这样的处理带有 片面性，得到的查询回答不是不完全就是含有不满足查询条件的元组。 实际上，从 占位型空值的语义出发，把 理解成 旷或 都是可以的，问题的关键是什么时 候把 一当作 处理，什么时候把 当作 来处理，并且应当把对 一不同理解下的处理结果区 分开来，这就与本文接下来要讨论的查询策略有关了 需要说明的是，当把一个 甲一当作 ’处理时，它的语义范围应 当是该 一对应的属性值域。 4 查询策略 文中定义三种操作：definite、indefinite和Maybe，其中前两种操作是把查询计算表达式中的 占位型空值理解成矿来处理，最后一种操作则是把查询计算表