论文部分内容阅读
重点探讨了基于逻辑的数据模型Datalog在以关系数据库为基础的递归查询上的应用,给出了求解Datalog递归规则的两种通用算法,并通过实例进行了有效地说明及验证.
基于逻辑的数据模型Datalog的递归应用
【摘 要】
：
重点探讨了基于逻辑的数据模型Datalog在以关系数据库为基础的递归查询上的应用,给出了求解Datalog递归规则的两种通用算法,并通过实例进行了有效地说明及验证.
【机 构】
：
武汉理工大学计算机学院,集美大学
【出 处】
：
武汉理工大学学报：交通科学与工程版
【发表日期】
：
2002年2期
其他文献
基于特征分裂（CBS）算法，提出了一种适用于具有运动边界的不可压缩黏性流动问题的有限元解法，给出了不可压缩黏性流动问题的控制方程，并推导了其无量纲形式．将传统CBS算法与动网格技
针对静压气体球轴承的供气孔附近产生超声速区而导致气膜内的压力急剧降低,从而影响轴承承载性能的问题,提出一种基于计算流体动力学（CFD）、可压缩气体三维湍流全N-S方程的数值