-
题名一种支持次协调数据库的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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Vague集的次协调数据库的研究
- 4
-
-
作者
黄慧
毛宇光
-
机构
三江学院计算机科学与工程学院
南京航空航天大学信息科学与技术学院
南京大学计算机软件新技术重点实验室
-
出处
《计算机工程与应用》
CSCD
2013年第20期103-107,共5页
-
文摘
次协调数据库的数据模型是用来处理数据库中不完全信息和矛盾信息。基于这种数据模型,将Vague集的概念引入,并基于新模型重新定义选择、投影、连接及decision等运算,再使用基于Vague集的次协调数据库的查询语言(PQL)查询矛盾信息并作出决策以解决矛盾,从而扩展了传统次协调数据库模型的应用。
-
关键词
次协调数据库
VAGUE
不一致信息
PQL语言
-
Keywords
paraconsistent database
Vague
inconsistent information
PQL language
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
