ON THE EXPRESSIVE POWER OF F-LOGIC LANGUAGE
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    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.

    Reference
    Related
    Cited by
Get Citation

田增平,王宇君,曲云尧,施伯乐. F-logic语言表达能力的研究.软件学报,1997,8(8):561-568

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:
  • Revised:October 16,1996
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063