切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
DATALOG规则与基于逻辑的关系查询
DATALOG规则与基于逻辑的关系查询
来源 :湖南理工学院学报 | 被引量 : 0次 | 上传用户:jimiwison
【摘 要】
:
Dalalog是关系数据模式中用来扩充逻辑查询语言的一种重要形式.文章论述Datalog规则、Datalog规则的安全条件、Datalog规则对关系代数查询的表达和Datalog规则中的递归查询等
【作 者】
:
胡虚怀
【机 构】
:
湖南理工学院计算机系
【出 处】
:
湖南理工学院学报
【发表日期】
:
2004年3期
【关键词】
:
数据库逻辑
规则
安全条件
查询
递归查询
Datalog
rule
safety condition
query
recursive query
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Dalalog是关系数据模式中用来扩充逻辑查询语言的一种重要形式.文章论述Datalog规则、Datalog规则的安全条件、Datalog规则对关系代数查询的表达和Datalog规则中的递归查询等相关问题.
其他文献
李普希兹条件的一个等价命题
证明了李普希兹条件的一个等价命题,从而给出了一致连续、绝对连续及李普希兹连续函数的统一定义,从统一定义能清楚看到三者的联系与区别.
期刊
李普希兹条件
等价命题
一致连续函数
绝对连续函数
Lipschitzienne condition
absolute continuite
equival
珠港大道中CFG桩的应用
CFG桩是指在碎石桩基础上加进一些石屑,粉煤灰和少量水泥,加水拌和制成的一种具有一定粘结强度的桩.桩的是栽力大,在珠海珠港大道中采用CFG桩取得了较好的经济效益.
期刊
CFG桩
碎石桩
拔管速率
施工监测
CFG pile
gravel pile
pipe-drawn speed
construction inspect
Vandermonde行列式的一个推广与一类多重积分的计算
定义了与函数相关的Vandermonde行列式,从而得到了多重积分∫Eφ(n)(∑ni=0aixi)dx1dx2…dxn的一般计算公式,其中E={(x1,x2,…,xn)|∑ni=1aixi≤1,xi≥0,I=1,2,…,n},x0=1-∑
期刊
VANDERMONDE行列式
多重积分
计算公式
累次积分
数学归纳法
线性代数
Vandermondeian determinant
generalizat
其他学术论文