【摘 要】
：
数据库更新是目前演绎数据库研究的一个重要问题.该文给出了一个数据库更新的基本框架,定义了更新的三个层次:数据库更新事务、更新事务原子和EDB更新.该文定义了更新事务原
论文部分内容阅读
数据库更新是目前演绎数据库研究的一个重要问题.该文给出了一个数据库更新的基本框架,定义了更新的三个层次:数据库更新事务、更新事务原子和EDB更新.该文定义了更新事务原子的溯因更新推导和约束维护来实现这个过程.这两个推导过程实现了视图更新和约束维护,解决了[MT1999]中指出的由于[KM1990]和[Dec1997]中没有提供EDB事实的消解过程而可能出现的错误,同时也比[MT200]中给出的事件方法更为简明.按照上述数据库更新的基本框架,该文给出了数据库更新的一些相关研究,并与该文的结果进行了比较.所有的研究被分为两类:一类研究数据库更新的过程性,给出数据库更新的说明性语义;一类研究视图更新和约束维护.
其他文献
为了将先进的计算机技术应用于企业的信息化建设,改善企业的管理,该文针对现行ERP系统在决策支持以及企业内的信息共享方面存在的不足提出了采用数据仓库技术解决该问题的新
数字视频硬盘录像系统(DVR)是监控行业从模拟到数字系统转换的一场革命.DVR不仅取代了模拟系统中的录像机,而且取代了如矩阵主机、报警控制器、控制键盘等大多数CCTV闭路监控
该文致力于探讨Internet中的端到端服务质量控制方法,主要研究成果包括:1)提出了端到端服务质量控制模型PTC.2)提出了QoS协商与准入控制的方法,设计并实现了传递QoS参数与信
该文力图阐述医院信息管理系统的设计开发方法,并且结合实例——某医院信息管理系统(PWHIS)的开发,总结了一些经验与方法,着重分析了医院库房管理子系统的各个设计环节,从需
工程设计或产品设计的对象多为三维形体，设计方式的发展趋势也是直接采用三维设计，尤其是对于复杂结构形体，三维设计的优势是很明显的，而且目前三维实体造型技术在理论和方法上也
软件流水算法打破了循环层次之间的执行界限,较好地解决了复杂循环的软件流水问题,但同时也对数据相关性分析方法提出了更高的要求.传统的数据相关性分析方法没有充分利用软
随着INTERNERT的广泛应用，数据的多样性、复杂性与大容量性迫切需要引入数据库的管理。同时对INTERNET网站的管理也提出了更高的要求，如动态页面、动态管理、电子商务等，这些要
全文共分八章.第一章引言说明了研究的目的和意义,阐述了钟祥概况和人口状况,简单的介绍了地理信息系统(GIS)和MAPGIS的基本情况.第二章系统总体设计介绍了整个系统的设计流
该文以863课题"国家高性能计算环境"的开发为背景,阐述了其资源管理模块的设计思想和实现过程,其中将重点放在了目录服务技术,基于资源管理的用户管理模块的设计和实现.文章
该文的研究方向是综合运用各种可靠的网络安全手段来为移动IP提供合适的安全特性,提出一个集成高效的安全方案.在探讨了移动IP的基本技术和网络的各种安全技术后,该文分析了