【摘 要】
:
不完全信息数据库与 SQL 语言的语义是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且还具有很高的应用价值。本文借助中介逻辑谓词演算系统 MFM,对不完全信息系
论文部分内容阅读
不完全信息数据库与 SQL 语言的语义是数据库理论的两个重要研究方向,不仅具有重要的理论价值,而且还具有很高的应用价值。本文借助中介逻辑谓词演算系统 MFM,对不完全信息系统的理论和应用进行了研究。为了更好地处理不完全信息数据库的查询,在对目前数据库处理空值所存在的问题进行分析的基础上,对 SQL 查询进行了修改和扩充,构造了针对不完全信息数据库的查询语言,使之能够比较正确地处理不完全信息。同时,本文将 SQL 查询结果分为确定信息和可能信息两种类型,并针对产生不同结果的 SQL 查询进行描述,并且在 Linux系统下,通过使用 Yacc 语法分析工具和 Lex 词法分析工具实现了不完全信息数据库基本的查询功能。其次,以 MFM 为理论基础,构造了一个针对可能信息的SQL 查询的形式的三值元组关系演算 MFPC,在对此演算进行构造的基础上通过语法转化规则把 SQL 查询转化为 MFPC,从而完整地定义了 SQL 查询的形式语义。最后,建立了中介逻辑谓词演算系统 MFM的表推演系统,并证明了该系统的可靠性和完备性,该系统可作为不完全信息的自动推演系统。
其他文献
近几年来,工作流管理技术被业界广泛采用并得到了迅速发展。它的主要特点是根据一系列过程规则,采用计算机技术,使得业务流程完全或者部分地自动执行。工作流管理系统最重要的功
当前,在我国迅速发展的移动通信市场中,中国移动,中国联通等几大电信运营商正在展开激烈的市场竞争,而客户是这场竞争中的焦点。 本文从客户的相互联系出发,提出了一种新颖的客
随着计算机网络和通信技术的飞速发展,数字媒体,包括图形、图像、视频、音频等,得到了广泛的应用。随之而来的数字媒体的版权保护、内容认证等问题也变得日益突出,急待解决。
电力监测系统是对电力通信网络的运行状况进行实时监测和管理的控制系统。电力监测系统通常提供对当前电力的运行情况进行实时监控,错误告警,以及日志查询等功能。电力管理部门可以通过电力监测系统掌握电力通信网的整体运行情况,及时获知故障信息,从而能够执行相应的措施。 监测系统是一个相当庞大的系统,其中设计到的技术很多,本论文将重点研究监测系统中的数据采集部分。在此背景下,开展的工作主要体现在五个方面:目.
经纬仪野外标校检测系统主要应用于导弹试验靶场,它是基于计算机应用技术、星体标校方法、标准硬件接口及通用软件开发平台的便携式智能型检测系统。 该系统选用便携式加固
针对个体脚型特征,对个性化鞋楦造型设计及皮鞋CAD系统进行了的应用性基础研究.分析和讨论了如何根据个体脚型设计和制造出符合个性化要求的鞋楦,提出了个性化皮鞋CAD设计模
研究的内容具体包括以下几个方面.首先对数据存储系统整体进行了描述.讨论数据存储系统的应用需求,阐述了组成数据存储系统的诸多物理部件和逻辑结构,及其相关技术的国内外研
本文结合“三维场景真实感技术研究”和“交互式三维建模与物理仿真”课题。 本文提出一种基于双变量二次插值的多边形明暗处理方法,实现了三角面片模型的明暗处理。
随着企业信息化的深入,企业应用集成(EAI, Enterprise Application Integration)越来越成为各个企业所关注的焦点,而Web服务已经成为企业应用集成的主要方式。Web服务能够在I
随着计算机网络技术的飞速发展,网络规模、用户数量的日益增加,现有的网络管理和维护已经越来越难以适应用户的要求。而网络故障产生的原因很多,现有网络的信息量巨大,从而使