检索结果-内蒙古大学图书馆

作者：岳雪梅南京航空航天大学

学位级别：硕士

不完全信息数据库与关系数据库SQL语言的查询处理是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且具有很高的应用价值。本文借助于中介逻辑谓词演算系统MFM,对不完全信息数据库的理论和应用进行了研究。为了更好地处理不... 详细信息

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

关键词：关系数据库不完全信息不完全信息数据库中介逻辑系统查询修改空值 SQL

来源：评论

学校读者我要写书评

暂无评论

不完全信息数据库的理论研究

不完全信息数据库的理论研究

引用

作者：曹汝鸣南京航空航天大学

学位级别：硕士

不完全信息数据库是数据库领域的重要研究方向,不仅具有重要的理论价值,而且还具有重要的应用价值。目前尚没有一个完善的理论体系为不完全信息的表示和处理提供理论支撑。中介逻辑命题演算系统MPM和中介逻辑谓词演算系统MFM是在改造原... 详细信息

不完全信息数据库是数据库领域的重要研究方向,不仅具有重要的理论价值,而且还具有重要的应用价值。目前尚没有一个完善的理论体系为不完全信息的表示和处理提供理论支撑。中介逻辑命题演算系统MPM和中介逻辑谓词演算系统MFM是在改造原有的中介逻辑系统的基础上提出的一种新的逻辑系统,该逻辑系统特别适用于处理不完全信息,可以作为处理不完全信息的理论基础。本文通过对MPM中介逻辑命题演算系统进行代数抽象,建立了一个新的代数系统,讨论了该代数系统的性质,并利用该代数系统的代数性质构造了中介命题演算系统MPM上的一个公理完备集合,使用该公理集合可以方便的推导出MPM上的等值和互推公式,这对于处理不完全信息数据库的查询优化有着重要作用。随后,本文在概率空间的基础上,将命题真度的概念引入MPM中介命题逻辑系统中,并讨论其上的一些性质,证明一般真度MP规则和HS规则在MPM中介命题逻辑系统中是成立的。最后,本文对经典的三值逻辑进行了总结,在此基础上提出了一个四值逻辑系统,扩充了该系统的连接词,并讨论了该系统的一些代数性质。

关键词：关系数据库不完全信息不完全信息数据库中介逻辑系统公理完备集合代数系统命题真度 SQL

来源：评论

学校读者我要写书评

暂无评论

用于不完全信息数据库的逻辑系统研究

用于不完全信息数据库的逻辑系统研究

引用

作者：金仁康南京航空航天大学

学位级别：硕士

不完全信息数据库是数据库领域的重要研究方向，不仅具有重要的理论价值，而且还具有重要的应用价值。中介逻辑命题演算系统MPM和中介逻辑谓词演算系统MFM是一种适用于处理不完全信息的新的逻辑系统。本文建立了MPM系统的范式理论，构... 详细信息

不完全信息数据库是数据库领域的重要研究方向，不仅具有重要的理论价值，而且还具有重要的应用价值。中介逻辑命题演算系统MPM和中介逻辑谓词演算系统MFM是一种适用于处理不完全信息的新的逻辑系统。本文建立了MPM系统的范式理论，构造了其表推演系统，并证明了其可靠性和完备性。该范式理论能够在三值环境下依旧保留等值完全范式与真值表——对应的直观关系，同时，建立的表推演系统可作为不完全信息的自动推演系统。此外，通过引入判真、判中和判假三个算子给出了MFM系统与经典二值逻辑系统的关系，并以经典二值逻辑系统作为工具讨论了MFM系统的消解理论，该消解理论能够完全利用经典二值逻辑系统的理论方便地解决MFM的消解问题。

关键词：关系数据库不完全信息不完全信息数据库表推演方法中介逻辑系统

来源：评论

学校读者我要写书评

暂无评论

不完全信息数据库研究

不完全信息数据库研究

引用

作者：韩波南京航空航天大学

学位级别：硕士

不完全信息数据库与SQL语言是数据库理论的两个重要研究方向，不仅具有重要的理论价值，而且还具有重要的应用价值。本文将三值逻辑谓词演算系统MFM应用在不完全信息数据库的研究中，对原有的扩充关系模型做了改进。SQL语言是数据库语... 详细信息

不完全信息数据库与SQL语言是数据库理论的两个重要研究方向，不仅具有重要的理论价值，而且还具有重要的应用价值。本文将三值逻辑谓词演算系统MFM应用在不完全信息数据库的研究中，对原有的扩充关系模型做了改进。SQL语言是数据库语言的工业标准，但是在其中存在有逻辑错误。作者对现有的SQL标准进行了修改和扩充，使之能够正确地处理不完全信息，并消除了EⅪSTS错误。SQL的形式语义是查询重写研究的理论基础，本文在前人工作的基础上，提出了一种更加完善的形式化方法，不但消除了以往形式化方法的部分不足，而且从形式上也更为简洁、直观。最后本文将这种形式化方法应用在CBase系统的查询重写器的设计中，测试结果表明：应用查询重写器后的系统效率有了显著提高。

关键词：数据库不完全信息不完全信息数据库 SQL 形式语义查询重写

来源：评论

学校读者我要写书评

暂无评论

用于不完全信息数据库的多值逻辑研究

引用

计算机科学 2002年第z1期29卷 279-281页

作者：毛宇光徐洁磐朱梧槚南京航空航天大学信息科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件新技术国家重点实验室南京210093

　　1引言　　自20世纪70年代末以来,用多值逻辑处理空值问题已成为数据库理论的一个重要研究方向[1～3].不完全信息数据库中引入多值逻辑(MVL)的研究是和空值的语义有关的.数据库中引起信息缺失的原因有十几种,根据语义可分成三种类型... 详细信息

　　1引言　　自20世纪70年代末以来,用多值逻辑处理空值问题已成为数据库理论的一个重要研究方向[1～3].不完全信息数据库中引入多值逻辑(MVL)的研究是和空值的语义有关的.数据库中引起信息缺失的原因有十几种,根据语义可分成三种类型:不存在型空值、存在型空值和占位型空值.若在空值的处理中,这三种解释都采用,不作简化,这将导致七值逻辑(7VL).……

关键词：不完全信息数据库逻辑研究多值逻辑语义研究方向信息缺失逻辑处理理论解释

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

作者：潘娜南京航空航天大学

学位级别：硕士

不完全信息数据库与 SQL 语言的语义是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且还具有很高的应用价值。本文借助中介逻辑谓词演算系统 MFM,对不完全信息系统的理论和应用进行了研究。为了更好地处理不完全信息数据库... 详细信息

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

关键词：关系数据库不完全信息不完全信息数据库表推演方法中介逻辑系统 SQL

来源：评论

学校读者我要写书评

暂无评论

用于不完全信息数据库的中介逻辑演算系统MPM

用于不完全信息数据库的中介逻辑演算系统MPM

引用

第18届全国数据库学术会议

作者：毛宇光南京航空航天大学计算机系(南京) 徐洁磐刘滔周勇南京大学软件新技术国家重点实验室(南京) 南京航空航天大学计算机系(南京)

为满足不安全信息数据库的应用需求,本文提出了一种新的中介逻辑命题演算系统,证明了它是一种命题联结词含量不完全的逻辑系统,并证明了其可靠性和完备性.

关键词：不完全信息数据库中介逻辑命题演算系统可靠性

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：