主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
田增平,王宇君,曲云尧,施伯乐.F-logic语言表达能力的研究.软件学报,1997,8(8):561-568
F-logic语言表达能力的研究
ON THE EXPRESSIVE POWER OF F-LOGIC LANGUAGE
  修订日期:1996-10-16
DOI:
中文关键词:  逻辑数据语言  F-logic语言  复杂对象语言  
英文关键词:Logic database language  F-logic language  complex object language.
基金项目:本文研究得到国家自然科学基金资助.
作者单位
田增平 复旦大学计算机系,上海,200433 
王宇君 复旦大学计算机系,上海,200433 
曲云尧 复旦大学计算机系,上海,200433 
施伯乐 复旦大学计算机系,上海,200433 
摘要点击次数: 2966
全文下载次数: 2764
中文摘要:
      F-logic语言是一种基于框架逻辑的逻辑数据语言,它在表示面向对象的特征方面具有较强的能力,但是讨论其操作复杂对象能力的工作还不多见.本文比较了以COL,(complexobjectlanguage)为代表的逻辑数据语言与F-logic语言操作复杂对象的能力.通过两对保持语义的变换,能够将F-logic程序及其Herbrand解释与COL,程序及其Herbrand解释互相转变,且保持程序在相应解释下的真值性质.最后,讨论了否定的影响.本文的工作说明:在不考虑F-logic语言oid生成影响的情况下,F-logic语言与COL,LDL1和ELPS等逻辑数据语言在操作复杂对象方面具有相同的能力.
英文摘要:
      F-logic language is a logic database language based on frame logic.It is powerful in expressing object-oriented features.However,there was little work in discussing its capability of manipulating complex objects.In this paper,the authors compare the capability of F-logic with that of logic database languages represented by COL (complex object language).Through tWO pairs of semantic preserving transformations,F-logic programs and their Herbrand interpretations can be transformed into COL programs and their corresponding Herbrand interpretations,and vice versa.Also,the effects of negation are discussed.The results of this paper indicate that,without consider-ation of the effects of OID generating,F-logic language has the same power in manipulat-ing complex objects as COL, LDL1(1ogic database language), and ELPS.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利