不完全信息数据库与 SQL 语言的语义是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且还具有很高的应用价值。本文借助中介逻辑谓词演算系统 MFM,对不完全信息系统的理论和应用进行了研究。为了更好地处理不完全信息数据库的查询,在对目前数据库处理空值所存在的问题进行分析的基础上,对 SQL 查询进行了修改和扩充,构造了针对不完全信息数据库的查询语言,使之能够比较正确地处理不完全信息。同时,本文将 SQL 查询结果分为确定信息和可能信息两种类型,并针对产生不同结果的 SQL 查询进行描述,并且在 Linux系统下,通过使用 Yacc 语法分析工具和 Lex 词法分析工具实现了不完全信息数据库基本的查询功能。其次,以 MFM 为理论基础,构造了一个针对可能信息的SQL 查询的形式的三值元组关系演算 MFPC,在对此演算进行构造的基础上通过语法转化规则把 SQL 查询转化为 MFPC,从而完整地定义了 SQL 查询的形式语义。最后,建立了中介逻辑谓词演算系统 MFM的表推演系统,并证明了该系统的可靠性和完备性,该系统可作为不完全信息的自动推演系统。