基于逻辑的数据模型Datalog的递归应用

来源 :武汉理工大学学报:交通科学与工程版 | 被引量 : 0次 | 上传用户:lyh555
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
重点探讨了基于逻辑的数据模型Datalog在以关系数据库为基础的递归查询上的应用,给出了求解Datalog递归规则的两种通用算法,并通过实例进行了有效地说明及验证.
其他文献
振兴山区农业经济是一个长期、复杂、艰巨的世纪工程,如何加快贫困地区经济发展步伐,如期实现脱贫致富奔小康的目标,关键在于解放思想,更新观念,根据市场经济发展要求调整农
基于特征分裂(CBS)算法,提出了一种适用于具有运动边界的不可压缩黏性流动问题的有限元解法,给出了不可压缩黏性流动问题的控制方程,并推导了其无量纲形式.将传统CBS算法与动网格技
【正】总供求关系有三个方面,一是总量是否平衡,二是结构是否对称,三是是否存在灵活的应变机制。供给结构与需求结构失衡,供给面对市场需求出现结构性的不适
【正】流动性是商业银行的第一生命.商业银行的资产若丧失了流动性,其安全性、盈利性也就无从保证,而整个经济也会陷入萎缩之中.流动性不足是近年来我国经济面临的一个严峻现
采用微分的方法,讨论了结构动力系统振动特征值的扰动,提出用残差极小化的计算方法,并给出实际算例。
针对静压气体球轴承的供气孔附近产生超声速区而导致气膜内的压力急剧降低,从而影响轴承承载性能的问题,提出一种基于计算流体动力学(CFD)、可压缩气体三维湍流全N-S方程的数值
近日,奥克兰一名家禽饲养农场主被法庭判处一年监禁,据英文媒体报道,被告被判刑的罪名是虐待饲养的鸡群,以及向当地零售商出售不安全的蛋鸡和肉类。
内部控制制度评审存在的主要问题是不准确,应用模糊审计的改进方法,可提高评审的准确性,模糊审计-模糊综合评审法适用于简单的内部控制制度评审。针对较复杂的内部控制制度,提出了
欧洲货币联盟将在未来几年来实行欧元新体制,未来的欧洲股票市场将采用欧洲货币来标价。
【正】现阶段我国已经具备了发展产业投资基金的基本条件,并且具有了初步的实践经验.为使我国的产业投资基金健康、有序的发展,我们必须在借鉴市场经济发达国家先进经验的同