QUERY EVALUATION FOR DEFINITE DEDUCTIVE DATABASES

• 确定型演绎数据库的查询求值