NDBS：一个非单调数据库系统

1.引言自七十年代末期,Gallair等人首先从一阶谓词逻辑角度给出了关系数据库的模型论和证明论模型,奠定了逻辑成为数据库的理论基础。根据模型论观点:查询和完整性限制被视为在真值语义下的解释环境中的求值;根据证明论观点:查询和完整性限制均为待证明的定理。而且基于逻辑的数据库研究促进了人工智能与数据库的相互渗透,推动了数据处理与知识处理的统一。