逻辑程序语言中数据库修改操作的逻辑实现

作     者：李永坚 吴荣泉 

作者机构：华东计算技术研究所 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：1989年第4卷第6期

页      码：61-65页

摘      要：本文对一个逻辑程序语言中数据库修改操作的例子进行了描述和分析。采用基于时间的事件推理和在逻辑程序结构中时间处理的方法,将逻辑程序语言中数据库修改操作简化为仅包含插入操作,而删除操作可通过插入操作间接地实现。 我们用扩展的Horn子句对逻辑程序语言中数据库修改操作进行形式化,并且逻辑实现了逻辑程序语言中数据库修改操作,从而使逻辑程序语言中数据库修改操作更适合于逻辑程序设计。

主 题 词：逻辑程序语言 数据库 Horn子句 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203132073...