【摘 要】
：
本文对一个逻辑程序语言中数据库修改操作的例子进行了描述和分析。采用基于时间的事件推理和在逻辑程序结构中时间处理的方法,将逻辑程序语言中数据库修改操作简化为仅包含
【机 构】
：
华东计算技术研究所,华东计算技术研究所
论文部分内容阅读
本文对一个逻辑程序语言中数据库修改操作的例子进行了描述和分析。采用基于时间的事件推理和在逻辑程序结构中时间处理的方法,将逻辑程序语言中数据库修改操作简化为仅包含插入操作,而删除操作可通过插入操作间接地实现。 我们用扩展的Horn子句对逻辑程序语言中数据库修改操作进行形式化,并且逻辑实现了逻辑程序语言中数据库修改操作,从而使逻辑程序语言中数据库修改操作更适合于逻辑程序设计。
其他文献
<正> 读过晏几道词作的人,大概都会有这样的感觉,即其词作中常常出现“酒”字和“梦”字,而且着情最深。据笔者统计,《小山词》中“酒”字出现过50余次,“醉”字出现过40多次
校园体育文化是校园文化的重要组成部分。本文从现阶段高校校园体育文化的内涵及其社会化功能的基础上。分析了民族传统体育的功能对高校校园体育文化构建的影响及推动作用。
由我省三位青年学者王瑞萍、赵国军、董捷撰写，甘肃省社科联党组书记、副主席冯湖教授作序的《高校国家认同教育》专著，2017年5月由中国社会科学出版社正式出版。这是我国第一
<正>上海教育出版社出版定价:38.00元【推荐理由】《文学想象:文学理解与教学》是世界知名语言能力教育研究专家朱迪思·朗格的代表作。朱迪思·朗格认为,文学是一门学科,与
简要介绍了蓝藻水华、蓝藻的次生代谢产物——微囊藻毒素以及与此有关的重大事件。微囊藻毒素是一种小分子的环肽化合物,能损害脊椎动物的肝、肾、心脏、性腺等器官组织和神
孟子的仁政体系有套完整的执政理念,但其在霸道的现实政治面前却并不被君主所采纳。究其原因,主要是由于王道理想与现实政治在执政目标、用人观、民众观上存在着不可调和的矛
为了解决燃料电池电动客车各部件之间的通讯,基于CAN总线设计了整车通讯网络的拓扑结构,提出了其硬件要求.制定了CAN总线通信速率及通讯机制,介绍了CAN报文结构及协议.最后基
双因素理论普遍存在于许多管理问题当中,努力认识事物中的双因素性质,把握事物双因素的特性,对于改善管理效果,解决管理瓶颈具有重要的意义。
Two-factor theory is common
“985”“211”对一些人而言是符号资本，但在另一些人那里却是不折不扣的符号枷锁。那些被埋没在符号深处的个体命运，最后毫无防备地被推向了概率论的死角。$$又到了一年考研复
<正>几何图形中的衍生图形有两种:一是当原始图形(即母图)添加条件后图形发生变化,这样的图形可称为衍生图形;二是原始图形添加一些条件后,新出现的图形也可称为衍生图形.前