摘要
本文提出了Ｌ集合的概念以及一种新的使用Ｌ集合的一阶数据库询问求值方法．因为这种方法对原数据库只增加一个新子句，所以询问求值的效率大为提高，而且因为可以直接使用Ｌ集合回答对数据库的询问，求值过程比较简单．
This paper presents the concept of L set and a new method for firstorder database query evaluation using L set.Because only one clause is added to the original database by this method,the efficiency of query evaluation is raised greatly.Besides,using L set,the query can be answered to database directly so the evaluation process is simpler.
出处
《计算机学报》
EI
CSCD
北大核心
1995年第7期517-522,共6页
Chinese Journal of Computers
基金
国家863计划项目基金
关键词
数据库
L集合
询问求值
Nonmonotonic reasoning,closed world assumption(CWA),saturation resolution.
