演绎数据库和逻辑程序中的否定  

作　　者：周傲英[1] 施伯乐[1] 

机构地区：[1]复旦大学计算机科学系,上海200433

出　　处：《计算机科学》1996年第5期14-17,共4页Computer Science

摘　　要：演绎数据库是数据库技术发展的重要方向之一。Datolog是典型的演绎数据库语言,实质上是不带函词的一阶Horn子句语言,在演绎数据库中充当着查询语言和知识表示语言的双重角色.在理论基础方面,演绎数据库和逻辑程序有许多共同之处,都是荃于一阶谓词逻辑的.This paper analyses the problems due to the introduction of negation into deductive databases and logic programs. Various approaches coupling with negation are surveyed and compared. For stratifiable logic programs ,various stratifiabilities and the relationship among them are discussed. For general programs,the declarative semantics based on well-founded model and stable model are presented,and some comparison and analysis are followed.

关 键 词：演绎数据库 逻辑程序 数据库 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]