-
题名空值在多重集合关系中的处理
被引量：1
- 1
-
-
作者
郭咏科
毛宇光
向日锋
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机与现代化》
2017年第2期78-82,共5页
-
文摘
数据库分别采用空值和重复元组模拟现实世界中的不完全信息和重复实体。现有的数据库大多允许返回多重集合作为查询结果,却仍采用传统集合关系基础上拓展的数据模型处理空值,这给数据库带来安全隐患。为了形式化地描述空值在多重集合关系中的行为,基于空值的Unknown解释,本文提出新的逻辑联结词ψ,对Kleene三值逻辑系统进行扩充,在空值环境下重新定义多重集合关系并扩充了标准多重集合关系代数。此外,还证明了代数运算满足的性质,如:结合律、分配律,这对查询优化有着重要意义。扩充后的标准多重集合关系代数可以用来作为处理数据库空值的抽象查询语言。
-
关键词
空值
关系代数
三值逻辑
多重集合关系
-
Keywords
null
relational algebra
three-valued logic
multi-set relation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名关系数据库不可用空值的查询与处理
被引量：1
- 2
-
-
作者
郭咏科
毛宇光
向日锋
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算技术与自动化》
2017年第3期146-150,共5页
-
文摘
现有的基于关系数据模型的商业数据库采用空值对缺失信息进行建模与处理,然而,单一的空值解释无法体现空值本身的丰富语义。事实上,在相关研究中空值通常被解释为‘值未知’,‘值不可用’以及‘值不存在’等。文中主要研究不可用空值的查询与处理。通过仔细地观察和深刻地理解,分别在传统关系数据库查询和模糊数据库查询中讨论不同语义背景和查询条件下不可用空值的处理和分类。此外,还针对涉及不可用空值的传统关系数据库查询提出选择运算和差运算算法,这些算法使文中的研究更具实用性。
-
关键词
空值
模糊数据库
关系数据库
查询
不可用信息
-
Keywords
null values
fuzzy database
relational database
querying
inapplicable information.
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于WEHG模型的GUI软件测试用例生成方法
- 3
-
-
作者
向日锋
毛宇光
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机与现代化》
2018年第4期26-31,共6页
-
文摘
图形用户界面(GUI)是底层代码的前端表示。针对基于现有的模型生成的测试用例集不能尽快找到软件缺陷的问题,本文从代码层和界面层出发对待测程序进行分析,提出一种GUI测试模型WEHG,该模型的特点是:1)根据事件处理函数中定义变量和引用变量的数量和给对应的节点设置权重值,从而保证拥有更多变量的节点能够优先生成测试用例;2)根据事件处理函数的定义-引用对给节点之间的依赖关系设置依赖值,使依赖度高的节点能够优先加入测试序列中。对比实验结果表明,该方法能够更快地发现软件中的缺陷,提高测试用例的缺陷探测效率,降低软件测试的成本。
-
关键词
图形用户界面
测试用例生成
软件测试
-
Keywords
graphic user interface
test cases generating
software testing
-
分类号
TP511
[自动化与计算机技术]
-
