不完全信息数据库与关系数据库SQL语言的查询处理是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且具有很高的应用价值。本文借助于中介逻辑谓词演算系统MFM,对不完全信息数据库的理论和应用进行了研究。为了更好地处理不完全信息数据库中的查询,在对目前数据库处理空值存在问题进行分析的基础上,根据空值的不同语义,给出了查询结果的两种定义,对SQL查询进行了修改,使之能够比较合理地处理不完全信息。同时针对元组丢失或者是分布式数据库中不完全信息的情况,提出了局部数据库的概念,得出了相应解决方案和相关定义和定理,探讨了不完全信息中查询的完全性、正确性和数据更新操作之间的关系,为解决空值环境下查询的完全性奠定了理论基础,适应了关系数据库中关于数据完整性约束的要求。随后,本文将空值与粗集理论结合起来,讨论了含空值的元组之间的等价和相容的关系,并在此基础上根据决策者不同的要求,定义了三种特征集,在决策支持系统和数据挖掘等方面都有着重要的指导意义。最后,根据德摩根律引进了一个与其他四值逻辑系统中否定联结词不同的新的否定联结词,并建立了一个新的四值逻辑系统,然后讨论了四值逻辑下的比较运算和选择运算。