一、含空值关系数据库中的多值逻辑的研究（论文文献综述）
郭咏科,毛宇光,向日锋[1]（2017）在《关系数据库不可用空值的查询与处理》文中认为现有的基于关系数据模型的商业数据库采用空值对缺失信息进行建模与处理,然而,单一的空值解释无法体现空值本身的丰富语义。事实上,在相关研究中空值通常被解释为‘值未知’,‘值不可用’以及‘值不存在’等。文中主要研究不可用空值的查询与处理。通过仔细地观察和深刻地理解,分别在传统关系数据库查询和模糊数据库查询中讨论不同语义背景和查询条件下不可用空值的处理和分类。此外,还针对涉及不可用空值的传统关系数据库查询提出选择运算和差运算算法,这些算法使文中的研究更具实用性。
郭咏科[2]（2017）在《不完全信息数据库的相关问题研究》文中进行了进一步梳理不完全信息的研究与处理是数据库领域研究的热点之一。现有的大部分商业数据库建立在传统关系数据模型的基础上,对涉及空值的查询处理缺乏形式化定义和统一的理论支撑。这些缺陷在涉及含空值的重复元组和不可用信息的查询时尤为明显,不当的处理方式不仅会造成查询结果的反直觉问题,还可能给数据库安全带来隐患。针对上述问题,本文在传统关系数据模型和几种经典三值逻辑系统的基础上,进行了深入研究,论文主要工作如下:首先,在三值逻辑系统K3的基础上给出一个新的逻辑联结词,并在空值环境下扩展了多重集合关系的定义。在此基础上扩充了标准多重集合关系代数MRA,给出能够处理空值的多重集合关系代数MRAN,并将MRAN应用到查询实例中,提高了研究成果的实用性;其次,分别在传统关系数据库查询和模糊查询中介绍不同语义背景和查询条件下对不可用空值的处理方法,改进了传统关系数据库查询的基础选择运算和差运算算法,并应用到查询实例;对于模糊查询,提出结合可能性真值和标记空值的方法,并在查询实例中展示;最后,介绍了几种经典的三值逻辑系统,并指出它们在处理不完全信息方面的不足。在此基础上给出了一种四值逻辑系统Z4,在一定程度上解决了各种三值逻辑系统对第三值解释不完善的问题。之后,扩充了Z4系统的联结词并证明了其真值完备性,讨论了其相关联结词的性质及其与经典三值逻辑系统之间的关系。还基于该系统提出了比较运算和选择运算的算法,并给出了采用这些运算的查询实例,说明了Z4系统的实用性。
王洋,刘兴丽[3]（2011）在《模糊空值环境下关系型数据库的多值运算的研究》文中研究表明为保证在包含模糊不确定信息的数据库中进行常规的数据库操作,本文研究了包括模糊空值存在的情况下的逻辑值类型、逻辑运算与关系运算进行了深入研究,最后归纳了包含模糊空值的类型以及模糊空值环境下关系数据库中的四值关系运算、四值逻辑运算的运算规则。
王洋,刘兴丽[4]（2010）在《模糊空值环境下关系型数据库的多值运算的研究》文中认为为保证在包含模糊不确定信息的数据库中进行常规的数据库操作,本文研究了包括模糊空值存在的情况下的逻辑值类型、逻辑运算与关系运算进行了深入研究,最后归纳了包含模糊空值的类型以及模糊空值环境下关系数据库中的四值关系运算、四值逻辑运算的运算规则。
吴鹏[5]（2009）在《基于聚类和多重回归的空值估计研究》文中研究指明如今关系数据库理论模型已经近乎完美,各种关系数据库系统被广泛地运用于社会生活的各个领域。传统的关系数据库理论建立在信息完全的基础之上,不允许缺失信息的存在,这和早期的数据库管理系统的处理能力是相适应的。但是由于客观世界的复杂性,信息缺失、不确定信息以及模糊信息是普遍存在的。数据库作为表达现实世界的手段,不可能回避信息缺失问题。本文主要针对关系数据库中的空值估计问题进行研究,探讨了一种基于聚类和多重回归的空值估计方法。该方法首先对数据表中的数据进行挖掘,找出与被估计属性相关联的属性集,同时给出这个属性集对数据的预划分。由于该过程仅利用数据本身提供的消息,而不需要其他任何的先验知识,在保持分类能力不变的前提下,通过知识约简,得到相关联的属性,这样得出的条件属性比较客观,避免了由专家决定条件属性时由于主观性造成的一定误差。其次根据所得预划分作为初始化进行聚类,再基于所得分簇和多重回归给出一个估计关系表中空值的方法。由于该过程中采用自动聚类的思想,有目的地通过一定的调整步骤获得各聚类,再使用拟合回归的方法逼近原分布函数,估值的结果具有较高的准确率。最后利用平均绝对误差率来衡量算法估值的准确率,并给出了算法的主要实现步骤和流程。
王新玲,白尚旺[6]（2008）在《基于4VL不完全信息数据库选择运算的研究》文中认为在含有不完全信息的数据库环境下,为了保证用户能够根据一般条件表达式得到不同确定程度的查询结果,以空值两种语义下的四值逻辑作为处理不完全信息的基础,以四值逻辑的比较运算和逻辑运算结果作为判断条件表达式成立的依据,给出了在不同的查询求解策略下选择运算的实现算法。
王新玲[7]（2008）在《空值关系模型在土地资源管理系统中的研究》文中研究说明空值关系模型用来对关系数据库中暂时未知的、不确定的或模糊的信息进行表示和处理。由于关系数据库是建立在经典集合论与二值逻辑的基础之上的,当需要对含有空值的不完全数据库进行查询时,不能正确地处理不完全信息,因此,查询结果与现实世界的要求不相符合。关系数据库中加入了空值模型后,由于不同类型的空值可以描述现实世界中的不同情况,因此,关系数据库表达数据的能力得到增强,使得查询结果能够更准确更合理地反映客观世界的本来面目。可见,对不完全信息数据库的理论以及针对不完全信息数据库的应用进行研究具有重要的意义。本文主要针对空值以及空值在信息系统中的应用进行研究。首先介绍了空值的定义、来源与分类;接着讨论了SQL语言中的空值、以及SQL语言在处理空值时存在的问题;同时探讨了空值对SQL谓词、量词、聚集函数的影响。其次,研究了对不同类别的空值进行处理的三值逻辑和四值逻辑;着重探讨了四值逻辑及其比较运算和逻辑运算的运算规则,同时提出了三种查询策略下的选择运算的实现算法。最后,在分析用户需求的基础上,进行了数据库的概念和逻辑结构设计,并提出了系统的物理模型。本系统采用特殊值法对不存在型空值进行处理;针对存在型空值,采用推理法和默认值法相结合的方法进行处理;而未知型空值,则根据关系中属性代表的实际意义,把未知型空值转换成存在型或者不存在型空值进行处理。对空值做查询操作时,本系统在确切满足和可能满足两种查询求解策略下,根据四值逻辑的运算规则,决定条件表达式是否成立。系统采用Sybase公司的PowerDesigner作为分析设计平台,采用MS SQL Server2000作为后台数据库管理系统,采用J2EE和JSP作为系统的开发工具,通过快速原型的软件工程方法,研制了山西省国土资源厅土地资源管理系统,研究表明:在关系模型中加入空值,可以描述土地资源中的未知信息,并能真实地反映正在使用的土地资源的实际情况,表明了空值关系模型在土地资源管理系统中的有效性。
张浩庭[8]（2007）在《关系数据库的空值研究》文中提出空值的研究是关系数据库领域的一个重要研究方向,具有重要的理论价值和应用价值。经典的二值逻辑和多值逻辑在空值的表示和处理上仍有不足,随着模糊数学理论体系的建立,人们在空值环境下的关系数据库中引入了模糊数学理论。模糊数据库是指能够处理模糊信息的数据库,它为空值的处理提供了一条重要的途径。目前模糊数据库技术是以L. A. Zadeh所提出的Fuzzy集为理论基础的,由于Vague集在表达模糊信息方面的能力比Fuzzy集强,所以基于Vague集的模糊数据库研究应具有更广阔的应用前景。本文首先介绍了空值研究和模糊数学的国内外研究现状和发展情况,着重介绍了模糊数学中Vague集理论的基本概念和基本性质,接着将Vague集理论的基本思想和方法引入到空值环境下关系数据库的研究当中,提出了一种以Vague集表示的空值形式—Vague空值,并讨论了Vague空值环境下模糊关系数据库的关系模式以及广义关系操作。本文的后续部分探讨了一种基于粗糙集理论的空值估计方法,该方法首先对数据表中数据进行挖掘,找出约简后的与被估计属性相关联属性集,依据这个属性集对数据表进行划分,再对划分得到的每一个簇给出各自的估计空值的方法,从而对空值进行估计。此方法的优点是仅利用数据本身提供的信息,而不需要其它任何的先验知识,在保持分类能力不变的前提下,通过知识约简,得到相关联的属性,所以用粗糙集的理论和方法对空值进行估计可以说是比较客观的。
岳雪梅[9]（2007）在《不完全信息数据库的理论及应用研究》文中进行了进一步梳理不完全信息数据库与关系数据库SQL语言的查询处理是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且具有很高的应用价值。本文借助于中介逻辑谓词演算系统MFM,对不完全信息数据库的理论和应用进行了研究。为了更好地处理不完全信息数据库中的查询,在对目前数据库处理空值存在问题进行分析的基础上,根据空值的不同语义,给出了查询结果的两种定义,对SQL查询进行了修改,使之能够比较合理地处理不完全信息。同时针对元组丢失或者是分布式数据库中不完全信息的情况,提出了局部数据库的概念,得出了相应解决方案和相关定义和定理,探讨了不完全信息中查询的完全性、正确性和数据更新操作之间的关系,为解决空值环境下查询的完全性奠定了理论基础,适应了关系数据库中关于数据完整性约束的要求。随后,本文将空值与粗集理论结合起来,讨论了含空值的元组之间的等价和相容的关系,并在此基础上根据决策者不同的要求,定义了三种特征集,在决策支持系统和数据挖掘等方面都有着重要的指导意义。最后,根据德摩根律引进了一个与其他四值逻辑系统中否定联结词不同的新的否定联结词,并建立了一个新的四值逻辑系统,然后讨论了四值逻辑下的比较运算和选择运算。
曹汝鸣[10]（2006）在《不完全信息数据库的理论研究》文中研究指明不完全信息数据库是数据库领域的重要研究方向,不仅具有重要的理论价值,而且还具有重要的应用价值。目前尚没有一个完善的理论体系为不完全信息的表示和处理提供理论支撑。中介逻辑命题演算系统MPM和中介逻辑谓词演算系统MFM是在改造原有的中介逻辑系统的基础上提出的一种新的逻辑系统,该逻辑系统特别适用于处理不完全信息,可以作为处理不完全信息的理论基础。本文通过对MPM中介逻辑命题演算系统进行代数抽象,建立了一个新的代数系统,讨论了该代数系统的性质,并利用该代数系统的代数性质构造了中介命题演算系统MPM上的一个公理完备集合,使用该公理集合可以方便的推导出MPM上的等值和互推公式,这对于处理不完全信息数据库的查询优化有着重要作用。随后,本文在概率空间的基础上,将命题真度的概念引入MPM中介命题逻辑系统中,并讨论其上的一些性质,证明一般真度MP规则和HS规则在MPM中介命题逻辑系统中是成立的。最后,本文对经典的三值逻辑进行了总结,在此基础上提出了一个四值逻辑系统,扩充了该系统的连接词,并讨论了该系统的一些代数性质。
二、含空值关系数据库中的多值逻辑的研究（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、含空值关系数据库中的多值逻辑的研究（论文提纲范文）
（1）关系数据库不可用空值的查询与处理（论文提纲范文）
| 1 引言 |
| 2 相关背景和研究 |
| 2.1 传统方法 |
| 2.2‘模糊’方法 |
| 3 不可用信息的查询处理 |
| 3.1 传统数据库查询 |
| 3.2 模糊数据库查询 |
| 4 结束语 |
（2）不完全信息数据库的相关问题研究（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 注释表 |
| 缩略词 |
| 第一章 绪论 |
| 1.1 引言 |
| 1.2 国内外研究现状及选题依据 |
| 1.2.1 国内外研究现状 |
| 1.2.2 选题依据 |
| 1.3 本文的主要研究工作 |
| 1.4 本文的组织结构 |
| 第二章 相关理论研究 |
| 2.1 传统关系数据模型 |
| 2.2 多值逻辑的发展 |
| 2.3 扩充的关系数据模型 |
| 2.3.1 关系结构的定义与扩充 |
| 2.3.2 运算符的定义与扩充 |
| 2.4 多重集合关系 |
| 2.4.1 多重集合关系实例 |
| 2.4.2 多重集合关系的定义 |
| 2.5 模糊数据库和模糊查询 |
| 2.5.1 模糊数据的表示 |
| 2.5.2 模糊数据库 |
| 2.5.3 模糊查询和相关技术 |
| 2.6 本章小结 |
| 第三章 空值在多重集合关系中的处理 |
| 3.1 考虑空值的多重集合关系定义 |
| 3.2 新的逻辑联结词 |
| 3.3 标准多重集合关系代数扩充 |
| 3.3.1 传统的标准多重集合关系代数 |
| 3.3.2 处理空值的多重集合关系代数 |
| 3.4 代数系统的性质和证明 |
| 3.5 多重集合关系代数的应用 |
| 3.5.1 数据操纵语言 |
| 3.5.2 事务的定义与性质 |
| 3.6 本章小结 |
| 第四章 不可用空值的查询处理 |
| 4.1 不可用空值 |
| 4.2 不可用空值的处理方法 |
| 4.2.1 传统关系数据库查询方法 |
| 4.2.2 模糊查询方法 |
| 4.3 传统查询方法改进 |
| 4.3.1 选择运算算法改进 |
| 4.3.2 差运算算法改进 |
| 4.4 模糊查询方法改进 |
| 4.5 本章小结 |
| 第五章 用于不完全信息数据库的四值逻辑拓展 |
| 5.1 三值逻辑的不足 |
| 5.2 四值逻辑系统的构造 |
| 5.3 四值逻辑系统的扩充 |
| 5.3.1 四值逻辑系统联结词的扩充 |
| 5.3.2 四值逻辑系统联结词的性质 |
| 5.3.3 四值逻辑系统与三值逻辑系统的关系 |
| 5.4 四值逻辑系统的应用 |
| 5.4.1 基于四值逻辑的比较运算 |
| 5.4.2 基于四值逻辑的选择运算 |
| 5.5 本章小结 |
| 第六章 总结与展望 |
| 6.1 论文工作总结 |
| 6.2 未来工作展望 |
| 参考文献 |
| 致谢 |
| 在学期间的研究成果及发表的学术论文 |
（5）基于聚类和多重回归的空值估计研究（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 引言 |
| 1.2 关系数据库中的空值概述 |
| 1.2.1 空值的语义 |
| 1.2.2 空值产生的原因 |
| 1.2.3 空值的处理 |
| 1.2.4 空值估计 |
| 1.3 本文的主要工作 |
| 1.4 本文的组织 |
| 第二章 空值估计概述 |
| 2.1 基于粗集理论的空值估算方法 |
| 2.1.1 对象的等价与相容 |
| 2.1.2 空值估算方法 |
| 2.1.3 算法设计 |
| 2.2 基于云模型的空值估计算法 |
| 2.2.1 基本概念 |
| 2.2.2 分群算法 |
| 2.2.3 利用云发生器生成数值型空值的估计值 |
| 2.3 遗传算法估计空值 |
| 2.4 小结 |
| 第三章 自动聚类算法 |
| 3.1 引言 |
| 3.2 一些常用聚类算法及各自存在的挑战 |
| 3.2.1 K-means 聚类算法 |
| 3.2.2 模糊C 均值聚类 |
| 3.3 改进的自动聚类算法 |
| 3.3.1 Automatic Clustering 算法 |
| 3.3.2 改进的自动聚类算法 |
| 3.3.3 一种基于模糊语义的自动聚类算法 |
| 3.4 小结 |
| 第四章 基于聚类和多重回归估计空值 |
| 4.1 引言 |
| 4.2 基于属性约简选择关联属性 |
| 4.3 连续数据的离散化处理 |
| 4.4 多重回归预测 |
| 4.5 空值估计算法 |
| 4.6 小结 |
| 第五章 空值估计实现 |
| 5.1 算法一般流程 |
| 5.2 算法的实现 |
| 5.2.1 属性约简 |
| 5.2.2 聚类 |
| 5.2.3 估值 |
| 5.3 算法的部分程序实现 |
| 5.3.1 数据初始化 |
| 5.3.2 簇的计算 |
| 5.3.3 决定系数计算 |
| 5.3.4 估值 |
| 5.3.5 估值相关操作 |
| 5.4 小结 |
| 第六章 总结与展望 |
| 6.1 总结 |
| 6.2 展望 |
| 参考文献 |
| 致谢 |
| 在学期间的研究成果及发表的学术论文 |
（7）空值关系模型在土地资源管理系统中的研究（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 引言 |
| 1.1 课题的研究背景 |
| 1.2 研究现状综述 |
| 1.3 本文的研究内容及意义 |
| 第二章 空值的研究与多值逻辑 |
| 2.1 空值的定义与分类 |
| 2.2 二值逻辑与多值逻辑 |
| 第三章 SQL 语言的研究 |
| 3.1 SQL 语言 |
| 3.2 SQL 中的空值 |
| 3.3 SQL 处理空值存在的问题 |
| 3.3.1 空值对数据库操作的影响 |
| 3.3.2 空值对谓词的影响 |
| 3.3.3 空值对量词的影响 |
| 3.3.4 空值对聚集函数的影响 |
| 3.4 SQL 应用方面对空值的处理 |
| 第四章 土地资源管理系统的设计 |
| 4.1 土地资源管理系统的开发背景 |
| 4.2 本系统采用的开发方法——快速原型法 |
| 4.3 土地资源管理系统的逻辑结构 |
| 4.4 土地资源管理系统的设计 |
| 4.4.1 土地资源管理系统的设计目标 |
| 4.4.2 土地资源管理系统的功能设计 |
| 4.4.3 土地资源管理系统的数据库设计 |
| 第五章 土地资源管理系统的空值模型 |
| 5.1 空值的来源 |
| 5.2 系统中的空值关系模型 |
| 5.2.1 空值环境下的数据模型 |
| 5.2.2 本系统中的空值模型 |
| 5.3 系统中的空值处理方法 |
| 5.4 空值的查询 |
| 5.4.1 基于4VL 的比较运算 |
| 5.4.2 基于4VL 的逻辑运算 |
| 5.4.3 4VL 下三种查询求解策略 |
| 5.4.4 选择运算的实现算法 |
| 第六章 土地资源管理系统的实现 |
| 6.1 系统开发平台简介 |
| 6.1.1 J2EE 概述 |
| 6.1.2 WEB 服务器 TOMCAT 简介 |
| 6.2 系统体系结构的选择 |
| 6.3 系统的实现 |
| 6.3.1 土地资源管理系统的整体框架 |
| 6.3.2 土地资源管理系统的用户交互界面 |
| 6.4 系统特点 |
| 第七章 总结与展望 |
| 参考文献 |
| 攻读硕士学位期间承担的科研任务与发表的论文 |
| 致谢 |
| 个人简况及联系方式 |
（8）关系数据库的空值研究（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 引言 |
| 1.2 本文的主要研究背景 |
| 1.3 国内外研究现状及存在问题 |
| 1.3.1 Fuzzy 集及其不足与改进. |
| 1.3.2 关系数据库的空值研究 |
| 1.3.3 空值的估计 |
| 1.4 本文的组织 |
| 第二章 Vague 集 |
| 2.1 Vague 集的定义 |
| 2.2 Vague 集的性质 |
| 2.3 Vague 集的运算 |
| 2.4 Vague 集之间的相似性 |
| 2.5 Vague 集的模糊熵 |
| 2.6 小结 |
| 第三章 Vague 空值的引入 |
| 3.1 引言 |
| 3.2 Vague 空值及其分类 |
| 3.3 Vague 空值之间的关系 |
| 3.4 小结 |
| 第四章 Vague 空值环境下关系的广义操作 |
| 4.1 引言 |
| 4.2 Vague 空值环境下的模糊数据库关系模式 |
| 4.3 消除冗余元组 |
| 4.4 Vague 空值环境下的模糊数据库关系的广义操作 |
| 4.5 小结 |
| 第五章 空值的估计 |
| 5.1 引言 |
| 5.2 粗糙集(Rough Set)的相关理论 |
| 5.3 连续数据的离散化处理 |
| 5.4 空值估计的算法 |
| 5.5 小结 |
| 第六章 总结与展望 |
| 6.1 总结 |
| 6.2 展望 |
| 参考文献 |
| 致谢 |
| 在学期间的研究成果及发表的学术论文 |
（9）不完全信息数据库的理论及应用研究（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 引言 |
| 1.2 不完全信息数据库 |
| 1.2.1 空值的引入 |
| 1.2.2 逻辑系统的发展 |
| 1.3 SQL 语言中的不完全信息 |
| 1.3.1 空值对SQL 的查询影响 |
| 1.3.2 数据更新对查询结果的影响 |
| 1.4 粗集中的不完全信息 |
| 1.5 数据库的完整性约束 |
| 1.6 中介逻辑系统 |
| 1.7 本文的组织 |
| 第二章 SQL 语言和中介逻辑谓词演算系统 |
| 2.1 SQL 语言中空值的说明 |
| 2.1.1 NULL 值的含义 |
| 2.1.2 NULL 值的基本使用规则 |
| 2.1.3 对NULL 值的运算规则 |
| 2.2 中介逻辑系统 |
| 2.2.1 MF~M 中的定理 |
| 2.2.2 MF~M 系统的可靠性和完备性 |
| 2.3 小结 |
| 第三章 含空值关系数据库的SQL 查询修改 |
| 3.1 问题的提出 |
| 3.1.1 存在型空值的情况 |
| 3.1.2 不存在型空值的情况 |
| 3.2 确定查询和可能查询的定义 |
| 3.3 SQL 查询语句的修改 |
| 3.3.1 AθANY(S)的情况 |
| 3.3.2 AθALL(S)的情况 |
| 3.3.3 应用举例 |
| 3.4 总结 |
| 第四章 更新操作与查询完全性研究 |
| 4.1 不完全信息数据库中查询的不完全性 |
| 4.2 相关定义和说明 |
| 4.2.1 局部数据库 |
| 4.2.2 数据更新与查询独立性 |
| 4.3 查询完全性的决定因素 |
| 4.4 查询的正确性研究 |
| 4.5 小结 |
| 第五章 空值环境下粗集理论的研究 |
| 5.1 概述 |
| 5.2 问题的提出 |
| 5.2.1 知识表达系统的定义 |
| 5.2.2 空值的分类 |
| 5.2.3 存在的问题 |
| 5.3 新的等价和相容的定义 |
| 5.4 空值环境下三种特征集的引入 |
| 5.5 上近似和下近似 |
| 5.6 应用举例 |
| 5.7 小结 |
| 第六章 不完全信息数据库中四值逻辑的研究 |
| 6.1 问题的提出 |
| 6.2 四值逻辑的引入 |
| 6.2.1 新的否定联结词的引入 |
| 6.2.2 四值逻辑系统的构造 |
| 6.3 四值逻辑下的选择运算 |
| 6.3.1 四值逻辑下的比较运算 |
| 6.3.2 选择运算 |
| 6.3.3 四值逻辑对关系数据库的影响 |
| 6.4 小结 |
| 第七章 总结 |
| 7.1 研究工作总结 |
| 7.2 存在的问题及进一步的研究内容 |
| 参考文献 |
| 致谢 |
| 在学期间的研究成果及发表的学术论文 |
（10）不完全信息数据库的理论研究（论文提纲范文）
| 第一章 绪论 |
| 1.1 引言 |
| 1.2 不完全信息数据库 |
| 1.3 不完全信息数据库的解决方案 |
| 1.3.1 多值逻辑 |
| 1.3.2 特殊值 |
| 1.3.3 第六范式 |
| 1.4 中介逻辑系统 |
| 1.5 命题逻辑中命题的真度理论 |
| 1.6 本文的组织 |
| 第二章 中介逻辑系统MP~M及MF~M |
| 2.1 中介系统 |
| 2.1.1 中介系统的哲学背景和思想原则 |
| 2.1.2 中介系统在计算机科学中的应用 |
| 2.2 中介命题演算系统MP~M |
| 2.2.1 基本引理 |
| 2.2.2 常用的一些重要定理 |
| 2.2.3 等值定理 |
| 2.3 中介谓词演算系统MF~M |
| 2.4 MP~M与其它多值逻辑系统的关系 |
| 2.5 小结 |
| 第三章 中介命题演算系统MP~M的代数系统 |
| 3.1 MP~M中介代数系统的定义 |
| 3.2 MP~M中介代数系统的基本性质 |
| 3.3 MP~M中介代数的次直积 |
| 3.4 MP~M中介代数与其它代数系统的关系 |
| 3.5 小结 |
| 第四章 中介命题演算系统MP~M的公理完备集 |
| 4.1 MP~M系统公理完备集的引入 |
| 4.2 MP~M系统公理完备集的性质 |
| 4.3 MP~M系统公理完备集的应用 |
| 4.3.1 用公理完备集证明MP~M系统中的推理规则 |
| 4.3.2 公理完备集在查询优化方面的应用 |
| 4.4 小结 |
| 第五章 中介命题逻辑系统MP~M的命题真度理论 |
| 5.1 预备知识 |
| 5.2 基于均匀概率测度定义的真度 |
| 5.3 基于概率定义的真度 |
| 5.4 一般真度推理规则 |
| 5.5 公式间的相似度及伪距离 |
| 5.6 小结 |
| 第六章 用于不完全信息系统的四值逻辑 |
| 6.1 三值逻辑的规范 |
| 6.2 四值逻辑的引入 |
| 6.2.1 三值逻辑存在的问题 |
| 6.2.2 四值逻辑系统的构造 |
| 6.3 Σ_4逻辑系统逻辑连接词的扩充 |
| 6.4 Σ_4逻辑系统的性质 |
| 6.4.1 Σ_4系统的代数性质 |
| 6.4.2 Σ_4系统与三值逻辑系统的关系 |
| 6.5 小结 |
| 第七章 总结 |
| 7.1 研究工作总结 |
| 7.2 存在的问题及进一步的研究内容 |
| 参考文献 |
| 致谢 |
| 在学期间的研究成果及发表的学术论文 |
四、含空值关系数据库中的多值逻辑的研究（论文参考文献）
- [1]关系数据库不可用空值的查询与处理[J]. 郭咏科,毛宇光,向日锋. 计算技术与自动化, 2017(03)
- [2]不完全信息数据库的相关问题研究[D]. 郭咏科. 南京航空航天大学, 2017(03)
- [3]模糊空值环境下关系型数据库的多值运算的研究[A]. 王洋,刘兴丽. Proceedings of 2011 International conference on Intelligent Computation and Industrial Application(ICIA 2011 V4), 2011
- [4]模糊空值环境下关系型数据库的多值运算的研究[A]. 王洋,刘兴丽. Proceedings of 2010 Second International Conference on E-Learning; E-Business; Enterprise Information Systems; and E-Government (EEEE 2010) Volume 2, 2010
- [5]基于聚类和多重回归的空值估计研究[D]. 吴鹏. 南京航空航天大学, 2009(S2)
- [6]基于4VL不完全信息数据库选择运算的研究[J]. 王新玲,白尚旺. 太原科技大学学报, 2008(04)
- [7]空值关系模型在土地资源管理系统中的研究[D]. 王新玲. 太原科技大学, 2008(05)
- [8]关系数据库的空值研究[D]. 张浩庭. 南京航空航天大学, 2007(06)
- [9]不完全信息数据库的理论及应用研究[D]. 岳雪梅. 南京航空航天大学, 2007(06)
- [10]不完全信息数据库的理论研究[D]. 曹汝鸣. 南京航空航天大学, 2006(10)