表达式的覆盖、分解与划分
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本文研究得到国家攀登计划、国家863高科技项目基金资助.


COVERING, DECOMPOSITION,AND PARTITION OF EXPRESSIONS
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    本文把简单表达式(项和原子)视为语言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.

    参考文献
    相似文献
    引证文献
引用本文

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

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:1995-01-17
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号