-
题名一种支持次协调数据库的UcQL语言
被引量：6
- 1
-
-
作者
黄慧
毛宇光
刘正涛
-
机构
南京航空航天大学信息科学与技术学院
南京大学计算机软件新技术重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第10期158-161,共4页
-
基金
国家自然科学基金资助项目(编号:60473036)
-
文摘
次协调数据库的数据模型用来处理数据库中两类不确定信息,即不完全信息和不一致信息(又称矛盾信息)。论文基于这样的数据模型,提出了次协调数据库的UcQL语言,作为用户与次协调数据库管理系统之间进行语义交换的桥梁,很大程度上体现了次协调数据库处理不确定信息的特点。此外,论文基于四值逻辑新定义了谓词EXISTS及UN-KNOWN,并给出带有此类谓词的查询算法,从而以丰富灵活的语法支持了各种相关技术。
-
关键词
次协调数据库
关系运算
四值逻辑
UcQL语言
-
Keywords
paraconsistent database,relation operator,four-valued logic,UcQL
-
分类号
TP311.131
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于时区的次协调数据库的完整性约束及模型
被引量：3
- 2
-
-
作者
黄慧
毛宇光
-
机构
三江学院计算机科学与工程学院
南京航空航天大学信息科学与技术学院
南京大学计算机软件新技术重点实验室
-
出处
《计算机应用与软件》
CSCD
北大核心
2014年第3期22-26,共5页
-
文摘
传统次协调数据库用来处理数据库中不完全信息和矛盾信息。但如果随着时间的推移,历史的数据无法保存并进行查询,基于这种情况,引入时区的概念,提出基于时区的次协调数据库模型。讨论在时区情况下数据库的完整性约束问题,重新定义模型之上的集合运算及关系运算,给出这种新模型的应用。
-
关键词
次协调数据库
四值逻辑
时区
完整性约束
时态模型
-
Keywords
Paraconsistent database Four-valued logic Time-span Integrity constraint Temporal model
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名基于多重集的次协调数据库的研究
被引量：1
- 3
-
-
作者
黄慧
毛宇光
-
机构
南京航空航天大学信息与科学技术学院
-
出处
《计算机应用》
CSCD
北大核心
2005年第B12期183-185,共3页
-
文摘
基于次协调数据库的数据模型,引入多重集的概念,并对这样的次协调关系重新定义选择、投影、连接等运算来找到矛盾信息,进而根据矛盾信息以及新定义的集函数decision做出相应的决策以解决矛盾,从而扩展了这种数据库模型的应用。
-
关键词
次协调数据库
关系运算
四值逻辑
多重集
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于时态的次协调数据库的研究
被引量：1
- 4
-
-
作者
黄慧
毛宇光
-
机构
三江学院计算机科学与工程学院
南京航空航天大学信息科学与技术学院
南京大学计算机软件新技术重点实验室
-
出处
《微电子学与计算机》
CSCD
北大核心
2012年第12期124-128,132,共6页
-
文摘
基于时态的次协调数据库的数据模型是用来处理以时间为推移的数据库中不完全信息和矛盾信息.本文基于这样的数据模型,首先,提出三史制和超期数据转移算法及时间点抽取算法,这些算法可用于处理大量的过期数据,同时使用双向链表存储此类数据;其次,提出基于时态的次协调数据库查询语言(TPQL)实现此种数据库的相关查询与操作功能.
-
关键词
次协调数据库
四值逻辑
时态
三史制
双向链表
TPQL语言
-
Keywords
paraconsistent database
four-valued logic
temporality
three historical segments
doubly linked list
TPQL
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种解决次协调数据库中无限关系的方法
被引量：1
- 5
-
-
作者
应毅
-
机构
三江学院计算机科学与工程学院
-
出处
《云南民族大学学报（自然科学版）》
CAS
2011年第3期177-181,共5页
-
基金
三江学院创新工程(200905)
三江学院创新计划(XJ201033)
-
文摘
次协调数据库的数据模型是用来处理数据库中两类不确定信息,即不完全信息和不一致信息(矛盾信息).次协调关系模型上的代数运算是普通关系上的代数运算的扩展,但由于次协调关系的特殊性,在其上的代数运算会产生无限关系,因此,以次协调关系为基础的DBMS必须能够表示和操纵无限关系.首先介绍了无限关系以及几种常见的解决方法,然后提出了一种新的元组扩展的方法以避免无限关系的出现,从而为次协调数据库的应用打下坚实的基础.
-
关键词
次协调数据库
4值逻辑
无限关系
元组有效扩展
-
Keywords
paraconsistent database
four- valued logic
infinite relations
effective extension of tuple
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于时态的次协调数据库性质与查询优化
- 6
-
-
作者
黄慧
-
机构
三江学院计算机科学与工程学院
-
出处
《计算机与现代化》
2013年第5期52-56,共5页
-
文摘
为了处理以时间为推移的数据库中不完全信息和矛盾信息,学术界提出了基于时态的次协调数据库的数据模型。本文基于此模型,初步讨论并给出关系运算符的相关性质,根据建立的关系运算符的若干性质对查询语句优化,从而提升查询速度。
-
关键词
次协调数据库
四值逻辑
时态
查询优化
-
Keywords
paraconsistent database
four-valued logic
temporality
query optimization
-
分类号
TP311.131
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Vague集的次协调数据库的研究
- 7
-
-
作者
黄慧
毛宇光
-
机构
三江学院计算机科学与工程学院
南京航空航天大学信息科学与技术学院
南京大学计算机软件新技术重点实验室
-
出处
《计算机工程与应用》
CSCD
2013年第20期103-107,共5页
-
文摘
次协调数据库的数据模型是用来处理数据库中不完全信息和矛盾信息。基于这种数据模型,将Vague集的概念引入,并基于新模型重新定义选择、投影、连接及decision等运算,再使用基于Vague集的次协调数据库的查询语言(PQL)查询矛盾信息并作出决策以解决矛盾,从而扩展了传统次协调数据库模型的应用。
-
关键词
次协调数据库
VAGUE
不一致信息
PQL语言
-
Keywords
paraconsistent database
Vague
inconsistent information
PQL language
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名次协调数据库中的域关系演算
- 8
-
-
作者
应毅
-
机构
三江学院计算机科学与工程学院
-
出处
《微计算机信息》
2012年第1期181-183,180,共4页
-
文摘
次协调数据库的数据模型是用来处理数据库中两类不确定信息,即不完全信息和不一致信息(矛盾信息)。关系演算语言是表达关系数据模型中的数据操作的一种方式。域关系演算是以域为变量进行的关系演算。文中提出了一种4值的域关系演算来查询次协调数据库,它的语法与普通关系上的2值域关系演算相似,但是这种新的4值语义能够有效的查询不完全信息和不一致信息。这为次协调数据库中的类SQL语言及实现提供了理论依据,进而为次协调数据库的应用打下坚实基础。
-
关键词
次协调数据库
4值逻辑
域关系演算
-
Keywords
paraconsistent database
four-valued logic
domain relational calculus
-
分类号
TP311.131
[自动化与计算机技术—计算机软件与理论]
-
