切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
演绎数据库系统中推理机的设计与实现
演绎数据库系统中推理机的设计与实现
来源 :计算机工程 | 被引量 : 0次 | 上传用户:colawing
【摘 要】
:
演绎推理是有效实现演绎数据库系统的关键与核心.该文针对一种结构合理的演绎数据库系统的设计方案,介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术
【作 者】
:
常晋义
陶世群
郑成增
【机 构】
:
常熟高等专科学校计算机系,山西大学计算机科学系,常州工学院计算机系
【出 处】
:
计算机工程
【发表日期】
:
2002年11期
【关键词】
:
演绎数据库系统
推理机
设计
递归查询
线性递归逻辑程序
约束模型
Deductive database
Deductive machine
Recursi
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
演绎推理是有效实现演绎数据库系统的关键与核心.该文针对一种结构合理的演绎数据库系统的设计方案,介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术,并对推理机的运行机制进行了分析.查询的推理机的设计原理及实现过程中用到的优化技术,并对推理机的运行机制进行了分析.
其他文献
艺术家的苦楚
1997年春,在北京举办的中国画百年学术研讨会期间,我认识了正在写赵春翔传记的台湾作家简秀枝。她对这位过世画家的虔诚关注,给我留下了深刎印象。对赵春翔,我所知甚少。记得
期刊
艺术家
中国画
抽象表现主义
作品
艺术系
林风眠
中国文化
台湾作家
中国艺术
纽约
创作与欣赏:推动艺术文明发展的两翼
欣赏与创作是人类与生俱来的特殊本能,欣赏不断打开人的心灵,创作不断开发人的心智,人类离开了欣赏与创作的生存方式,恐怕是人将不人了,因为人世间一切,人之所以认为是美的事物,都源
期刊
欣赏
创作
文明发展
艺术
人类
提高高中地理学困生学习动力的探究
在高中地理学习过程中.不同学习程度的学生都有。有一部分学生地理基础差,在学习地理过程中.经常遇到困难,学习缺乏动力.信心不足.自卑心理严重.对地理课望而生成,影响地理课的学习.成
期刊
学习动力
高中地理
地理学
学习过程
地理基础
地理过程
自卑心理
地理课
浅谈初中历史新课程的教与学
新一轮教学改革目标突出了对学生进行素质教育的要求,重点是培养学生的创新精神和实践能力,使学生具有适应终身学习的基础知识、基本技能和方法。为此,我们在新课程教学中重视引
期刊
人类历史
课程教学
初中
基础知识
终身学习
教学改革
创新精神
技能训练
浅析高中学生学习地理困难的原因及对策
古人曾用“上知天文,下知地理”来形容一个人知识的渊博。另外,人类离不开他们赖以生存和发展的地理环境。可见,地理学科在生活中举足轻重。因此学好地理,形成21世纪高中生必须具
期刊
地理
举足轻重
高中生
成长
DNA监测技术在刑事侦查中的应用
摘 要:DNA监测技术虽然是一种生物手段,但是在刑事侦查中往往需要对相关的生命特征进行检测以帮助案件侦查 ,这两者的结合不仅是对科学技术的最大化利用,更是对刑事侦查的一种规范化、科学化推动。在近年来的刑侦实践中,DNA技术表现出来其独特的科学性、准确性为证据辨别、身份确认、嫌疑人目标的锁定和案件的破获提供了强大的技术支持。目前,基因检测比较多地运用于一些重大疑难案件,特别是在凶杀案、强奸案的侦破中
期刊
刑事侦查
DNA监测技术
应用
浅析企业破产清算中对劳动债权的保护
摘 要:因为社会影响重大,企业向法院申请破产中,职工安置问题一直是一项艰难的、必须做好的任务。企业在处理与员工的劳动关系问题中一定要足够慎重,稍有不慎便会造成群体性事件。本文简单阐述了破产清算各步骤对于劳动之前的保护、企业破产程序中对劳动债权的保护范围、企业破产程序中对劳动债权保护的不足与建议。 关键词:企业;破产清算;劳动债权 本文简单阐述了破产清算各步骤对于劳动债权的保护、企业破产程序中对
期刊
企业
破产清算
劳动债权
静脉曲张,竟带来致命并发症
退休的王老师年过花甲,双腿“青筋突起”已有20余年,时有肿胀疼痛,但一直未重视。突然有一天,王老师的左腿肿胀起来,疼痛难忍,彻夜难寐,还咳嗽、胸闷。不得已,家人只好送他到医院就诊
期刊
静脉曲张
并发症
肿胀疼痛
医院就诊
腿肿胀
老师
初中语文教学之体会
随着新课程理念的深入,教法与学法的探究已成为教育科研的重要议题,而教师教学行为的变化和学生学习方法的改善被视为改革成功的主要标志。因此,在语文教学中,如何激活语文课堂教
期刊
初中语文
教法
学法
可视化的Mole
移动代理是为解决网络低带宽,高延迟而提出的一种新的分布式计算模型,而Mole是Stuttgart大学开发的一个移动代理系统。Mole实现了一个移动代理系统的基本功能,但它过于简单的字符界面给系统使用带
期刊
移动代理
Mole系统
可视化
INTERNET网
Mobile agent
Mole system
Visual Mole
Visualization
与本文相关的学术论文