基于时区的次协调数据库的完整性约束及模型  

INTEGRITY CONSTRAINTS OF TIME-SPAN BASED PARACONSISTENT DATABASE AND ITS MODEL

作　　者：黄慧[1] 毛宇光[2,3] 

机构地区：[1]三江学院计算机科学与工程学院,江苏南京210012 [2]南京航空航天大学信息科学与技术学院,江苏南京210016 [3]南京大学计算机软件新技术重点实验室,江苏南京210093

出　　处：《计算机应用与软件》2014年第3期22-26,共5页Computer Applications and Software

摘　　要：传统次协调数据库用来处理数据库中不完全信息和矛盾信息。但如果随着时间的推移,历史的数据无法保存并进行查询,基于这种情况,引入时区的概念,提出基于时区的次协调数据库模型。讨论在时区情况下数据库的完整性约束问题,重新定义模型之上的集合运算及关系运算,给出这种新模型的应用。Traditional paraconsistent database is used to deal with incomplete information and contradicted data in database. With the time going on, however, it fails to store and query the data that vary over time. In this case, the concept of time-span is introduced in this article, and the model of paraconsistent database based on time-span is presented. Moreover, the integrity constraint issue of the database under the circumstance of time-span is discussed as well, and the set operation as well as the relational operation are redefined based on the model, and the new model is put into application.

关 键 词：次协调数据库 四值逻辑 时区 完整性约束 时态模型 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]