空值在多重集合关系中的处理.pdf

计 算 机 与 现 代 化 2017年第2期 JISUANJIYU XIANDAIHUA 总第 258期 文章编号：1006—2475(2017)02-0078-05 空值在多重集合关系中的处理 郭咏科，毛宇光，向El锋 (南京航空航天大学计算机科学与技术学院，江苏 南京 211106) 摘要：数据库分别采用空值和重复元组模拟现实世界中的不完全信息和重复实体。现有的数据库大多允许返回多重集 合作为查询结果，却仍采用传统集合关系基础上拓展的数据模型处理空值，这给数据库带来安全隐患。为了形式化地描 述空值在多重集合关系中的行为，基于空值的Unknown解释，本文提出新的逻辑联结词 ，对Kleene三值逻辑系统进行 扩充，在空值环境下重新定义多重集合关系并扩充了标准多重集合关系代数。此外，还证明了代数运算满足的性质，如： 结合律、分配律，这对查询优化有着重要意义。扩充后的标准多重集合关系代数可以用来作为处理数据库空值的抽象查 询语言 。 关键词：空值 ；关系代数；三值逻辑；多重集合关系 中图分类号：TP311 文献标识码：A doi：10．3969／j．issn．1006—2475．2017．02．016 ProcessingofNullValueinM ulti—setRelations GUO Yong—ke，MAO Yu—guang，XIANG Ri—feng (CollegeofComputerScienceandTechnology，NanjingUniversityofAeronauticsandAstronautics，Nanjing211106，China) Abstract：DatabasesuseNullvalueandduplicatetuplestosimulateincompleteinformationandduplicateentitiesinrea1world respectively．Multi-setisallowedtobequery’Sresultinmostofexistingdatabase，however，thesedatabasesstillusedatamodels basedontraditional setrelationstohandleNullvalues．andthatwouldbringhiddendangertodatabasesecurity．Inordertofor— mallydescribeNullvalue’Sbehaviorinmuhi—setrelations，thepaperextendsKleene’Sthree—valuedlogicsystem byaddinga new logicalconnective basedonNull’SUnknown interpretation，redefinesthemulti—setrelationdatamodel，andextendsthe standardrelationalalgebrawithNul1．What’Smore，thispapergivesthedemonstrationanalysisofthealgebrasatisfyingproperties suchasassociatelaw anddistributivelaw．andthismakessensetothequeryoptinfization．Theextendedstandardmulti—setalge— bracanbeusedtohandleNullvalueindatabaseasanabstractquery language． Keywords：null；relationalalgebra；three—valuedlogic；multi—setrelation 量，对 V—Tables中不同位置的未知值加 以区分，而且 0