【摘 要】
：
该文对目前研究得比较多的数据库更新理论作了综合性介绍,主要内容包括列新规则、更新语言等.针对其中存在的一些问题,研究人员给出了自己的解决办法.对于更新规则,研究人员
论文部分内容阅读
该文对目前研究得比较多的数据库更新理论作了综合性介绍,主要内容包括列新规则、更新语言等.针对其中存在的一些问题,研究人员给出了自己的解决办法.对于更新规则,研究人员在介绍文字规则模型的基础上给出一种一般更新规则的模型.对于更新,研究人员介绍了目前有代表性的两种更新DatalogA和DL,它们都是对Datalog的扩展.研究人员将 回滚机制引入Prolog中,从而使其可以处理出现在规则体中的更新.此外,原有更新语言没有考虑规则更新对数据库的影响,没有考虑同时处理两种更新规则的情形.针对这一情况,研究人员提出了基于规则的更新语言RUL,它通过解释更新规则的执行效果来处理数据库更 新.此外,研究人员还介绍了用于更新求值的更新演算和列新代数,并介绍了一个完备、正确的更新事务的公理系统.
其他文献
该文给出在大规模数据场构造光滑函数的一种方法.为了获得高阶光滑度和节约空间及时间开销,这个光滑函数的构造没有采用线性多项式,而是采用了高次多项式.该文主要由三部分组
本文主要研究了混合算法设计与收敛性分析的一般框架。一方面，将许多作者的结果纳入了一般框架；另一方面，利用一般框架，推导出若干新的混合算法。此外，利用一般框架，还可以总结出一
该文研究了具有时滞的经济增长模型的动态性质和可控性,分析了时滞对经济系统演化产生的影响.在第一部分中,利用Cobb-Douglas生产函数, 作者对具有时滞的Solow经济增长模型进
算子代数K-理论作为工具在研究算子代数、几何、拓扑等领域中的一些问题时,显示出了它的强大威力,但它还是有一个很大的缺憾,那就是K-群的难于计算性.该文试图用M.A.Rieffel
在Darmon的论文[2]中有一个猜想,类似于Gross[1]提出的改进了的Stark猜想,该猜想描述了阿贝尔L-函数在零点取值与数域S-类数的关系.Darmon证明了一些结果,提供了该猜想成立的
RQP方法是由Bartholomew-Beggs等人发展起来的解决非线性规划的一种方法.该文提供了一种通过求解建立在增广Lagrange函数基础上的二次规划子问题得到的搜索方向,从而解决等式
近年来,长宁县委组织部按照省、市关于构建开放的组织工作系统的要求,引入市场经济理念,在干部的选任和管理上,实施“选、察、备、训、督”五措并举,较好地落实了党员和群众
该文探讨分析了"Dynamics"软件的结构和原理,利用软件复用的理论和技术,针对"Dynamics"软件的不足之处,运用Mathematica和Matlab软件设计和实现了一个在Windows下运行的常微