切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
利用视图技术实现非递归规则的表示与推理
利用视图技术实现非递归规则的表示与推理
来源 :计算机工程 | 被引量 : 0次 | 上传用户:kingworsebest
【摘 要】
:
介绍利用视图技术实现非递归规则的表示和推理,并将该思想应用到开发的一个演绎数据库中去.
【作 者】
:
陈晓东
陶世群
【机 构】
:
山西大学计算机科学系
【出 处】
:
计算机工程
【发表日期】
:
2002年3期
【关键词】
:
非递归规则
视图
演绎数据库
规则依赖图
逻辑数据语言
Datalog data modelRule modulePermanent virtual relat
【基金项目】
:
山西省自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍利用视图技术实现非递归规则的表示和推理,并将该思想应用到开发的一个演绎数据库中去.
其他文献
共产主义理论与实践讲座(三):共产主义必然胜利
共产主义是人类历史上最理想、最进步、最美好的社会制度。无产阶级解放斗争的最终目的,就是在全世界实现共产主义。根据马克思的科学预见,共产主义要经历低级和高级两个发展
期刊
共产主义
理论与实践
社会主义制度
讲座
人类历史
社会制度
阶级解放
科学预见
Whether小议
Whether可以用作代词、名词和连词。尤其是当Whether作连词时,连接多种从句,分析和翻译时应当特别注意。一、Whether作代词Whether作代词,这是古语,用法很少。词义为"两者中
期刊
WHETHER
WHICH
代词
连词
古语
基于DSP的GSM远程报警系统的设计
介绍了以DSP为温度监控系统,用GSM模块实现数据远程报警的设计方法。并在该系统中实现了对监测点的温度采集、与设定的警戒温度值进行比对、存储、绘制历史温度曲线图及远程
期刊
DSP
GSM
远程报警
DSP
GSM
remote alarm
省写作学会召开第三届会员代表会及学术年会
辽宁省写作学会第三届会员代表会及学术年会,于84年11月20日——23日在朝阳举行。会议回顾了学会80年12月成立以来的工作,交流了学术研究成果,经过协商选举了本届理事会。钟
期刊
学术年会
学会
会员
写作
学术研究成果
学术论文
辽宁省
理事会
安全通信协议模型EABRA的设计
提出了一种安全的通信协议模型EABRA,通过该模型可以简单有效地实现网络安全通信.首先对EABRA协议系统、体系结构以及状态转换进行了细致的阐述,然后用ESTELLE语言对协议模型
期刊
通信协议模型
EABRA协议
计算机网络
设计
网络安全
Protocol model;ESTELLE;EABRA
可扩展计算机网络设计软件系统的开发设计研究
文章旨在顺应人们对智能化通讯越来越高的要求,将计算机网络应用的效能提高,设计合理的计算机网络应用本系统.通过提出一种可扩展的计算机网络设计软件系统,对计算机网络设计软
期刊
可扩展性
计算进网络设计
软件系统
开发设计
谈公共英语教学
目前各大专院校文理科都开设公共英语这门课程。如何教好公共英语这还是广大教师正在探讨的课题。通过几年的教学,我的体会是:一、明确学习目的,为“一专多能”思想学英语师
期刊
公共英语教学
中学教师
师专学生
“一专多能”
大专院校
学习目的
科技资料
文理科
益气化痰通滞法治疗高脂血症的临床研究
<正> 我们以益气化痰通滞法为原则,遣方组药制成口服液,治疗高脂血症取得了较为满意的疗效,现报道如下。 资料和方法 1.观察对象 全部病例为1998年5月至10月我院门诊和病房收
期刊
高脂血症
中医药疗法
益气化通滞法
针灸配合穴位注射治疗黄褐斑疗效观察
黄褐斑好发于中青年女性且较难治.本文报道采用针灸配合穴位注射当归注射液和穴位自血注射疗法治疗此病,取得了满意的效果.
期刊
针灸疗法
穴位注射疗法
黄褐斑
疗效观察
演化算法在中文自动分词中的应用
首先对各种现有的中文自动分词算法进行简要比较,并指出其存在的问胚,然后针对这些问题,设计了一个基于演化的中文自动分词算法.最后通过对实验结果的分析,比较了本算法与已
期刊
语料库
汉字信息处理
演化算法
中文自动分词
Evolution alorithmCorpus bankChinese language automatic w
与本文相关的学术论文