论文部分内容阅读
Dalalog是关系数据模式中用来扩充逻辑查询语言的一种重要形式.文章论述Datalog规则、Datalog规则的安全条件、Datalog规则对关系代数查询的表达和Datalog规则中的递归查询等相关问题.
DATALOG规则与基于逻辑的关系查询
【摘 要】
：
Dalalog是关系数据模式中用来扩充逻辑查询语言的一种重要形式.文章论述Datalog规则、Datalog规则的安全条件、Datalog规则对关系代数查询的表达和Datalog规则中的递归查询等
【机 构】
：
湖南理工学院计算机系
【出 处】
：
湖南理工学院学报
【发表日期】
：
2004年3期
其他文献
在我国基础教育体系中, 学前教育作为重要构成部分, 也是针对幼儿的启蒙教育, 有利于培养幼儿的良好习惯.目前, 我国幼儿学前教育还存在不足之处, 导致幼儿学前教育的发展受
日前，学院接到教育部教高函（2008）8号《教育部关于公布北京大学、清华大学等198所普通高等学校本科教学工作水平评估结论的通知》文件。经过教育部专家委员会终审，我院本科教学工
通过对研究生年龄结构、学缘结构、观念素质结构的问卷调查和无记名书面反馈材料的研究，分析思想政治方面出现的新情况、新问题；阐述理论课教学在研究生思想政治教育工作中的主
证明了李普希兹条件的一个等价命题,从而给出了一致连续、绝对连续及李普希兹连续函数的统一定义,从统一定义能清楚看到三者的联系与区别.
CFG桩是指在碎石桩基础上加进一些石屑,粉煤灰和少量水泥,加水拌和制成的一种具有一定粘结强度的桩.桩的是栽力大,在珠海珠港大道中采用CFG桩取得了较好的经济效益.
语文是丰富多彩的,但是由于中国应试教育的影响,语文在教学方面过于重视他们的结果,而往往忽视了内容的重要性.逐渐演变成中国应试考试的工具.促使中国青年因缺乏对文学艺术
“学讲方式”教学对于充分发挥学生学习的积极主动性，提高学生的学习能力效果显著。对于物理这样一门以实验为基础的学科来说，如何有效的进行自主先学是教学中的难点。本文结合
定义了与函数相关的Vandermonde行列式,从而得到了多重积分∫Eφ(n)(∑ni=0aixi)dx1dx2…dxn的一般计算公式,其中E={(x1,x2,…,xn)|∑ni=1aixi≤1,xi≥0,I=1,2,…,n},x0=1-∑
对与晶体中3d或4f离子晶场光谱热移位相对应的光谱谱线(锐线)的热加宽进行了研究,在原有的声频支的Raman项、单声子项贡献的基础上,进一步考虑了光频支项的贡献,推导出晶体中