部分赋值的一阶逻辑公式在命题逻辑中的条件求值  

THE EVALUATION OF THE FIRST ORDER LOGIC EXPRESSIONS PARTIALLY ASSIGNED IN PROPOSITIONAL LOGIC UNDER SOME CONDITION

作　　者：潘久辉[1] 

机构地区：[1]中南工业大学计算机科学系

出　　处：《计算机学报》1991年第8期629-633,共5页Chinese Journal of Computers

摘　　要：1.引言 近几年来,关于全局性查询优化,适应于查询负荷的数据库存储结构及在分布式环境下的数据透明性等问题的研究,都涉及到从导出关系计算查询这一典型问题,部分赋值的一阶逻辑公式的条件求值问题,是其中需要处理的一个重要问题。这一问题的处理方式,很大程度上决定了从导出关系计算查询的效率及其对于各种应用环境的适应性。

关 键 词：部分赋值 数据库 命题逻辑 

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