论文部分内容阅读
Dalalog是关系数据模式中用来扩充逻辑查询语言的一种重要形式.文章论述Datalog规则、Datalog规则的安全条件、Datalog规则对关系代数查询的表达和Datalog规则中的递归查询等相关问题.
DATALOG规则与基于逻辑的关系查询
【摘 要】
：
Dalalog是关系数据模式中用来扩充逻辑查询语言的一种重要形式.文章论述Datalog规则、Datalog规则的安全条件、Datalog规则对关系代数查询的表达和Datalog规则中的递归查询等
【机 构】
：
湖南理工学院计算机系
【出 处】
：
湖南理工学院学报
【发表日期】
：
2004年3期
其他文献
证明了李普希兹条件的一个等价命题,从而给出了一致连续、绝对连续及李普希兹连续函数的统一定义,从统一定义能清楚看到三者的联系与区别.
CFG桩是指在碎石桩基础上加进一些石屑,粉煤灰和少量水泥,加水拌和制成的一种具有一定粘结强度的桩.桩的是栽力大,在珠海珠港大道中采用CFG桩取得了较好的经济效益.
定义了与函数相关的Vandermonde行列式,从而得到了多重积分∫Eφ(n)(∑ni=0aixi)dx1dx2…dxn的一般计算公式,其中E={(x1,x2,…,xn)|∑ni=1aixi≤1,xi≥0,I=1,2,…,n},x0=1-∑