不完全信息系统的理论研究

第一章 绪论	第1-16页
·引言	第10页
·不完全信息数据库	第10-13页
·SQL 语言的研究	第13-14页
·SQL 中的空值问题	第13-14页
·SQL 的形式语义	第14页
·中介逻辑系统	第14-15页
·本文的主要研究内容	第15-16页
第二章 SQL 语言和中介逻辑谓词演算系统	第16-24页
·SQL 语言的研究	第16-19页
·SQL 中的空值	第16-17页
·SQL 应用方面对空值的处理	第17-18页
·SQL3 标准对NULL 的扩充处理	第18-19页
·中介逻辑谓词演算系统MFM	第19-23页
·MFM 系统简介	第19-21页
·MFM 中的定理	第21-23页
·MFM 系统的可靠性和完备性	第23页
·小结	第23-24页
第三章 SQL 查询的修改与实现	第24-37页
·SQL 处理空值存在的问题	第24-25页
·MAYBE 操作符的引入	第25-26页
·SQL 查询的修改	第26-28页
·不完全信息数据库查询的实现	第28-36页
·小结	第36-37页
第四章 SQL 查询的形式语义	第37-46页
·可能信息的SQL 查询	第37-39页
·简单查询	第37页
·嵌套查询	第37-39页
·三值元组关系演算MFPC	第39-40页
·SQL 查询的语法	第40-43页
·SQL 语义的形式化	第43-45页
·小结	第45-46页
第五章 中介逻辑系统 MFM的表推演系统	第46-56页
·引言	第46页
·表推演的基本概念	第46-48页
·中介命题演算系统MF~M 的表推演系统	第48-50页
·MF~M 表推演系统的可靠性与完备性	第50-55页
·小结	第55-56页
第六章 总结	第56-57页
致谢	第57-58页
攻读硕士学位期间研究成果	第58-59页
参考文献	第59-61页