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

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

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