摘要
传统次协调数据库用来处理数据库中不完全信息和矛盾信息。但如果随着时间的推移,历史的数据无法保存并进行查询,基于这种情况,引入时区的概念,提出基于时区的次协调数据库模型。讨论在时区情况下数据库的完整性约束问题,重新定义模型之上的集合运算及关系运算,给出这种新模型的应用。
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.
出处
《计算机应用与软件》
CSCD
北大核心
2014年第3期22-26,共5页
Computer Applications and Software
关键词
次协调数据库
四值逻辑
时区
完整性约束
时态模型
Paraconsistent database Four-valued logic Time-span Integrity constraint Temporal model
