【摘 要】
：
数据库更新是目前演绎数据库研究的一个重要的课题.实现数据库更新时遇到的重要问题就是如何进行视图更新并维护数据库一致.该文首先给出了对整个演绎数据库,包括EDB、IDB与I
论文部分内容阅读
数据库更新是目前演绎数据库研究的一个重要的课题.实现数据库更新时遇到的重要问题就是如何进行视图更新并维护数据库一致.该文首先给出了对整个演绎数据库,包括EDB、IDB与IC三个部分的更新内容,并分析了这些更新对数据库一致性的影响.接着,我们提出了一个实现视图更新与维护数据库一致的具体算法,称为ViewUp算法.对于一个演绎数据库, ViewUp算法先对IDB与IC进行扩充与改写,使之适用于算法的推导.然后,将更新请求转换成对EDB事实的更新,并给出满足更新请求且不违反约束的所有可能的解决方案.维护数据库的一致性有两种基本方法:约束检查与约束维护.我们使用后者来实现数据库的一致性.该文定义了视图更新推导与约束维护推导两个相对独立的步骤来实现数据库更新.我们对ViewUp算法进行了实现.我们用高级编程语言编写了一个ViewUp系统,设定好IDB规则与IC规则后,它能够实现对关系数据库的更新,给出满足更新请求并且保持数据库一致性的所有可能的最小解决方案.论文给出了实现ViewUp 算法的设计流程和编程中的一些难点与重点,并给出了一些性能测试结果.
其他文献
环境感知是移动机器人研究中的关键技术之一，随着智能车研究的迅速发展，逐渐展现出较大的研究价值和应用前景。本文主要讨论了室外移动机器人在视觉感知中的若干关键问题，主要包
该文首先介绍了系统的开发环境和工具,给出了系统功能目标和实现的技术路线,接着按照子系统的划分详细说明了系统的设计思想、关键技术.最后,给出了系统的具体实现结果以及对
该文来源于第二炮兵某研究所开发的军事模拟软件系统对地形的三维显示要求,即依据等高线数据、军用GIS提供的地理信息数据以及其他数据源建立地形三维数字模型,实现地形的三
基于位置的服务是移动互联网发展的重要方向。随着智能手机等智能移动设备的普及,越来越多的基于用户位置信息的创新应用出现,基于位置的服务正在深刻地改变着人们的生活方式
该文首先阐述了软件测试方法及其工具的发展概况,论述了各种结构测试策略和路径数据生成方法.控制流测试是一种被普遍接受的测试策略,但是许多程序的路径数太大甚至无穷,路径
数字图像处理作为一门崭新的学科，已经在卫星遥感、军事侦察、生物医学工程等方面取得成功的应用，并发挥越来越重要的作用。各种成像技术被应用到无损检测领域，如超声成像、射线
以信息电器为代表的嵌入式应用系统真正拉开了嵌入式系统大发展的序幕，它必将进一步推动IT产业的发展，给人类的生产、生活带来深远的影响。嵌入式系统自诞生以来经历了一个从无
该文在充分研究当前工作流管理软件的基础上,参照工作流管理联盟给出的工作流参考模型,设计了一个分布式工作流执行服务系统,其底层支撑环境采用CORBA组件技术.该文详细探讨
该文首先分析了人工神经网络特别是BP模型的原理,提出了用人工神经网络方法进行指标预测的可能性,设计并实现了指标预测系统,其中包括数据的收集与预处理、模型的确定、对指
该文阐述了系统总体设计思想和设计方案,详细设计方案,以及它的计算机实现.该系统是一个逆向软件工程的文档生成器,目标是提供对实际程序的分析以及可视化显示的工具,协助完