一种解决次协调数据库中无限关系方法.docVIP

一种解决次协调数据库中无限关系方法 　　摘要: 次协调数据库的数据模型是用来处理数据库中两类不确定信息，即不完全信息和不一致信息（矛盾信息）.次协调关系模型上的代数运算是普通关系上的代数运算的扩展，但由于次协调关系的特殊性，在其上的代数运算会产生无限关系，因此，以次协调关系为基础的DBMS必须能够表示和操纵无限关系.首先介绍了无限关系以及几种常见的解决方法，然后提出了一种新的元组扩展的方法以避免无限关系的出现，从而为次协调数据库的应用打下坚实的基础.? 　　关键词: 次协调数据库；4值逻辑；无限关系；元组有效扩展? 　　中图分类号:TP 311.13 文献标志码:A 文章编号:1672-8513(2011)03-0177-05 　　?? 　　A Method for Solving the Infinite Relations in the Paraconsistent Database 　　 　　YING Yi 　　? 　　 (College of Computer Science and Technology, Sanjiang University, Nanjing 210012, China) 　　 　　Abstract: 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 paraconsistent 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.? 　　Key words: paraconsistent database; four-valued logic; infinite relations; effective extension of tuple 　　 　　在现实世界里，随处都可遇到不确定信息.例如，对于一个病人判断其是否患有乙肝，主要测试HBsAg这项指标，如果呈阳性则表明病人感染了肝炎病毒.现对这个病人分别做了2次测试，第1次呈阴性，第2次呈阳性，于是矛盾信息就出现了.再如，在测试病人是否患乙肝时，除了测试HBsAg以外，还有其他的指标配合判断，其中有一项是测试病人是否带有乙肝病毒抗体，这项指标对于患了乙肝的病人来说就不重要了，因此数据库中可能会缺失这项指标，这种情况下就产生了不完全信息［1］.[JP]? 　　???常，人们认为数据库中不应该包含不确定信息，使得这种信息一直未被受到重视.目前使用的数据库还不能专门处理这种信息，然而生活中矛盾信息，不完全信息却是很常见的.次协调数据库的产生就是为了解决这样一类问题.? 　　1 次协调关系? 　　次协调逻辑［2］的逻辑性次于经典逻辑，即矛盾性在这种逻辑中不再普遍有效，但又远高于完全不协调系统，即矛盾在这一逻辑系统中不会任意扩散.将次协调逻辑引入到关系数据库系统中，就建立了次协调关系数据库［3］.次协调关系提供了一种在元组级别处理不完全甚至不一致信息的框架结构.[JP]? 　　次协调关系模型以4值逻辑［4-5］为基础，是关系数据模型在4值逻辑上的扩张.比较运算和逻辑运算的结果有4种状态：真（t）、假（f）、未知（┴）、矛盾（┬）.? 　　在次协调关系中，任意一关系?R由一对关系R?+和R?-组成，即R=，其中R?+是关系R上所有被认为是肯定的元组的集合，R?-是关系R上所有被认为是否定的元组的集合.也可以认为：R?+上的元组