%0 Journal Article
%T ON THE EXPRESSIVE POWER OF F-LOGIC LANGUAGE<br>F-logic语言表达能力的研究
%A TIAN Zengping
%A WANG Yujun
%A QU Yunyao
%A SHI Baile
%A <br>田增平
%A 王宇君
%A 曲云尧
%A 施伯乐
%J 软件学报
%D 1997
%I 
%X 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 consideration of the effects of OID generating, F-logic language has the same power in manipulating complex objects as COL, LDL1 (logic database language), and ELPS.
%K Logic database language
%K F-logic language
%K complex object language<br>逻辑数据语言
%K F-logic语言
%K 复杂对象语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=57A0F64E61A0E21CEDFB403EFE78CB4C&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=5D311CA918CA9A03&sid=B4F9D541F855CF96&eid=6D6B4A516C7DB6EE&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=16