点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：计算机与现代化

关键字：空值;关系代数;三值逻辑;多重集合关系;

摘要：数据库分别采用空值和重复元组模拟现实世界中的不完全信息和重复实体。现有的数据库大多允许返回多重集合作为查询结果,却仍采用传统集合关系基础上拓展的数据模型处理空值,这给数据库带来安全隐患。为了形式化地描述空值在多重集合关系中的行为,基于空值的Unknown解释,本文提出新的逻辑联结词ψ,对Kleene三值逻辑系统进行扩充,在空值环境下重新定义多重集合关系并扩充了标准多重集合关系代数。此外,还证明了代数运算满足的性质,如:结合律、分配律,这对查询优化有着重要意义。扩充后的标准多重集合关系代数可以用来作为处理数据库空值的抽象查询语言。

是否译文：否

发表时间：2017-03-03

合写作者：郭咏科,向日锋

通讯作者：毛宇光