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