摘要
次协调数据库的数据模型是用来处理数据库中两类不确定信息,即不完全信息和不一致信息(矛盾信息).次协调关系模型上的代数运算是普通关系上的代数运算的扩展,但由于次协调关系的特殊性,在其上的代数运算会产生无限关系,因此,以次协调关系为基础的DBMS必须能够表示和操纵无限关系.首先介绍了无限关系以及几种常见的解决方法,然后提出了一种新的元组扩展的方法以避免无限关系的出现,从而为次协调数据库的应用打下坚实的基础.
The paraconsistent database is introduced to manipulate two kinds of uncertain information in the database： incomplete and inconsistent. Algebraic operators on the underlying paraconsistent relations of this model are generalizations of the usual ones on ordinary relations. Because of the particularity of paraconsistent relations, the result of algebraic operators can make infinite relations. So, a DBMS based on paraeonsistent relations should be capable of handling infinite relations. Now, a new method of extension of tuple has been developed to avoid the appearance of infinite relations. These results help establish the application of the paraconsistent database.
出处
《云南民族大学学报（自然科学版）》
CAS
2011年第3期177-181,共5页
Journal of Yunnan Minzu University:Natural Sciences Edition
基金
三江学院创新工程(200905)
三江学院创新计划(XJ201033)
关键词
次协调数据库
4值逻辑
无限关系
元组有效扩展
paraconsistent database
four- valued logic
infinite relations
effective extension of tuple
