###
DOI:
Journal of Software:1996.7(4):223-232

表达式的覆盖、分解与划分
周生炳,戴汝为
(中国科学院自动化研究所,北京,100080)
COVERING, DECOMPOSITION,AND PARTITION OF EXPRESSIONS
Zhou Shengbing,Dai Ruwei
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2050   Download 2674
    Revised:January 17, 1995
> 中文摘要: 本文把简单表达式(项和原子)视为语言L的Herbrand域或Herbrand基中的集合.作者提出覆盖表达式的概念,得到2个表达式之间覆盖关系的判别准则.对多个表达式,作者提出表达式的分解概念及相应的分解算法,在此基础上,本文给出卫个表达式覆盖多个表达式的等价条件.根据集合的划分公式,得到划分表达式的方法.最后定义1个变换把合取式转换为简单表达式,从而方便地把简单表达式的结果推广到合取式.本文是作者提出的一种标记逻辑程序的过程语义的理论基础.
Abstract:In this paper,a simple expression E,i.e.,a term or an atom,is viewed as a set,the"so-called"generated set of E,of the Herbrand universe U.or Herbrand base BLof the language L.The authors give a criteria to determine whether an expression coversanother one,and present the notion of decomposition expressions and the decomposition algorithm on which a necessary and sufficient condition for the covering relation between one and several other expressions is based.Then,they show how to partition a union of the sets generated by the simple expressions according to the partition formula in the set theory.Finally,they generalize generis these above results into the conjunctions through defining a transformation which converts a conjunction into a simple expression.This paper provides the theoretic foundation of the procedural semantics of authors'annotated logic program.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家攀登计划、国家863高科技项目基金资助. 本文研究得到国家攀登计划、国家863高科技项目基金资助.
Foundation items:
Reference text:

周生炳,戴汝为.表达式的覆盖、分解与划分.软件学报,1996,7(4):223-232

Zhou Shengbing,Dai Ruwei.COVERING, DECOMPOSITION,AND PARTITION OF EXPRESSIONS.Journal of Software,1996,7(4):223-232